The representation of inconsistent knowledge in advanced knowledge based systems

  • Authors:

  • Mark Burgin;Kees C. N. J. de Vey Mestdagh

  • Affiliations:

  • Department of Computer Science, University of California, Los Angeles;Centre for Law & ICT, University of Groningen, Groningen, The Netherlands

  • Venue:
  • KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part II
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

Contradiction handling is one of the central problems in AI. There are different approaches to dealing with contradictions and other types of inconsistency. We describe an approach based on logical varieties, which are complex structures constructed from logical calculi. Being locally isomorphic to a logical calculus, globally logical varieties allow representation of contradictory knowledge in a consistent way, providing much more flexibility and efficacy for AI than standard logical methods. Problems of logical variety immersion into a logical calculus are studied. Such immersions extend the local structure of a logical calculus to the global structure of a logical variety, demonstrating when it is possible to use standard logical tools, such as logical calculi, and when it is necessary to go beyond this traditional technique. Finally a particular logical variety, the Logic of Reasonable Inferences, applied to the design of legal knowledge based systems is described.