Abstract
In this paper we propose the representation of concurrent events and causality between events in modal logic. This approach differs from previous approaches in the following directions: first, events enjoy the same attention as states. In the same way as states can be viewed as models of the formulae describing the facts that hold in them we think of events as models of the formulae describing the subevents. Second, instead of postulating just one set of states as primitive objects we use two sets, a set of states and a set of events. In terms of modal logic, the universe then becomes a set of pairs in which one component is a state and the other is one of the events following the state. The connection between two subsequent pairs is expressed by an accessibility relation.
This research was supported by the German Research Council under grant no. HE 1170/5-1.
Preview
Unable to display preview. Download preview PDF.
References
C. Baral and M. Gelfond. Representing Concurrent Actions in Extended Logic Programming. International Joint Conference on Artificial Intelligence, Morgan Kaufmann Publishers, Inc., 1993.
P. Belegrinos and M. Georgeff. A Model of Events and Processes. International Joint Conference on Artificial Intelligence, p. 506–511. Morgan Kaufmann Publishers, Inc., August 1991.
M. Gelfond, V. Lifschitz, and A. Rabinov. What are the Limitations of the Situation Calculus. Automated Reasoning — Essays in Honor of Woody Bledsoe, p. 167–179, Kluwer Academic Publishers, 1991.
M. P. Georgeff. Actions, Processes, and Causality. Proceedings of the Workshop on Reasoning about Actions and Plans, eds. M. P. Georgeff and A. L. Lansky, p. 99–122, 1986.
G. Große and R. Waldinger. Towards a Theory of Simultaneous Actions. Proceedings of the European Workshop on Planning, ed. J. Hertzberg, p. 78–87, Springer LNAI 522, 1991.
A. Haas. The Case for Domain-Specific Frame Axioms. Proceedings of the Workshop on The Frame Problem in Artificial Intelligence, ed. F. Brown, 1987.
D. Harel. Dynamic Logic. Handbook of Philosophical Logic, eds. F. Günthner and D. Gabbay, D. Reidel, 1984.
G. Hendrix. Modeling Simultaneous Actions and Continuous Processes. Artificial Intelligence 4, p. 145–180, 1973.
F. Lin and Y. Shoham. Concurrent actions in the situation calculus. Proceedings of the AAAI National Conference on Artificial Intelligence, 1992.
E. P. D. Pednault. Solving Multi-Agent Dynamic World Problems in the Classical Planning Framework. Proceedings of the Workshop on Reasoning about Actions and Plans, eds. M. P. Georgeff and A. L. Lansky, 1986.
V. R. Pratt. Semantical Considerations on Floyd-Hoare Logic. Proceedings of the 17th IEEE Symposium on Foundations of Computer Science, 1976.
E. Sandewall and R. Rönnquist. A Representation of Action Structures. Proceedings of the AAAI National Conference on Artificial Intelligence, p. 89–97, 1986.
L. Schubert. Monotonic Solution of The Frame Problem in The Situation Calculus. Knowledge Representation and Defeasible Reasoning, eds. Jr. etal H.E. Kyberg, pages 23–67, Kluwer Academic Publishers, 1990.
D. E. Wilkins. Practical Planning: Extending the Classical AI Planning Paradigm. Morgan Kaufmann Publishers, Inc., San Mateo, CA, 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Große, G. (1994). Prepositional state event logic. In: MacNish, C., Pearce, D., Pereira, L.M. (eds) Logics in Artificial Intelligence. JELIA 1994. Lecture Notes in Computer Science, vol 838. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0021981
Download citation
DOI: https://doi.org/10.1007/BFb0021981
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58332-5
Online ISBN: 978-3-540-48657-2
eBook Packages: Springer Book Archive