David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 66 (1):165-186 (2000)
Most agents can acquire information about their environments as they operate. A good plan for such an agent is one that not only achieves the goal, but is also executable, i.e., ensures that the agent has enough information at every step to know what to do next. In this paper, we present a formal account of what it means for an agent to know how to execute a plan and to be able to achieve a goal. Such a theory is a prerequisite for producing specifications of planners for agents that can acquire information at run time. It is also essential to account for cooperation among agents. Our account is more general than previous proposals, correctly handles programs containing loops, and incorporates a solution to the frame problem. It can also be used to prove programs containing sensing actions correct.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
References found in this work BETA
No references found.
Citations of this work BETA
Eric Pacuit & Sunil Simon (2011). Reasoning with Protocols Under Imperfect Information. Review of Symbolic Logic 4 (3):412-444.
Similar books and articles
Gerhard Lakemeyer (2010). The Situation Calculus: A Case for Modal Logic. [REVIEW] Journal of Logic, Language and Information 19 (4):431-450.
Lucas Dixon, Alan Smaill & Tracy Tsang (2009). Plans, Actions and Dialogues Using Linear Logic. Journal of Logic, Language and Information 18 (2):251-289.
H. Nakashima (1999). AI as Complex Information Processing. Minds and Machines 9 (1):57-80.
Riccardo Rosati (2001). A Sound and Complete Tableau Calculus for Reasoning About Only Knowing and Knowing at Most. Studia Logica 69 (1):171-191.
Thomas Ågotnes & Dirk Walther (2009). A Logic of Strategic Ability Under Bounded Memory. Journal of Logic, Language and Information 18 (1):55-77.
B. van Linder, W. van der Hoek & J.-J. Ch Meyer (1997). Seeing is Believing. Journal of Logic, Language and Information 6 (1):33-61.
Timothy Williamson (2006). Can Cognition Be Factorized Into Internal and External Components? In Robert J. Stainton (ed.), Contemporary Debates in Cognitive Science. Malden MA: Blackwell Publishing.
Added to index2009-01-28
Total downloads4 ( #198,584 of 1,088,810 )
Recent downloads (6 months)0
How can I increase my downloads?