A Model-Theoretic Analysis of Monotonic Knowledge
Abstract
We present a semantic model for knowledge with the following properties: (1) Knowledge is necessarily correct, (2) agents are logically omniscient, i.e., they know all the consequences of their knowledge, and (3) agents are positively introspective, i.e., they are aware of their knowledge, but not negatively introspective, i.e., they may not be aware of their ignorance. We argue that this is the appropriate model for implicit knowledge. We investigate the properties of the model, and use it to formalize the notion of circumscribed knowledge.
Cite
Text
Vardi. "A Model-Theoretic Analysis of Monotonic Knowledge." International Joint Conference on Artificial Intelligence, 1985.Markdown
[Vardi. "A Model-Theoretic Analysis of Monotonic Knowledge." International Joint Conference on Artificial Intelligence, 1985.](https://mlanthology.org/ijcai/1985/vardi1985ijcai-model/)BibTeX
@inproceedings{vardi1985ijcai-model,
title = {{A Model-Theoretic Analysis of Monotonic Knowledge}},
author = {Vardi, Moshe Y.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1985},
pages = {509-512},
url = {https://mlanthology.org/ijcai/1985/vardi1985ijcai-model/}
}