{"type":"ScholarlyArticle","title":"EPDL: A Logic for Causal Reasoning","authors":[{"name":"Dongmo Zhang","slug":"dongmo-zhang","given":"Dongmo","family":"Zhang","affiliation":"Knowledge Systems Group School of Computer Science and Engineering The University of New South Wales , Australia"},{"name":"Norman Y. Foo","slug":"norman-y-foo","given":"Norman Y.","family":"Foo","affiliation":"Knowledge Systems Group School of Computer Science and Engineering The University of New South Wales , Australia"}],"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. Keywords: causality, reasoning about actions, common-sense reasoning","doi":null,"url":"https://ijcai.org/proceedings/2001/18","pdf":"https://ijcai.org/proceedings/2001/0018.pdf","markdown":"https://ijcai.org/proceedings/2001/18.md","bibtex":"https://ijcai.org/proceedings/2001/bibtex/18","volume":{"slug":"2001","title":"Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2001","url":"https://ijcai.org/proceedings/2001/","year":2001,"location":"Seattle, Washington, USA","dates":"","editors":"","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":18,"pages":{"first":131,"last":137},"keywords":[],"videos":[],"references":[{"position":1,"raw":"M. Brand ed., The Nature of Causation, Uni- versity of Illinois Press, 1976.","title":"The Nature of Causation","authors":null,"year":"1976","venue":null,"doi":null,"url":null,"internal_url":null},{"position":2,"raw":"Castilho et al. 1999]","title":null,"authors":"Castilho","year":"1999","venue":null,"doi":null,"url":null,"internal_url":null},{"position":3,"raw":"M.A. Castilho, O. Gasquet, and A. Herzig, Formalizing action and change in modal logic I: the frame problem, J. of Logic and Computations, 5(9):701-735, 1999.","title":"Formalizing action and change in modal logic I: the frame problem","authors":"M A Castilho, O Gasquet, A Herzig","year":"1999","venue":"J. of Logic and Computations","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"De Giacomo and Lenzerini 1995]","title":null,"authors":"De Giacomo, Lenzerini","year":"1995","venue":null,"doi":null,"url":null,"internal_url":null},{"position":5,"raw":"G. De Giacomo and M. Lenzerini, PDL-based framework for reasoning about ac- tions, In M. Gori and G. Soda (Eds.), Topics in Artificial Intelligence, LNAI 992,103-114, 1995.","title":"PDL-based framework for reasoning about actions","authors":"G De Giacomo, M Lenzerini","year":"1995","venue":"Topics in Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"Foo and Zhang 2001]","title":null,"authors":"Zhang Foo","year":"2001","venue":null,"doi":null,"url":null,"internal_url":null},{"position":7,"raw":"N. Foo and D. Zhang, Dealing with the ramification problem in extended propersitional dy- namic logic, To appear in F. Wolter, H. Wansing, M. de Rijke, and M. Zakharyaschev eds, Advances in Modal Logic, Volume 3, CSLI Publications, 2001.","title":"Dealing with the ramification problem in extended propersitional dynamic logic","authors":"N Foo, D Zhang","year":"2001","venue":"Advances in Modal Logic","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"Geffner 1992","title":null,"authors":"Geffner","year":"1992","venue":null,"doi":null,"url":null,"internal_url":null},{"position":9,"raw":"H. Geffner, Default Reasoning: Causal and Conditional Theories, The MIT Press, 1992.","title":"Default Reasoning: Causal and Conditional Theories","authors":"H Geffner","year":"1992","venue":null,"doi":null,"url":null,"internal_url":null},{"position":10,"raw":"Gelfond and Lifschitz 1998]","title":null,"authors":"Lifschitz Gelfond","year":"1998","venue":null,"doi":null,"url":null,"internal_url":null},{"position":11,"raw":"M. Gelfond and V. Lifschitz, Action language, Electronic Transactions on AI , 16(3), 1998.","title":"Action language","authors":"M Gelfond, V Lifschitz","year":"1998","venue":"Electronic Transactions on AI","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"Giordano et al. 2000]","title":null,"authors":"Giordano","year":"2000","venue":null,"doi":null,"url":null,"internal_url":null},{"position":13,"raw":"L. Giordano, A. Martelli and C. Schwind, Ramification and causality in a modal action logic, J. Logic Computat. 5(10), 615-662, 2000.","title":"Ramification and causality in a modal action logic","authors":"L Giordano, A Martelli, C Schwind","year":"2000","venue":"J. Logic Computat","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"Giunchiglia et al. 1997]","title":null,"authors":"Giunchiglia","year":"1997","venue":null,"doi":null,"url":null,"internal_url":null},{"position":15,"raw":"E. Giunchiglia, G. N. Kartha and V. Lifschitz, Representing action: indeterminacy and ramifications. Artif. Intell. 95(1997), 409-438,1997.","title":"Representing action: indeterminacy and ramifications","authors":"E Giunchiglia, G N Kartha, V Lifschitz","year":"1997","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"R. Goldblatt, Logics of Time and Compu- tation, Stanford Univ. Press, Stanford CA, 1987.","title":"Logics of Time and Computation","authors":"R Goldblatt","year":"1987","venue":null,"doi":null,"url":null,"internal_url":null},{"position":17,"raw":"Goranko and Passy 1992]","title":null,"authors":"Passy Goranko","year":"1992","venue":null,"doi":null,"url":null,"internal_url":null},{"position":18,"raw":"V. Goranko and S. Passy, Using the universal modality: gains and questions, J. of Logic and Computation, 2(1):5-30, 1992.","title":"Using the universal modality: gains and questions","authors":"V Goranko, S Passy","year":"1992","venue":"J. of Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"Harel 1979","title":null,"authors":"Harel","year":"1979","venue":null,"doi":null,"url":null,"internal_url":null},{"position":20,"raw":"D. Harel, First-order dynamic logic, LNCS 68, Springer-Verlag, 1979.","title":"First-order dynamic logic","authors":"D Harel","year":"1979","venue":"LNCS","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"Lin 1995","title":null,"authors":"Lin","year":"1995","venue":null,"doi":null,"url":null,"internal_url":null},{"position":22,"raw":"F. Lin, Embracing causality in specifying the in- direct effects of actions, IJCAI-95, 1985-1991, 1995.","title":"Embracing causality in specifying the indirect effects of actions","authors":"F Lin","year":"1985","venue":"IJCAI-95","doi":null,"url":null,"internal_url":"/proceedings/1995/255"},{"position":23,"raw":"Kraus et al. 1990]","title":null,"authors":"Kraus","year":"1990","venue":null,"doi":null,"url":null,"internal_url":null},{"position":24,"raw":"S. Kraus, D. Lehmann and M. Magidor, Nonmonotonic reasoning, preferential models and cumu- lative logics, Artif. Intell., (1-2)44, 167-207, 1990.","title":"Nonmonotonic reasoning, preferential models and cumulative logics","authors":"S Kraus, D Lehmann, M Magidor","year":"1990","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"J. L. Mackie, The Cement of the Universe: A Study of Causation, Oxford, 1974.","title":"The Cement of the Universe: A Study of Causation","authors":"J L Mackie","year":"1974","venue":null,"doi":null,"url":null,"internal_url":null},{"position":26,"raw":"McCain and Turner 1995]","title":null,"authors":"Turner Mccain","year":"1995","venue":null,"doi":null,"url":null,"internal_url":null},{"position":27,"raw":"N. McCain and H. Turner, A causal theory of ramifications and qualifications IJCAI- 95, 1978-1984, 1995.","title":"A causal theory of ramifications and qualifications IJCAI-95","authors":"N Mccain, H Turner","year":"1995","venue":null,"doi":null,"url":null,"internal_url":null},{"position":28,"raw":"McCain and Turner 1997]","title":null,"authors":"Turner Mccain","year":"1997","venue":null,"doi":null,"url":null,"internal_url":null},{"position":29,"raw":"N. McCain and H. Turner, Causal theories of action and change. AAAI-97, 460-465, 1997.","title":"Causal theories of action and change","authors":"N Mccain, H Turner","year":"1997","venue":"AAAI-97","doi":null,"url":null,"internal_url":null},{"position":30,"raw":"D. Nute, Conditional logic, in: D. Gabbay and F. Guenthner edts, Handbook of Philosophical Logic, Vol. II, Kluwer Academic Publishers, 387-439, 1984.","title":"Conditional logic","authors":"D Nute","year":"1984","venue":"Handbook of Philosophical Logic","doi":null,"url":null,"internal_url":null},{"position":31,"raw":"Prendinger and Schurz 1996]","title":null,"authors":"Schurz Prendinger","year":"1996","venue":null,"doi":null,"url":null,"internal_url":null},{"position":32,"raw":"H. Prendinger and G. Schurz, Reasoning about action and change: A dynamic logic ap- proach, J. of Logic, Language, and Information, 5:209- 245, 1996.","title":"Reasoning about action and change: A dynamic logic approach","authors":"H Prendinger, G Schurz","year":"1996","venue":"J. of Logic, Language, and Information","doi":null,"url":null,"internal_url":null},{"position":33,"raw":"Ryan and Schobbens 1997]","title":null,"authors":"Schobbens Ryan","year":"1997","venue":null,"doi":null,"url":null,"internal_url":null},{"position":34,"raw":"M. Ryan and P. -Y. Schobbens, Counterfactuals and updates as inverse modalities, J. of Logic, Language and Information, 6:123-146, 1997.","title":"Counterfactuals and updates as inverse modalities","authors":"M Ryan, P. -Y Schobbens","year":"1997","venue":"J. of Logic, Language and Information","doi":null,"url":null,"internal_url":null},{"position":35,"raw":"Schwind 1999","title":null,"authors":"Schwind","year":"1999","venue":null,"doi":null,"url":null,"internal_url":null},{"position":36,"raw":"C. Schwind, Causality in action theories, Linköping Electronic Articles in Com- puter and Information Science, Vol. 4 (1999):nr 4. http://www.ep.liu.se/ea/cis/1999/004/.","title":"Causality in action theories","authors":"C Schwind","year":"1999","venue":"Linköping Electronic Articles in Computer and Information Science","doi":null,"url":"http://www.ep.liu.se/ea/cis/1999/004/","internal_url":null},{"position":37,"raw":"Shoham 1988]","title":null,"authors":"Shoham","year":"1988","venue":null,"doi":null,"url":null,"internal_url":null},{"position":38,"raw":"Y. Shoham Reasoning about Change: Time and Causation From the Standpoint of Artificial Intelli- gence, The MIT Press, 1988.","title":"Reasoning about Change: Time and Causation From the Standpoint of Artificial Intelligence","authors":"Y Shoham","year":"1988","venue":null,"doi":null,"url":null,"internal_url":null},{"position":39,"raw":"M. Thielscher, Ramification and causal- ity, Artif. Intell., 1-2(89):317-364, 1997.","title":"Ramification and causality","authors":"M Thielscher","year":"1997","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":40,"raw":"H. Turner, A Logic of universal causation, Ar- tif. Intell. (1-2)113:87-123, 1999.","title":"A Logic of universal causation","authors":"H Turner","year":"1999","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}