Robert C. Moore
1981 Readings in Artificial Intelligence  
This paper discusses the problems of representing and reasoning with information about knowledge and action. The first section discusses the importance of having systems that understand the concept of knowledge, and how knowledge is related to action. Section 2 points out some of the special problems that are involved in reasoning about knowledge, and section S presents a logic of knowledge based on the idea of possible worlds. Section 4 integrates this with a logic of actions and gives an
more » ... s and gives an example of reasoning in the combined system. Section 5 makes some concluding comments.
doi:10.1016/b978-0-934613-03-3.50037-4 fatcat:gbrm426llrdj7cn2sukqnlnomq