中文
相关论文

相关论文: About the Unreal

200 篇论文

Seemingly since the inception of virtual humans, there has been an effort to make their behaviors more natural and human-like. In additions to improving movement's visual quality, there has been considerable research focused on creating…

人工智能 · 计算机科学 2020-04-22 Weizi Li , Jan M. Allbeck

Dualities in physics have challenged traditional forms of scientific realism by undermining the idea that theories describe a unique underlying ontology. In this paper, we develop a new perspective on scientific realism that responds to…

物理学史与哲学 · 物理学 2025-12-22 Richard Dawid , Guilherme Franzmann

Large Language Models (LLMs) are evolving to integrate multiple modalities, such as text, image, and audio into a unified linguistic space. We envision a future direction based on this framework where conceptual entities defined in…

机器学习 · 计算机科学 2023-10-31 Eren Unlu , Unver Ciftci

Large language models (LLMs) may generate text that lacks consistency with human knowledge, leading to factual inaccuracies or \textit{hallucination}. Existing research for evaluating the factuality of LLMs involves extracting fact claims…

计算与语言 · 计算机科学 2024-02-23 Zhaoheng Huang , Zhicheng Dou , Yutao Zhu , Ji-rong Wen

Resource theories play an important role in quantum information theory, as they identify resourceful states and channels that are potentially useful for the accomplishment of tasks that would be otherwise unreachable. The elementary…

量子物理 · 物理学 2020-09-02 A. C. S. Costa , R. M. Angelo

The fundamental problem of causal inference - that the counterfactual outcome for any individual is never observed - has shaped the entire methodology of the field. Every existing approach substitutes assumptions for missing data:…

人工智能 · 计算机科学 2026-04-03 Olav Laudy

The notion of class is ubiquitous in computer science and is central in many formalisms for the representation of structured knowledge used both in knowledge representation and in databases. In this paper we study the basic issues…

人工智能 · 计算机科学 2011-05-30 D. Calvanese , M. Lenzerini , D. Nardi

In this paper we present an alternative approach to formalize the theory of logic programming. In this formalization we allow existential quantified variables and equations in queries. In opposite to standard approaches the role of answer…

计算机科学中的逻辑 · 计算机科学 2022-07-20 Ján Komara

Representation is a key notion in neuroscience and artificial intelligence (AI). However, a longstanding philosophical debate highlights that specifying what counts as representation is trickier than it seems. With this brief opinion paper…

人工智能 · 计算机科学 2022-04-21 Eloy Parra-Barrero , Yulia Sandamirskaya

This brief brochure is intended to present a philosophical theory known as relational materialism. We introduce the postulates and principles of the theory, articulating its ontological and epistemological content using the language of…

物理学史与哲学 · 物理学 2024-09-05 Bekir Baytaş , Ozan Ekin Derin

This work introduces a framework for quantifying the information content of logical propositions through the use of implication hypergraphs. We posit that a proposition's informativeness is primarily determined by its relationships with…

逻辑 · 数学 2025-11-14 Vibhu Dalal

Defeasible reasoning is a kind of reasoning where some generalisations may not be valid in all circumstances, that is general conclusions may fail in some cases. Various formalisms have been developed to model this kind of reasoning, which…

人工智能 · 计算机科学 2024-03-06 Gabriele Sacco , Loris Bozzato , Oliver Kutz

Quantified constraints over the reals appear in numerous contexts. Usually existential quantification occurs when some parameter can be chosen by the user of a system, and univeral quantification when the exact value of a parameter is…

计算机科学中的逻辑 · 计算机科学 2025-07-23 Stefan Ratschan

This paper introduces epistemic graphs as a generalization of the epistemic approach to probabilistic argumentation. In these graphs, an argument can be believed or disbelieved up to a given degree, thus providing a more fine--grained…

人工智能 · 计算机科学 2020-01-15 Anthony Hunter , Sylwia Polberg , Matthias Thimm

Explaining autonomous and intelligent systems is critical in order to improve trust in their decisions. Counterfactuals have emerged as one of the most compelling forms of explanation. They address ``why not'' questions by revealing how…

人工智能 · 计算机科学 2026-02-05 Leila Amgoud , Martin Cooper

Hypercomputational formal theories will, clearly, be both structurally and foundationally different from the formal theories underpinning computational theories. However, many of the maps that might guide us into this strange realm have…

其他计算机科学 · 计算机科学 2011-11-10 David Love

There is an increasing need to integrate model-agnostic explanation techniques with concept-based approaches, as the former can explain models across different architectures while the latter makes explanations more faithful and…

机器学习 · 计算机科学 2026-02-27 Junhao Liu , Haonan Yu , Xin Zhang

Explainable Artificial Intelligence and Formal Argumentation have received significant attention in recent years. Argumentation-based systems often lack explainability while supporting decision-making processes. Counterfactual and…

人工智能 · 计算机科学 2024-05-08 Gianvincenzo Alfano , Sergio Greco , Francesco Parisi , Irina Trubitsyna

In the first part of the paper I argue that an ontology of events is precise, flexible and general enough so as to cover the three main alternative formulations of quantum mechanics as well as theories advocating an antirealistic view of…

量子物理 · 物理学 2015-03-05 Mauro Dorato

Starting from the guiding principles of spacetime locality and operationalism, a general framework for a probabilistic description of nature is proposed. Crucially, no notion of time or metric is assumed, neither any specific physical…

量子物理 · 物理学 2023-08-17 Robert Oeckl