{"type":"ScholarlyArticle","title":"The Interaction with Incomplete Knowledge Bases: A Formal Treatment","authors":[{"name":"Hector J. Levesque","slug":"hector-j-levesque","given":"Hector J.","family":"Levesque","affiliation":""}],"abstract":"Some formal representation issues underlying the interaction between an expert system and its knowledge base are discussed. It is argued that a language that can refer both to the application domain and to the state of the knowledge base is required to specify and to question an incomplete knowledge base. A formal logical language with th is ability is presented and its semantics and proof theory are defined. It is then shown how this language must be used to interact with the knowledge base.","doi":null,"url":"https://ijcai.org/proceedings/1981/50","pdf":"https://ijcai.org/proceedings/1981/0050.pdf","markdown":"https://ijcai.org/proceedings/1981/50.md","bibtex":"https://ijcai.org/proceedings/1981/bibtex/50","volume":{"slug":"1981","title":"Proceedings of the Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1981","url":"https://ijcai.org/proceedings/1981/","year":1981,"location":"Vancouver, British Columbia, Canada","dates":"24-28 August 1981","editors":"Roger C. Schank","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Nowledge Representation","track":"Nowledge Representation","number":50,"pages":{"first":240,"last":244},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}