Inproceedings615
Knowledge Representation in Many-Valued Horn Clauses
Knowledge Representation in Many-Valued Horn Clauses
Published: 1995
November
Buchtitel: Proceedings of the 6th Conference of the Spanish Association for Artificial Intelligence, November 1995, Alicante
Referierte Veröffentlichung
BibTeX
Kurzfassung
Uncertainty, incompleteness and vagueness are typical features of common-sense as well as expert knowledge. Reasoning based on such knowledge demands strategies to combine divergent information. All the more this is true in the context of integrating knowledge bases. This paper addresses knowledge representation, reasoning, and conflict management with many-valued logics. We show by some examples how information can be expressed in many-valued Horn clauses, how fitting truth value spaces can be found -in this context we also consider bilattices- and how conflict solving strategies can be involved. We do not focus on technical details but try to open up prospects of applications.
Download: Media:1995_615_Messing_Knowledge_Repre_1.ps.gz