{"type":"ScholarlyArticle","title":"Reasoning About Knowledge and Action","authors":[{"name":"Robert C. Moore","slug":"robert-c-moore","given":"Robert C.","family":"Moore","affiliation":""}],"abstract":"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 i Integrates this with a logic of actions and gives an example of reasoning In the combined system. Section 5 makes some concluding comments.","doi":null,"url":"https://ijcai.org/proceedings/1977/49","pdf":"https://ijcai.org/proceedings/1977/0049.pdf","markdown":"https://ijcai.org/proceedings/1977/49.md","bibtex":"https://ijcai.org/proceedings/1977/bibtex/49","volume":{"slug":"1977","title":"Proceedings of the Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1977","url":"https://ijcai.org/proceedings/1977/","year":1977,"location":"Cambridge, MA, USA","dates":"","editors":"Raj Reddy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Representation of Knowledge","track":"Representation of Knowledge","number":49,"pages":{"first":223,"last":226},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}