EPDL: A Logic for Causal Reasoning.
IJCAI'01: Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1（2001）
摘要
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.
更多查看译文
关键词
causal logic,causal propagation,causal reasoning,logical relevancy,unified logical structure,basic property,extended system EPDL,indirect effect,iterated effect,propositional dynamic logic
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要