Advertisement

Local search for computing normal circumstances models (abstract)

  • Bertrand Mazure
  • Lakhdar Saïs
  • Éric Grégoire
Poster Abstracts
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1226)

Abstract

In this paper, a new method is introduced to check several forms of logical consistency of nonmonotonic knowledge-bases (KBs). The knowledge representation language under consideration is full propositional logic, using “Abnormal” propositions to be minimized. Basically, the method is based on the use of local search techniques for SAT. Since these techniques are by nature logically incomplete, it is often believed that they can only show that a formula is consistent. Surprisingly enough, we find that they can allow inconsistency to be proved as well. To that end, some additional heuristic information about the work performed by local search algorithms is shown of prime practical importance. Adapting this heuristic and using some specific minimization policies, we propose some possible strategies to exhibit a “normal-circumstances” model or simply a model of the KB, or to show their non-existence.

Keywords

local search tabu search nonmonotonic reasoning commonsense reasoning SAT consistency checking 

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Bertrand Mazure
    • 1
  • Lakhdar Saïs
    • 1
  • Éric Grégoire
    • 1
  1. 1.CRILUniversité d'ArtoisLens CedexFrance

Personalised recommendations