Representing Concurrent Actions and Solving Conflicts

Logic Journal of the IGPL 4 (3):355-368 (1996)
  Copy   BIBTEX


As an extension of the well-known Action Description Language A introduced by M. Gelfond and V. Lifschitz [8] C. Baral and M. Gelfond recently defined the diafect AC which supports the description of concurrent actions [1]. Also, a sound but incomplete encoding of AC by means of an extended logic program was presented there. In this paper, we work on interpretations of contradictory inferences from partial action descriptions. Employing an interpretation different from the one implicitly used in AC, we present a new dialect which allows to infer sound information from contradictory descriptions and to describe non-determinism and uncertainty. Furthermore, we give the first sound and complete encoding of AC, using equational logic programming, and extend it to as well



    Upload a copy of this work     Papers currently archived: 74,389

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Can a Single Action Have Many Different Descriptions?Arthur B. Cody - 1967 - Inquiry: An Interdisciplinary Journal of Philosophy 10 (1-4):164 – 180.
Descriptions of Game Actions.Hans P. van Ditmarsch - 2002 - Journal of Logic, Language and Information 11 (3):349-365.
Fine-Grained Concurrency with Separation Logic.Kalpesh Kapoor, Kamal Lodaya & Uday S. Reddy - 2011 - Journal of Philosophical Logic 40 (5):583-632.
Can Intentional and Functional Explanations of Actions Coexist?Rob Vanderbeeken - 2006 - The Proceedings of the Twenty-First World Congress of Philosophy 9:143-147.
Combinations of Stit and Actions.Ming Xu - 2010 - Journal of Logic, Language and Information 19 (4):485-503.
Representing and Reasoning About Game Strategies.Dongmo Zhang & Michael Thielscher - 2015 - Journal of Philosophical Logic 44 (2):203-236.
On Describing Actions.David Rayfield - 1970 - Inquiry: An Interdisciplinary Journal of Philosophy 13 (1-4):90 – 99.
Actions as Events.Ming Xu - 2012 - Journal of Philosophical Logic 41 (4):765 - 809.
Bisimulation, Modal Logic and Model Checking Games.C. Stirling - 1999 - Logic Journal of the IGPL 7 (1):103-124.


Added to PP

3 (#1,305,977)

6 months
1 (#415,900)

Historical graph of downloads
How can I increase my downloads?