A Model-Theoretic Analysis of Monotonic Knowledge
Proceedings of the Ninth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 509-511.
Abstract
We present a semantic model for knowledge with the following prope rties : (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 appropr iate model for implicit knowledge. We investigate the properties of the model , and use it to formalize the notion of circumscrib ed knowledge.
@inproceedings{ijcai1985p97,
title = {A Model-Theoretic Analysis of Monotonic Knowledge},
author = {Vardi, Moshe Y.},
booktitle = {Proceedings of the Ninth International Joint Conference on
Artificial Intelligence, {IJCAI-85}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Aravind Joshi},
pages = {509--511},
year = {1985},
note = {Knowledge Representation},
url = {https://ijcai.org/proceedings/1985/97},
}
TY - CPAPER TI - A Model-Theoretic Analysis of Monotonic Knowledge AU - Vardi, Moshe Y. T2 - Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85 PB - International Joint Conferences on Artificial Intelligence PY - 1985 SP - 509 EP - 511 UR - https://ijcai.org/proceedings/1985/97 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
