Thinking About Causation: A Causal Language with Epistemic Operators
- URL: http://arxiv.org/abs/2010.16217v1
- Date: Fri, 30 Oct 2020 12:16:45 GMT
- Title: Thinking About Causation: A Causal Language with Epistemic Operators
- Authors: Fausto Barbero and Katrin Schulz and Sonja Smets and Fernando R.
Vel\'azquez-Quesada and Kaibo Xie
- Abstract summary: We extend the notion of a causal model with a representation of the state of an agent.
On the side of the object language, we add operators to express knowledge and the act of observing new information.
We provide a sound and complete axiomatization of the logic, and discuss the relation of this framework to causal team semantics.
- Score: 58.720142291102135
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: This paper proposes a formal framework for modeling the interaction of causal
and (qualitative) epistemic reasoning. To this purpose, we extend the notion of
a causal model with a representation of the epistemic state of an agent. On the
side of the object language, we add operators to express knowledge and the act
of observing new information. We provide a sound and complete axiomatization of
the logic, and discuss the relation of this framework to causal team semantics.
Related papers
- Cause and Effect: Can Large Language Models Truly Understand Causality? [1.2334534968968969]
This research proposes a novel architecture called Context Aware Reasoning Enhancement with Counterfactual Analysis(CARE CA) framework.
The proposed framework incorporates an explicit causal detection module with ConceptNet and counterfactual statements, as well as implicit causal detection through Large Language Models.
The knowledge from ConceptNet enhances the performance of multiple causal reasoning tasks such as causal discovery, causal identification and counterfactual reasoning.
arXiv Detail & Related papers (2024-02-28T08:02:14Z) - A Semantic Approach to Decidability in Epistemic Planning (Extended
Version) [72.77805489645604]
We use a novel semantic approach to achieve decidability.
Specifically, we augment the logic of knowledge S5$_n$ and with an interaction axiom called (knowledge) commutativity.
We prove that our framework admits a finitary non-fixpoint characterization of common knowledge, which is of independent interest.
arXiv Detail & Related papers (2023-07-28T11:26:26Z) - Causal Kripke Models [0.0]
This work extends Halpern and Pearl's causal models for actual causality to a possible world semantics environment.
Using this framework we introduce a logic of actual causality with modal operators, which allows for reasoning about causality in scenarios involving multiple possibilities, temporality, knowledge and uncertainty.
arXiv Detail & Related papers (2023-07-11T07:08:14Z) - Embracing Background Knowledge in the Analysis of Actual Causality: An
Answer Set Programming Approach [6.685412769221564]
This paper presents a rich knowledge representation language aimed at formalizing causal knowledge.
A definition of cause is presented and used to analyze the actual causes of changes with respect to sequences of actions representing those examples.
arXiv Detail & Related papers (2023-06-06T17:21:21Z) - MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure [129.8481568648651]
We propose a benchmark to investigate models' logical reasoning capabilities in complex real-life scenarios.
Based on the multi-hop chain of reasoning, the explanation form includes three main components.
We evaluate the current best models' performance on this new explanation form.
arXiv Detail & Related papers (2022-10-22T16:01:13Z) - Explaining Causal Models with Argumentation: the Case of Bi-variate
Reinforcement [15.947501347927687]
We introduce a conceptualisation for generating argumentation frameworks (AFs) from causal models.
The conceptualisation is based on reinterpreting desirable properties of semantics of AFs as explanation moulds.
We perform a theoretical evaluation of these argumentative explanations, examining whether they satisfy a range of desirable explanatory and argumentative properties.
arXiv Detail & Related papers (2022-05-23T19:39:51Z) - Behaviour Explanation via Causal Analysis of Mental States: A
Preliminary Report [0.0]
We build on Khan and Lesp'erance's work to support causal reasoning about conative effects.
In our framework, one can reason about causes of motivational states, and we allow motivation-altering actions to be causes of observed effects.
We illustrate this formalization along with a model of goal recognition can be utilized to explain agent behaviour in communicative multiagent contexts.
arXiv Detail & Related papers (2022-05-16T04:46:50Z) - A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
We present an approach for representing abstract argumentation frameworks based on an encoding into classical higher-order logic.
This provides a uniform framework for computer-assisted assessment of abstract argumentation frameworks using interactive and automated reasoning tools.
arXiv Detail & Related papers (2021-10-18T10:45:59Z) - Exploring Discourse Structures for Argument Impact Classification [48.909640432326654]
This paper empirically shows that the discourse relations between two arguments along the context path are essential factors for identifying the persuasive power of an argument.
We propose DisCOC to inject and fuse the sentence-level structural information with contextualized features derived from large-scale language models.
arXiv Detail & Related papers (2021-06-02T06:49:19Z) - Towards Interpretable Reasoning over Paragraph Effects in Situation [126.65672196760345]
We focus on the task of reasoning over paragraph effects in situation, which requires a model to understand the cause and effect.
We propose a sequential approach for this task which explicitly models each step of the reasoning process with neural network modules.
In particular, five reasoning modules are designed and learned in an end-to-end manner, which leads to a more interpretable model.
arXiv Detail & Related papers (2020-10-03T04:03:52Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.