Abstract
This paper extends previous work on axiomatizing actions and their effects in standard first-order logic. We show how to accommodate complex types of reasoning about action, including distinguishing between actual and hypothetical actions, drawing conclusions based on counterfactual assumptions, and reasoning about actions whose effects are nondeterministic. We also discuss in some detail the connections between the method proposed here and other methods based on nonmonotonic logics.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Andrew B. Baker. A simple solution to the Yale shooting problem. In Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning (KR'89), pages 11–20, 1989.
Andrew B. Baker. Nonmonotonic reasoning in the framework of the situation calculus. Artificial Intelligence, 49:5–23, 1991.
Kenneth L. Clark. Negation as failure. In Hervé Gallaire and Jack Minker, editors, Logic and Databases, pages 293–322. Plenum Press, New York, 1978.
Mark Denecker and Danny De Schreye. Representing incomplete knowledge in abductive logic programming. In Dale Miller, editor, Proceedings of the International Logic Programming Symposium, pages 147–163, 1993.
Charles Elkan. Incremental, approximate planning. In Proceedings of the National Conference on Artificial Intelligence, pages 145–150, Boston, Massachusetts, August 1990.
Charles Elkan. The qualification problem, the frame problem, and nonmonotonic logic. Technical Report CS92-266, Department of Computer Science and Engineering, University of California, San Diego, 1992.
Charles Elkan. Reasoning about action in first-order logic. In Proceedings of the Conference of the Canadian Society for Computational Studies of Intelligence, pages 221–227, Vancouver, B.C., Canada, May 1992. Morgan Kaufmann Publishers, Inc.
Steve Hanks and Drew McDermott. Nonmonotonic logic and temporal projection. Artificial Intelligence, 33(3):379–412, November 1987.
G. Neelakantan Kartha and Vladimir Lifschitz. Actions with indirect effects (preliminary report). In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR'94), pages 341–350, Bonn, Germany, May 1994.
Robert Kowalski and Fariba Sadri. The situation calculus and event calculus compared. In Proceedings of the International Logic Programming Symposium, 1994.
Robert A. Kowalski and Marek Sergot. A logic-based calculus of events. New Generation Computing, 4(1):67–95, 1986.
Hector J. Levesque. Logic and the complexity of reasoning. The Journal of Philosophical Logic, 17:355–389, 1988.
Vladimir Lifschitz, Norman McCain, and Hudson Turner. Automated reasoning about action: A logic programming approach. In Dale Miller, editor, Proceedings of the International Logic Programming Symposium, page 641, 1993.
Vladimir Lifschitz. Formal theories of action. In Frank M. Brown, editor, Proceedings of the Workshop on the Frame Problem in Artificial Intelligence, pages 35–58, Lawrence, Kansas, 1987. Morgan Kaufmann Publishers, Inc.
John McCarthy and Patrick J. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In Machine Intelligence, volume 4, pages 463–502. Edinburgh University Press, 1969.
John McCarthy. Circumscription—a form of non-monotonic reasoning. Artificial Intelligence, 13(1,2):27–39, April 1980. Special Issue on Non-Monotonic Logic.
Edwin P. D. Pednault. ADL: Exploring the middle ground between STRIPS and the situation calculus. In Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning (KR'89), pages 324–332. Morgan Kaufmann Publishers, Inc., 1989.
Javier Pinto and Raymond Reiter. Temporal reasoning in logic programming: a case for the situation calculus. In David S. Warren, editor, Proceedings of the Tenth International Conference on Logic Programming, pages 203–221. MIT Press, 1993.
Teodor C. Przymusiński. On the declarative and procedural semantics of logic programs. Journal of Automated Reasoning, 5(2):167–206, June 1989.
Raymond Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359–380. Academic Press, 1991.
Lenhart K. Schubert. Monotonic solution of the frame problem in the situation calculus: An efficient method for worlds with fully specified actions. In Knowledge Representation and Defeasible Reasoning, pages 23–67. Kluwer Academic Publishers, 1989.
Murray Shanahan. A circumscriptive calculus of events. Artificial Intelligence, 77(2): 249–284, September 1995.
Lynn A. Stein and Leora Morgenstern. Motivated action theory: A formal theory of causal reasoning. Artificial Intelligence, 71(1): 1–42, November 1994.
Dirk van Dalen. Logic and Structure. Springer Verlag, second edition, 1983.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Elkan, C. (1996). Reasoning about unknown, counterfactual, and nondeterministic actions in first-order logic. In: McCalla, G. (eds) Advances in Artifical Intelligence. Canadian AI 1996. Lecture Notes in Computer Science, vol 1081. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61291-2_41
Download citation
DOI: https://doi.org/10.1007/3-540-61291-2_41
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61291-9
Online ISBN: 978-3-540-68450-3
eBook Packages: Springer Book Archive