Circumscriptive Ignorance
Abstract
In formal systems that reason about knowledge, inferring that an agent actually does not know a particular fact can be problematic. Collins [l] has shown that there are many different modes of reasoning that a subject can use to show that he is ignorant of something; some of these, for example, involve the subject reasoning about the limitations of his own information-gathering and memory abilities. This paper will consider a single type of inference about ignorance, which we call circumscriptive ignorance. We present a partial formalization of circumscriptive ignorance and apply it to the Wise Man Puzzle.’ 1. Circumscriptive Ignorance The premise that there is a limited amount of information, resources, or strategies available for the
Cite
Text
Konolige. "Circumscriptive Ignorance." AAAI Conference on Artificial Intelligence, 1982.Markdown
[Konolige. "Circumscriptive Ignorance." AAAI Conference on Artificial Intelligence, 1982.](https://mlanthology.org/aaai/1982/konolige1982aaai-circumscriptive/)BibTeX
@inproceedings{konolige1982aaai-circumscriptive,
title = {{Circumscriptive Ignorance}},
author = {Konolige, Kurt},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {1982},
pages = {202-204},
url = {https://mlanthology.org/aaai/1982/konolige1982aaai-circumscriptive/}
}