Artificial Intelligence
On first-order conditional logics
Artificial Intelligence
A logic of universal causation
Artificial Intelligence
Causality: models, reasoning, and inference
Causality: models, reasoning, and inference
Default Reasoning: Causal and Conditional Theories
Default Reasoning: Causal and Conditional Theories
Towards a Conditional Logic of Actions and Causation
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Reasoning with Cause and Effect
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Causes and Explanations: A Structural-Model Approach: Part 1: Causes
UAI '01 Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
EPDL: a logic for causal reasoning
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Causal theories of action and change
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
A sequent calculus and a theorem prover for standard conditional logics
ACM Transactions on Computational Logic (TOCL)
An Imperative Account of Actions
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Tableau calculus for preference-based conditional logics: PCL and its extensions
ACM Transactions on Computational Logic (TOCL)
From the textual description of an accident to its causes
Artificial Intelligence
Refining the meaning of sense labels in PDTB: "Concession"
STEP '08 Proceedings of the 2008 Conference on Semantics in Text Processing
Conditional and Preferential Logics: Proof Methods and Theorem Proving
Proceedings of the 2010 conference on Conditional and Preferential Logics: Proof Methods and Theorem Proving
Sense annotation in the Penn discourse treebank
CICLing'08 Proceedings of the 9th international conference on Computational linguistics and intelligent text processing
| Hi-index | 0.00 |
In this paper we present a new approach to reasoning about actions and causation which is based on a conditional logic. The conditional implication is interpreted as causal implication. This makes it possible to formalize in a uniform way causal dependencies between actions and their immediate and indirect effects. The proposed approach also provides a natural formalization of concurrent actions and of the dependency (and independency) relations between actions. The properties of causality are formalized as axioms of the conditional connectives and a non-monotonic (abductive) semantics is adopted for dealing with the frame problem.