Logic and Data Bases
On the model theory of knowledge
On the model theory of knowledge
A formal treatment of imperfect information in database management
A formal treatment of imperfect information in database management
A formal treatment of incomplete knowledge bases
A formal treatment of incomplete knowledge bases
TINLAP '78 Proceedings of the 1978 workshop on Theoretical issues in natural language processing
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
All i know: an abridged report
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
All i know: an abridged report
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
The future of knowledge representation
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Concept languages as query languages
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |
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 this 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.