Home |  ENGLISH |  Kontakt |  Impressum |  Datenschutz |  Anmelden |  KIT


Aus Aifbportal

Wechseln zu: Navigation, Suche
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


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