An Answer Set Programming Encoding of Prioritized Removed Sets Revision: Application to GIS

Jonathan Ben-Naim (1) , Salem Benferhat (2) , Odile Papini (3) , Eric Würbel (3)

1 LIF - Laboratoire d'informatique Fondamentale de Marseille - UMR 6166
2 CRIL - Centre de Recherche en Informatique de Lens
3 USTV - Université du Sud Toulon-Var

Geographical information systems are one of the most important application areas of belief revision. Recently, Würbel and colleagues [32] have applied the so-called ”removed sets revision” (RSR) to the problem of assessment of water heights in a flooded valley. The application was partially satisfactory since only a small part of the valley has been handled. This paper goes one step further, and proposes an extension of (RSR) called ”Prioritized Removed Sets Revision” (PRSR). We show that (PRSR) performed using answer set programming makes possible to solve a practical revision problem provided by a real application in the framework of geographical information system (GIS). We first show how PRSR can be encoded into a logic program with answer set semantics, we then present an adaptation of the smodels system devoted to efficiently compute the answer sets in order to perform PRSR. The experimental study shows that the answer set programming approach gives better results than previous implementations of RSR and in particular it allows to handle the whole valley. Lastly, some experimental studies comparing our encoding with implementations based on SAT-solvers are also provided.

Mots clés: Geographical Information System; Logic Program; Belief Revision

Domaines: Intelligence artificielle [cs.AI]; Logique en informatique [cs.LO]

Jonathan Ben-Naim, Salem Benferhat, Odile Papini, Eric Würbel. An Answer Set Programming Encoding of Prioritized Removed Sets Revision: Application to GIS. 9th European Conference Logics in Artificial Intelligence (JELIA 2004), Sep 2004, Lisbonne, Portugal. pp.604-616, ⟨10.1007/978-3-540-30227-8_50⟩. ⟨hal-03092787⟩