REASONING ABOUT KNOWLEDGE AND ACTION / 473

The first section discusses the importance of having systems that own M.S. thesis (Moore, 19)5), suggests that predicate calculus can understand the concept of knowledge, and how knowledge is be treated in a more natural manner than resolution and related to action. Section 2 points out some of the special problems combined with domain-dependent control information for greater that are involved in reasoning about knowledge, and section $ efficiency. Furthermore, the problems of reasoning about knowledge seem to require the full ability to handle quantifiers presents a logic of knowledge based on the idea of possible worlds. Section 4 integrates this with a logic of actions and gives an and logical connectives which only predicate calculus posseses.