The knower's paradox and representational theories of attitudes
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Introduction to mathematical logic (3rd ed.)
Introduction to mathematical logic (3rd ed.)
Formal Theories of the Commonsense World
Formal Theories of the Commonsense World
On the logic of cooperation and propositional control
Artificial Intelligence
An axiomatic basis of trust in distributed systems
SP'88 Proceedings of the 1988 IEEE conference on Security and privacy
Hi-index | 0.00 |
Most AI planners work on the assumption that they have complete knowledge of their problem domain and situation so that planning an action consists of searching for an action sequence that achieves some desired goal. In actual planning situations, we rarely know enough to map out a detailed plan of action when we start out. Instead, we initially draw up a sketchy plan and fill in details as we proceed. This paper presents a formalism based upon a syntactic logic of knowledge which is expressive enough to describe this flexible planning process.