EPDL: a logic for causal reasoning

Authors:
Dongmo Zhang;Norman Foo
Affiliations:
Knowledge Systems Group, School of Computer Science and Engineering, The University of New South Wales, Australia;Knowledge Systems Group, School of Computer Science and Engineering, The University of New South Wales, Australia
Venue:
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Year:
2001

Citing 13
Cited 14

Logics of time and computation

Logics of time and computation
Reasoning about change: time and causation from the standpoint of artificial intelligence

Reasoning about change: time and causation from the standpoint of artificial intelligence
Nonmonotonic reasoning, preferential models and cumulative logics

Artificial Intelligence
Ramification and causality

Artificial Intelligence
Representing action: indeterminacy and ramifications

Artificial Intelligence
A logic of universal causation

Artificial Intelligence
Default Reasoning: Causal and Conditional Theories

Default Reasoning: Causal and Conditional Theories
First-Order Dynamic Logic

First-Order Dynamic Logic
Counterfactuals and Updates as Inverse Modalities

Journal of Logic, Language and Information
PDL-based framework for reasoning about actions

AI*IA '95 Proceedings of the 4th Congress of the Italian Association for Artificial Intelligence on Topics in Artificial Intelligence
A causal theory of ramifications and qualifications

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Embracing causality in specifying the indirect effects of actions

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
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

Postdiction Problems in Dynamic Logic

AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Towards a Conditional Logic of Actions and Causation

JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem

JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Encoding Solutions of the Frame Problem in Dynamic Logic

LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Consistency of Action Descriptions

PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Conditional logic of actions and causation

Artificial Intelligence - Special issue on nonmonotonic reasoning
A causal approach to nonmonotonic reasoning

Artificial Intelligence
Metatheory of actions: Beyond consistency

Artificial Intelligence
An Imperative Account of Actions

PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Elaborating domain descriptions

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Causal theories of action: a computational core

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A causal approach to nonmonotonic reasoning

Artificial Intelligence
On action theory change

Journal of Artificial Intelligence Research
Preferential Reasoning for Modal Logics

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents an extended system EPDL of propositional dynamic logic by allowing a proposition as a modality for representing and specifying direct and indirect effects of actions in a unified logical structure. A set of causal logics based on the framework are proposed to model causal propagations through logical relevancy and iterated effects of causation. It is shown that these logics capture the basic properties of causal reasoning.