Reasoning About Knowledge and Action
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 3 presents a logic of knowledge based on the idea of possible worlds. Section 4 integrates this with a logic of actions and gives an example of reasoning in the combined system. Section 5 makes some concluding comments.
Cite
Text
Moore. "Reasoning About Knowledge and Action." International Joint Conference on Artificial Intelligence, 1977. doi:10.1016/B978-0-934613-03-3.50037-4Markdown
[Moore. "Reasoning About Knowledge and Action." International Joint Conference on Artificial Intelligence, 1977.](https://mlanthology.org/ijcai/1977/moore1977ijcai-reasoning/) doi:10.1016/B978-0-934613-03-3.50037-4BibTeX
@inproceedings{moore1977ijcai-reasoning,
title = {{Reasoning About Knowledge and Action}},
author = {Moore, Robert C.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1977},
pages = {223-227},
doi = {10.1016/B978-0-934613-03-3.50037-4},
url = {https://mlanthology.org/ijcai/1977/moore1977ijcai-reasoning/}
}