ECAI 2004 Conference Paper

[PDF] [full paper] [prev] [tofc] [next]

Handling Conflicts in First-order Knowledge Bases: application to access control models

Salem Benferhat

There have been several proposals for handling inconsistency in propositional knowledge bases. Some of these approaches, called "coherence-based approaches" propose to give up some formulas in order to get one or several preferred consistent subbases, and to apply classical entailment on these subbases to deduce plausible conclusions. The first part of this paper proposes tools for handling conflicts in first-order knowledge bases. We show that the "blind" application of propositional approaches to inconsistent first order knowledge bases can lead to undesirable conclusions. A solution based on weakening first order formulas responsible of conflicts is proposed. In the second part of this paper, we propose a new access control model called E-OrBAC and show how conflicts can be solved in this system.

Keywords: Handling conflicts, stratified first-order knowledge bases, access control

Citation: Salem Benferhat: Handling Conflicts in First-order Knowledge Bases: application to access control models. In R.López de Mántaras and L.Saitta (eds.): ECAI2004, Proceedings of the 16th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2004, pp.961-962.


[prev] [tofc] [next]


ECAI-2004 is organised by the European Coordinating Committee for Artificial Intelligence (ECCAI) and hosted by the Universitat Politècnica de València on behalf of Asociación Española de Inteligencia Artificial (AEPIA) and Associació Catalana d'Intel-ligència Artificial (ACIA).