{"type":"ScholarlyArticle","title":"A Model-Theoretic Analysis of Monotonic Knowledge","authors":[{"name":"Moshe Y. Vardi","slug":"moshe-y-vardi","given":"Moshe Y.","family":"Vardi","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1985/97","pdf":"https://ijcai.org/proceedings/1985/0097.pdf","markdown":"https://ijcai.org/proceedings/1985/97.md","bibtex":"https://ijcai.org/proceedings/1985/bibtex/97","volume":{"slug":"1985","title":"Proceedings of the Ninth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1985","url":"https://ijcai.org/proceedings/1985/","year":1985,"location":"Los Angeles, California, USA","dates":"","editors":"Aravind Joshi","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Knowledge Representation","track":"Knowledge Representation","number":97,"pages":{"first":509,"last":511},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}