The Interaction with Incomplete Knowledge Bases: A Formal Treatment

Levesque, Hector J.

The Interaction with Incomplete Knowledge Bases: A Formal Treatment

Download BibTeX Cite

Proceedings of the Seventh International Joint Conference on Artificial Intelligence. Nowledge Representation. Pages 240-244.

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.

Hector J. Levesque. 1981. The Interaction with Incomplete Knowledge Bases: A Formal Treatment. In Proceedings of the Seventh International Joint Conference on Artificial Intelligence, IJCAI-81. IJCAI, 240–244. https://ijcai.org/proceedings/1981/50

@inproceedings{ijcai1981p50,
  title     = {The Interaction with Incomplete Knowledge Bases: A Formal Treatment},
  author    = {Levesque, Hector J.},
  booktitle = {Proceedings of the Seventh International Joint Conference on
               Artificial Intelligence, {IJCAI-81}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Roger C. Schank},
  pages     = {240--244},
  year      = {1981},
  month     = {8},
  note      = {Nowledge Representation},
  url       = {https://ijcai.org/proceedings/1981/50},
}

TY  - CPAPER
TI  - The Interaction with Incomplete Knowledge Bases: A Formal Treatment
AU  - Levesque, Hector J.
T2  - Proceedings of the Seventh International Joint Conference on Artificial Intelligence, IJCAI-81
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1981
SP  - 240
EP  - 244
UR  - https://ijcai.org/proceedings/1981/50
ER  -