Hostname: page-component-586b7cd67f-g8jcs Total loading time: 0 Render date: 2024-11-22T16:16:03.625Z Has data issue: false hasContentIssue false
  • English
  • Français

Logic-based reasoning about actions and plans in artificial intelligence

Published online by Cambridge University Press:  07 July 2009

Huaming Lee ,
James Tannock  and
Jon Sims Williams
Huaming Lee
Affiliation:
Faculty of Engineering, University of Bristol, Bristol BS8 1TR, UK
James Tannock
Affiliation:
Faculty of Engineering, University of Bristol, Bristol BS8 1TR, UK
Jon Sims Williams
Affiliation:
Faculty of Engineering, University of Bristol, Bristol BS8 1TR, UK
Get access Rights & Permissions [Opens in a new window]

Abstract

Reasoning about actions and plans is a vital aspect of the rational behaviour of intelligent agents, and hence represents a major research domain in artificial intelligence. Much work has been undertaken to develop logic-based formalisms and problem solving procedures for plan representation and plan synthesis. This paper consists of a survey of various paradigms for reasoning about actions and plans in artificial intelligence. Attention is focused on the logic-based theoretical frameworks which have built a formal foundation for the domain-independent approaches to the general principles of reasoning about actions and plans.

Type
Research Article
Information
The Knowledge Engineering Review , Volume 8 , Issue 2 , June 1993 , pp. 91 - 120
Copyright
Copyright © Cambridge University Press 1993

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Allen, JF, 1981, “An interval-based representation of temporal knowledge” In: Proceedings IJCAI.Google Scholar
Allen, JF, 1982, “Maintaining knowledge about temporal intervals” Communications of the ACM 26 832–843.CrossRefGoogle Scholar
Allen, JF and Koomen, JA, 1983, “Planning using a temporal world model” In: Proceedings IJCAI.Google Scholar
Allen, JF, 1984. “Towards a general theory of action and time” Artificial Intelligence 23 123–154.CrossRefGoogle Scholar
Bradly, R. and Swartz, N. 1979, Possible worlds: An introduction to logic and its philosophy, Basil Blackwell.Google Scholar
Brown, FM, 1986a, “A commonsense theory of non-monotonicity” In: Proceedings 4th Army Conference on Applied Mathematics and Computer Science.Google Scholar
Brown, FM, 1986b, “A commonsense theory of non-monotonic reasoning” In: Proceedings 8th International Conference on Computer Science.CrossRefGoogle Scholar
Brown, FM, 1987a, “The modal logic Z” Technical report (TR-87-1).Google Scholar
Brown, FM, 1987b, “A modal logic for the representation of knowledge” In: Proceedings Workshop on the Frame Problem in Artificial Intelligence.CrossRefGoogle Scholar
Castaneda, HN, 1965, “The logic of change, actions and norms” Journal Philosophy 62 333–334.CrossRefGoogle Scholar
Davidson, D, 1967, “The logical form of action sentences” In: Rescher, N, ed., The Logic of Decision and Action, Pittsburgh University Press.Google Scholar
Doyle, J, 1979, “A truth maintenance system” Artificial Intelligence 12 (3) 231–272.CrossRefGoogle Scholar
Fikes, RE and Nilsson, , 1971, “Strips: A new approach the application of theorem proving to problem solving” Artificial Intelligence 2 189–208.CrossRefGoogle Scholar
Finger, JJ, 1986, Exploiting Constraints in design synthesis” PhD thesis, Stanford University.Google Scholar
Georbel, RG and Goodwin, SD, 1987, “Applying theory formation to the planning problem” In: Proceedings of Workshop on the Frame Problem in Artificial Intelligence 207–232.CrossRefGoogle Scholar
Georgeff, MP, 1983, “Communication and interaction in multiagent planning” In: Proceedings AAAI.Google Scholar
Georgeff, MP, 1983, “A theory of action Communication and interaction in multiagent planning” Proceedings AAAI.Google Scholar
Georgeff, MP, 1986, “Actions, Processes and causality” In: Proceedings Workshop on Reasoning about Actions and Plans 99–122.CrossRefGoogle Scholar
Georgeff, MP, 1987a, “Many agents are better than one” In: Proceedings Workshop on the Frame Problem in Artificial Intelligence 59–75.CrossRefGoogle Scholar
Georgeff, MP, 1987b, “Planning” Annual Review of Computer Science 2 359–400.CrossRefGoogle Scholar
Ginsberg, ML and Smith, DE, 1988a, “Reasoning about action I: A possible worlds approach” Artificial intelligence 35 165–195.CrossRefGoogle Scholar
Ginsberg, ML and Smith, DE, 1988b, “Reasoning about action II: The qualification problem” Artificial intelligence 35 311–342.CrossRefGoogle Scholar
Godel, K, 1933, “Eine interpretation des intuitionistischen Aussagenkalkuls” In: Ergebnisse eines Mathematicschen Kolloquiums 4 34–50 [translated by Hintikka 1969].Google Scholar
Green, C, 1969a, “Application of theorem proving to problem solving” In: Proceedings IJCAI 219–239.CrossRefGoogle Scholar
Green, C, 1969b, “Theorem proving by resolution as a basis for question answering systems” Machine intelligence 4 183–205.Google Scholar
Hanks, S and McDermott, D, 1985, “Temporal reasoning and default logics” Technical report, YALEU/CSD/RR, 430, Yale University.Google Scholar
Hanks, S and McDermott, D, 1986, “Default reasoning, non-monotonic logics and the frame problem” In: Proceedings AAAI.Google Scholar
Hughes, GE and Cresswell, MJ, 1968, An Introduction to Modal Logics, Methuen.Google Scholar
Kambhampati, S, Cutkosky, M, Tenenbaum, M and Lee, SH, 1991, “Combining specialized reasoners and general purpose planners” In: Proceedings AAAI.Google Scholar
Kautz, H, 1982, “A first-order dynamic logic for planning” Technical report (TR-CSRG-144), Department of Computer Science, University of Toronto.Google Scholar
Kowalski, R, 1979, Logic for Problem Solving, North Holland.Google Scholar
Kripke, SA, 1963, “Semantical consideration on modal logic” Acta Philosophica Fennica 16 83–94.Google Scholar
Kripke, SA, 1971, “Semantical considerations on modal logics” In: Linsky, L, ed., Reference and Modality, Oxford University Press.Google Scholar
Lansky, AL, 1985, “Behavioral specifications and planning for multiagent domains” Technical report, 360, SRI international.CrossRefGoogle Scholar
Lansky, AL, 1986, “A representation of parallel activity based on events, structure and causality” Proceedings Workshop on Reasoning about Actions and Plans 123–159.CrossRefGoogle Scholar
Lansky, AL, 1987, “Localized Event-based reasoning for multiagent domains” Technical report, 423, SRI International.Google Scholar
Lee, H, Williams, JHS and Tannock, JDT, 1992, “Knowledge-based inspection planning” Journal of Artificial Intelligence in Engineering Design, Analysis and Manufacturing 6 (3) 149–162.CrossRefGoogle Scholar
Levitt, RE, 1990, “Knowledge-based planning systems: An engineering perspective” In: Proceedings lEE on Expert Planning System.Google Scholar
Lifschitz, V, 1986, “On the semantics of STRIPS” In: Proceedings Workshop on Reasoning about Actions and Plans.CrossRefGoogle Scholar
Lifschitz, V, 1987a, “Formal theories of actions” In: Proceedings Workshop on the Frame Problem in Artificial intelligence 35–57.CrossRefGoogle Scholar
Lifschitz, V, 1987b, “Computing circumscriptions” In: Proceedings IJCAI 121–127.Google Scholar
McCarthy, J, 1963, “Situations, actions and causal laws” Stanford Artificial Intelligence Project: memo-2.CrossRefGoogle Scholar
McCarthy, J and Hays, PJ, 1969, “Some philosophical problems from the standpoints of artificial Intelligence” Machine Intelligence 4 463–502.Google Scholar
McCarthy, J, 1980, “Circumscription: A form of non-monotonic reasoning” Artificial Intelligence 13 27–39.CrossRefGoogle Scholar
McCarthy, J, 1986, “Applications of circumscription to formalizing commonsense knowledge” Artificial Intelligence 28 89–118.CrossRefGoogle Scholar
McDermott, D and Doyle, J, 1980a, “Non-monotonic logic I” Artificial Intelligence 13.CrossRefGoogle Scholar
McDermott, D and Doyle, J, 1980b, “Non-monotonic logic II” Artificial Intelligence 13.CrossRefGoogle Scholar
McDermott, D, 1982, “A temporal logic for reasoning about process and plans” Cognitive Sciences 6(2) 101–155.Google Scholar
McDermott, D, 1987, “AI, logic and the frame problem” In: Proceedings Workshop on the Frame Problem in Artificial Intelligence 105–118.CrossRefGoogle Scholar
Miller, SA and Schubert, LK, 1988, “Using specialists to accelerate general reasoning” In: Proceedings AAAI.Google Scholar
Moore, RC, 1980a, “Reasoning about knowledge and actions” Artificial Intelligence Centre Technical Report, 191, SRI international.Google Scholar
Moore, RC, 1980b, “A formal theory of knowledge and actions” In: Allen, J, Hendler, J and Tate, A, eds, Readings in Planning 480–519.Google Scholar
Morris, P, 1987, “A truth maintenance based approach to the frame problem” In: Proceedings Workshop on the Frame Problem in Artificial Intelligence 297–307.CrossRefGoogle Scholar
Newell, A and Simon, HA, 1963, “GPS: A program that simulates human thought” In: Feigenbaum, EA and Feldman, J, eds., Computers and Thought 279–293.Google Scholar
Nilsson, NJ, 1982, Principles of Artificial Intelligence, Springer-Verlag.CrossRefGoogle Scholar
Nilsson, NJ, 1990, “Forward” In: Allen, J, Hendler, J and Tate, A, eds., Readings in Planning.Google Scholar
Park, SS, 1987, “Doubting Thomas: action and belief revision” In: Proceedings Workshop on the Frame Problem in Artificial Intelligence.CrossRefGoogle Scholar
Pednault, EPD, 1986, “Formulating multiagent, dynamic world problems in the classical planning framework” In: Proceedings Workshop on Reasoning about Actions and Plans 47–82.CrossRefGoogle Scholar
Pool, DL, Goebel, RD and Aleliunas, R, 1968, Theorist: A logical reasoning system for defaults and diagnosis, Springer-Verlag.Google Scholar
Reiter, R, 1978, “On closed world data base” In: Gaillaire, H and Minker, J, eds., Logic and data bases, Plenum Press.Google Scholar
Reiter, R, 1980, “A logic for default reasoning” Artificial Intelligence 13 81–130.CrossRefGoogle Scholar
Rescher, N, 1967, “Aspects of action” In: Rescher, N. ed., The Logic of Decision and Action, Pittsburgh University Press.Google Scholar
Robinson, J, 1965, “A machine-oriented logic based on the resolution principle” Journal of ACM 12(1) 23–41.CrossRefGoogle Scholar
Sacerdoti, ED, 1973, “Planning in a hierarchy of abstraction spaces” In: Proceedings IJCAI 412–422.Google Scholar
Sacerdoti, ED, 1975, “The nonlinear nature of plans” In: Proceedings IJCAI 412–422.Google Scholar
Schwind, CB, 1978a, “Representing actions by state logic” In: Proceedings AISB/GI Conference on Artificial Intelligence.Google Scholar
Schwind, CB, 1978b, “The theory of actions” Research Report TUM-INFO 7807, Technische Universitat, Munchen.Google Scholar
Schwind, CB, 1983, “A completeness proof for a logic of action” Research report, Laboratoire D'Informatique pour les science de l'shomme, Marseille.Google Scholar
Schwind, CB, 1986, “Action logic” Research report GRTC/137.Google Scholar
Schwind, CB, 1987, “Action theory and the frame problem” In: Proceedings Workshop on the Frame Problem in Artificial Intelligence.CrossRefGoogle Scholar
Shoham, Y, 1986, “Chronological ignorance: Time, non-monotonicity, necessity and causal theories” In: Proceedings AAAE 389–393.Google Scholar
Simon, HA, 1965, “The logic of rational decision” Journal of Philosophy of Science 16 169–186.CrossRefGoogle Scholar
Simon, HA, 1966, “On reasoning about actions” Research report, complex information processing, 16, Carnegie Institute of Technology.Google Scholar
Stefik, M, 1981a, “Planning and meta-planning (MOLGEN: Part 1)” Artificial Intelligence 16 111–140.CrossRefGoogle Scholar
Stefik, M, 1981b, “Planning and meta-planning (MOLGEN: Part 2)” Artificial Intelligence 16 141–170.CrossRefGoogle Scholar
Tate, A, 1976, “Project planning using a hierarchic nonlinear planner” Research report, Department of Artificial Intelligence Research, University of Edinburgh, UK.Google Scholar
Tate, A, 1985, “A review of AI planning techniques” Knowledge Engineering Review 1 4–17.CrossRefGoogle Scholar
Waldinger, A, 1977, “Achieving several goals simultaneously” Machine Intelligence 8 94–136.Google Scholar
Winston, PH, 1984, Artificial Intelligence, Addison-Wesley.Google Scholar
Wilkins, DE and Robinson, AE, 1981, “An interactive planning system” SRI Technical Note, 245.Google Scholar
Wilkins, DE, 1983a, “Representation in a domain-independent planner” In: Proceedings IJCAI 733–740.Google Scholar
Wilkins, DE, 1983b, Practical Planning, Morgan Kaufmann.Google Scholar
Wilkins, DE, 1984, “Domain-independent planning: Representation and plan generation” Artificial Intelligence 22(3) 269–301.CrossRefGoogle Scholar
Wright, CH, 1963, Norm and action: A logic enquiry, Routledge.Google Scholar
Wright, CH, 1967, “The logic of action: A sketch” In: Rescher, N, ed., The Logic of Decision and Action, Pittsburgh University Press.Google Scholar