A Formal Theory of Knowledge and ActionMost work on planning and problem solving within the field of artificial intelligence assumes that the agent has complete knowledge of all relevant aspects of the problem domain and problem situation In the real world, however, planning and acting must frequently be performed without complete knowledge. This imposes two additional burdens on an intelligent agent trying to act effectively. First, when the agent entertains a plan for achieving some goal, he must consider not only whether the physical prerequisites of the plan have been satisfied, but also whether he has all the information necessary to carry out the plan. Second, he must be able to reason about what be can do to obtain necessary information that he lacks. In this paper, we present a theory of action in which these problems are taken into account, showing how to formalize both the knowledge prerequisites of action and the effects of action on knowledge. |
Contents
ABSTRACT | 1 |
FORMALIZING THE POSSIBLEWORLD ANALYSIS OF KNOWLEDGE | 29 |
A POSSIBLEWORLD ANALYSIS OF ACTION 423 | 42 |
Copyright | |
1 other sections not shown
Common terms and phrases
3x KNOW A's performing accessibility relation achieve actual world affairs agent knows AGENT'S KNOWLEDGE analysis of knowledge atomic formulas axioms Brian Cantwell Smith COMB SF course of events DIAL COMB dialing the combination event descriptions event sequence existential expression first-order logic formula is true Gerald Gazdar Hintikka individual informative action interpretation John knows Jon Barwise Joseph Goguen KNOW A,P KNOW JOHN knowledge and action knows what action Line litmus paper logic of knowledge Mary's telephone number metalanguage modal logic modus ponens object language formula performing ACT performing the action performing the test possible worlds possible-world analysis possible-world semantics predicate principle propositional logic PUTON Q is true quantified Ralph knows reasoning about knowledge represent result of A's rigid designator rigid function safe says situation situation calculus solution is acidic someone knows standard identifiers Suppose terms of possible theory of knowledge TRUE KNOW unobservable precondition W₁ world compatible