{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T18:30:22Z","timestamp":1767637822058,"version":"3.48.0"},"reference-count":85,"publisher":"Maximum Academic Press","issue":"2","license":[{"start":{"date-parts":[[2009,7,7]],"date-time":"2009-07-07T00:00:00Z","timestamp":1246924800000},"content-version":"unspecified","delay-in-days":5880,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Knowledge Engineering Review"],"published-print":{"date-parts":[[1993,6]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>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.<\/jats:p>","DOI":"10.1017\/s0269888900000114","type":"journal-article","created":{"date-parts":[[2009,7,7]],"date-time":"2009-07-07T09:35:27Z","timestamp":1246959327000},"page":"91-120","source":"Crossref","is-referenced-by-count":8,"title":["Logic-based reasoning about actions and plans in artificial intelligence"],"prefix":"10.48130","volume":"8","author":[{"given":"Huaming","family":"Lee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Tannock","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jon Sims","family":"Williams","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"27968","published-online":{"date-parts":[[2009,7,7]]},"reference":[{"key":"S0269888900000114_ref063","doi-asserted-by":"publisher","DOI":"10.1145\/321250.321253"},{"key":"S0269888900000114_ref004","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(84)90008-0"},{"volume-title":"Practical Planning","year":"1983","author":"Wilkins","key":"S0269888900000114_ref082"},{"key":"S0269888900000114_ref012","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(79)90008-0"},{"key":"S0269888900000114_ref078","first-page":"94","article-title":"Achieving several goals simultaneously","volume":"8","author":"Waldinger","year":"1977","journal-title":"Machine Intelligence"},{"key":"S0269888900000114_ref073","unstructured":"Simon HA , 1966, \u201cOn reasoning about actions\u201d Research report, complex information processing, 16, Carnegie Institute of Technology."},{"key":"S0269888900000114_ref070","doi-asserted-by":"crossref","unstructured":"Schwind CB , 1987, \u201cAction theory and the frame problem\u201d In: Proceedings Workshop on the Frame Problem in Artificial Intelligence.","DOI":"10.1016\/B978-0-934613-32-3.50014-9"},{"key":"S0269888900000114_ref072","doi-asserted-by":"publisher","DOI":"10.1093\/bjps\/XVI.63.169"},{"key":"S0269888900000114_ref068","unstructured":"Schwind CB , 1983, \u201cA completeness proof for a logic of action\u201d Research report, Laboratoire D'Informatique pour les science de l'shomme, Marseille."},{"key":"S0269888900000114_ref067","unstructured":"Schwind CB , 1978b, \u201cThe theory of actions\u201d Research Report TUM-INFO 7807, Technische Universitat, Munchen."},{"key":"S0269888900000114_ref001","unstructured":"Allen JF , 1981, \u201cAn interval-based representation of temporal knowledge\u201d In: Proceedings IJCAI."},{"key":"S0269888900000114_ref064","unstructured":"Sacerdoti ED , 1973, \u201cPlanning in a hierarchy of abstraction spaces\u201d In: Proceedings IJCAI 412\u2013422."},{"key":"S0269888900000114_ref061","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90014-4"},{"volume-title":"Logic and data bases","year":"1978","author":"Reiter","key":"S0269888900000114_ref060"},{"key":"S0269888900000114_ref054","unstructured":"Newell A and Simon HA , 1963, \u201cGPS: A program that simulates human thought\u201d In: Feigenbaum EA and Feldman J , eds., Computers and Thought 279\u2013293."},{"key":"S0269888900000114_ref053","doi-asserted-by":"crossref","unstructured":"Morris P , 1987, \u201cA truth maintenance based approach to the frame problem\u201d In: Proceedings Workshop on the Frame Problem in Artificial Intelligence 297\u2013307.","DOI":"10.1016\/B978-0-934613-32-3.50023-X"},{"key":"S0269888900000114_ref080","unstructured":"Wilkins DE and Robinson AE , 1981, \u201cAn interactive planning system\u201d SRI Technical Note, 245."},{"key":"S0269888900000114_ref052","unstructured":"Moore RC , 1980b, \u201cA formal theory of knowledge and actions\u201d In: Allen J , Hendler J and Tate A , eds, Readings in Planning 480\u2013519."},{"key":"S0269888900000114_ref051","unstructured":"Moore RC , 1980a, \u201cReasoning about knowledge and actions\u201d Artificial Intelligence Centre Technical Report, 191, SRI international."},{"key":"S0269888900000114_ref074","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(81)90007-2"},{"key":"S0269888900000114_ref050","unstructured":"Miller SA and Schubert LK , 1988, \u201cUsing specialists to accelerate general reasoning\u201d In: Proceedings AAAI."},{"key":"S0269888900000114_ref048","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog0602_1"},{"key":"S0269888900000114_ref047","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90012-0"},{"key":"S0269888900000114_ref024","doi-asserted-by":"crossref","unstructured":"Green C , 1969a, \u201cApplication of theorem proving to problem solving\u201d In: Proceedings IJCAI 219\u2013239.","DOI":"10.21236\/ADA459656"},{"key":"S0269888900000114_ref077","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888900000485"},{"key":"S0269888900000114_ref013","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(71)90010-5"},{"volume-title":"Theorist: A logical reasoning system for defaults and diagnosis","year":"1968","author":"Pool","key":"S0269888900000114_ref059"},{"key":"S0269888900000114_ref009","doi-asserted-by":"crossref","unstructured":"Brown FM , 1987b, \u201cA modal logic for the representation of knowledge\u201d In: Proceedings Workshop on the Frame Problem in Artificial Intelligence.","DOI":"10.1016\/B978-0-934613-32-3.50015-0"},{"key":"S0269888900000114_ref017","unstructured":"Georgeff MP , 1983, \u201cA theory of action Communication and interaction in multiagent planning\u201d Proceedings AAAI."},{"key":"S0269888900000114_ref008","unstructured":"Brown FM , 1987a, \u201cThe modal logic Z\u201d Technical report (TR-87-1)."},{"key":"S0269888900000114_ref046","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90012-0"},{"key":"S0269888900000114_ref069","unstructured":"Schwind CB , 1986, \u201cAction logic\u201d Research report GRTC\/137."},{"volume-title":"An Introduction to Modal Logics","year":"1968","author":"Hughes","key":"S0269888900000114_ref028"},{"key":"S0269888900000114_ref016","unstructured":"Georgeff MP , 1983, \u201cCommunication and interaction in multiagent planning\u201d In: Proceedings AAAI."},{"key":"S0269888900000114_ref065","unstructured":"Sacerdoti ED , 1975, \u201cThe nonlinear nature of plans\u201d In: Proceedings IJCAI 412\u2013422."},{"volume-title":"Reference and Modality","year":"1971","author":"Kripke","key":"S0269888900000114_ref033"},{"key":"S0269888900000114_ref056","unstructured":"Nilsson NJ , 1990, \u201cForward\u201d In: Allen J , Hendler J and Tate A , eds., Readings in Planning."},{"volume-title":"The Logic of Decision and Action","year":"1967","author":"Davidson","key":"S0269888900000114_ref011"},{"key":"S0269888900000114_ref014","unstructured":"Finger JJ , 1986, Exploiting Constraints in design synthesis\u201d PhD thesis, Stanford University."},{"key":"S0269888900000114_ref029","unstructured":"Kambhampati S , Cutkosky M , Tenenbaum M and Lee SH , 1991, \u201cCombining specialized reasoners and general purpose planners\u201d In: Proceedings AAAI."},{"key":"S0269888900000114_ref003","unstructured":"Allen JF and Koomen JA , 1983, \u201cPlanning using a temporal world model\u201d In: Proceedings IJCAI."},{"key":"S0269888900000114_ref010","doi-asserted-by":"publisher","DOI":"10.2307\/2023370"},{"key":"S0269888900000114_ref049","doi-asserted-by":"crossref","unstructured":"McDermott D , 1987, \u201cAI, logic and the frame problem\u201d In: Proceedings Workshop on the Frame Problem in Artificial Intelligence 105\u2013118.","DOI":"10.1016\/B978-0-934613-32-3.50013-7"},{"key":"S0269888900000114_ref022","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(88)90020-3"},{"key":"S0269888900000114_ref066","unstructured":"Schwind CB , 1978a, \u201cRepresenting actions by state logic\u201d In: Proceedings AISB\/GI Conference on Artificial Intelligence."},{"key":"S0269888900000114_ref040","doi-asserted-by":"crossref","unstructured":"Lifschitz V , 1987a, \u201cFormal theories of actions\u201d In: Proceedings Workshop on the Frame Problem in Artificial intelligence 35\u201357.","DOI":"10.1016\/B978-0-934613-32-3.50009-5"},{"key":"S0269888900000114_ref006","doi-asserted-by":"crossref","unstructured":"Brown FM , 1986a, \u201cA commonsense theory of non-monotonicity\u201d In: Proceedings 4th Army Conference on Applied Mathematics and Computer Science.","DOI":"10.1007\/3-540-16780-3_92"},{"volume-title":"The Logic of Decision and Action","year":"1967","author":"Rescher","key":"S0269888900000114_ref062"},{"key":"S0269888900000114_ref042","doi-asserted-by":"crossref","unstructured":"McCarthy J , 1963, \u201cSituations, actions and causal laws\u201d Stanford Artificial Intelligence Project: memo-2.","DOI":"10.21236\/AD0785031"},{"volume-title":"Norm and action: A logic enquiry","year":"1963","author":"Wright","key":"S0269888900000114_ref084"},{"key":"S0269888900000114_ref075","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(81)90008-4"},{"key":"S0269888900000114_ref007","doi-asserted-by":"crossref","unstructured":"Brown FM , 1986b, \u201cA commonsense theory of non-monotonic reasoning\u201d In: Proceedings 8th International Conference on Computer Science.","DOI":"10.1007\/3-540-16780-3_92"},{"key":"S0269888900000114_ref023","first-page":"34","article-title":"Eine interpretation des intuitionistischen Aussagenkalkuls","volume":"4","author":"Godel","year":"1933","journal-title":"Ergebnisse eines Mathematicschen Kolloquiums"},{"key":"S0269888900000114_ref026","unstructured":"Hanks S and McDermott D , 1985, \u201cTemporal reasoning and default logics\u201d Technical report, YALEU\/CSD\/RR, 430, Yale University."},{"key":"S0269888900000114_ref058","doi-asserted-by":"crossref","unstructured":"Pednault EPD , 1986, \u201cFormulating multiagent, dynamic world problems in the classical planning framework\u201d In: Proceedings Workshop on Reasoning about Actions and Plans 47\u201382.","DOI":"10.1016\/B978-0-934613-30-9.50006-8"},{"key":"S0269888900000114_ref021","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(88)90011-2"},{"key":"S0269888900000114_ref027","unstructured":"Hanks S and McDermott D , 1986, \u201cDefault reasoning, non-monotonic logics and the frame problem\u201d In: Proceedings AAAI."},{"key":"S0269888900000114_ref076","unstructured":"Tate A , 1976, \u201cProject planning using a hierarchic nonlinear planner\u201d Research report, Department of Artificial Intelligence Research, University of Edinburgh, UK."},{"volume-title":"Logic for Problem Solving","year":"1979","author":"Kowalski","key":"S0269888900000114_ref031"},{"key":"S0269888900000114_ref034","doi-asserted-by":"crossref","unstructured":"Lansky AL , 1985, \u201cBehavioral specifications and planning for multiagent domains\u201d Technical report, 360, SRI international.","DOI":"10.21236\/ADA461786"},{"key":"S0269888900000114_ref044","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90011-9"},{"key":"S0269888900000114_ref036","unstructured":"Lansky AL , 1987, \u201cLocalized Event-based reasoning for multiagent domains\u201d Technical report, 423, SRI International."},{"key":"S0269888900000114_ref039","doi-asserted-by":"crossref","unstructured":"Lifschitz V , 1986, \u201cOn the semantics of STRIPS\u201d In: Proceedings Workshop on Reasoning about Actions and Plans.","DOI":"10.1016\/B978-0-934613-30-9.50004-4"},{"key":"S0269888900000114_ref030","unstructured":"Kautz H , 1982, \u201cA first-order dynamic logic for planning\u201d Technical report (TR-CSRG-144), Department of Computer Science, University of Toronto."},{"volume-title":"Possible worlds: An introduction to logic and its philosophy","year":"1979","author":"Bradly","key":"S0269888900000114_ref005"},{"key":"S0269888900000114_ref038","unstructured":"Levitt RE , 1990, \u201cKnowledge-based planning systems: An engineering perspective\u201d In: Proceedings lEE on Expert Planning System."},{"key":"S0269888900000114_ref041","unstructured":"Lifschitz V , 1987b, \u201cComputing circumscriptions\u201d In: Proceedings IJCAI 121\u2013127."},{"key":"S0269888900000114_ref043","first-page":"463","article-title":"Some philosophical problems from the standpoints of artificial Intelligence","volume":"4","author":"McCarthy","year":"1969","journal-title":"Machine Intelligence"},{"volume-title":"Artificial Intelligence","year":"1984","author":"Winston","key":"S0269888900000114_ref079"},{"key":"S0269888900000114_ref019","doi-asserted-by":"crossref","unstructured":"Georgeff MP , 1987a, \u201cMany agents are better than one\u201d In: Proceedings Workshop on the Frame Problem in Artificial Intelligence 59\u201375.","DOI":"10.1016\/B978-0-934613-32-3.50010-1"},{"key":"S0269888900000114_ref025","first-page":"183","article-title":"Theorem proving by resolution as a basis for question answering systems","volume":"4","author":"Green","year":"1969","journal-title":"Machine intelligence"},{"key":"S0269888900000114_ref045","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(86)90032-9"},{"key":"S0269888900000114_ref018","doi-asserted-by":"crossref","unstructured":"Georgeff MP , 1986, \u201cActions, Processes and causality\u201d In: Proceedings Workshop on Reasoning about Actions and Plans 99\u2013122.","DOI":"10.1016\/B978-0-934613-30-9.50008-1"},{"volume-title":"The Logic of Decision and Action","year":"1967","author":"Wright","key":"S0269888900000114_ref085"},{"key":"S0269888900000114_ref015","doi-asserted-by":"crossref","unstructured":"Georbel RG and Goodwin SD , 1987, \u201cApplying theory formation to the planning problem\u201d In: Proceedings of Workshop on the Frame Problem in Artificial Intelligence 207\u2013232.","DOI":"10.1016\/B978-0-934613-32-3.50019-8"},{"key":"S0269888900000114_ref071","unstructured":"Shoham Y , 1986, \u201cChronological ignorance: Time, non-monotonicity, necessity and causal theories\u201d In: Proceedings AAAE 389\u2013393."},{"key":"S0269888900000114_ref020","doi-asserted-by":"publisher","DOI":"10.1146\/annurev.cs.02.060187.002043"},{"key":"S0269888900000114_ref037","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060400003048"},{"key":"S0269888900000114_ref035","doi-asserted-by":"crossref","unstructured":"Lansky AL , 1986, \u201cA representation of parallel activity based on events, structure and causality\u201d Proceedings Workshop on Reasoning about Actions and Plans 123\u2013159.","DOI":"10.1016\/B978-0-934613-30-9.50009-3"},{"key":"S0269888900000114_ref055","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-09438-9"},{"key":"S0269888900000114_ref083","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(84)90053-5"},{"key":"S0269888900000114_ref081","unstructured":"Wilkins DE , 1983a, \u201cRepresentation in a domain-independent planner\u201d In: Proceedings IJCAI 733\u2013740."},{"key":"S0269888900000114_ref032","first-page":"83","article-title":"Semantical consideration on modal logic","volume":"16","author":"Kripke","year":"1963","journal-title":"Acta Philosophica Fennica"},{"key":"S0269888900000114_ref002","doi-asserted-by":"publisher","DOI":"10.1145\/182.358434"},{"key":"S0269888900000114_ref057","doi-asserted-by":"crossref","unstructured":"Park SS , 1987, \u201cDoubting Thomas: action and belief revision\u201d In: Proceedings Workshop on the Frame Problem in Artificial Intelligence.","DOI":"10.1016\/B978-0-934613-32-3.50017-4"}],"container-title":["The Knowledge Engineering Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0269888900000114","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T14:42:33Z","timestamp":1767624153000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0269888900000114\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,6]]},"references-count":85,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1993,6]]}},"alternative-id":["S0269888900000114"],"URL":"https:\/\/doi.org\/10.1017\/s0269888900000114","relation":{},"ISSN":["0269-8889","1469-8005"],"issn-type":[{"type":"print","value":"0269-8889"},{"type":"electronic","value":"1469-8005"}],"subject":[],"published":{"date-parts":[[1993,6]]}}}