Salem Benferhat

Learn More
None of the classical access control models such as DAC, MAC, RBAC, TBAC or TMAC is fully satisfactory to model security policies that are not restricted to static permissions but also include contextual rules related to permissions, prohibitions, obligations and recommendations. This is typically the case of security policies that apply to the health care(More)
The idea of ordering plays a basic role in commonsense reasoning for addressing three interrelated tasks: inconsistency handling, belief revision and plausible inference. We study the behavior of non-monotonic inferences induced by various methods for priority-based handling of inconsistent sets of classical formulas. One of them is based on a lexicographic(More)
Bayes networks are powerful tools for decision and reasoning under uncertainty. A very simple form of Bayes networks is called naive Bayes, which are particularly efficient for inference tasks. However, naive Bayes are based on a very strong independence assumption. This paper offers an experimental study of the use of naive Bayes in intrusion detection. We(More)
This short paper relates the conditional object-based and possibility theorybased approaches for reasoning with conditional statements pervaded with exceptions, to other methods in nonmonotonic reasoning which have been independently proposed: namely, Lehmann's preferential and rational closure entailments which obey normative postulates, the infinitesimal(More)
Qualitative choice logic (QCL) is a propositional logic for representing alternative, ranked options for problem solutions. The logic adds to classical propositional logic a new connective called ordered disjunction: A × B intuitively means: if possible A, but if A is not possible then at least B. The semantics of qualitative choice logic is based on a(More)
This paper presents and discusses several methods for reasoning from inconsistent knowledge bases. A so-called argumentative-consequence relation, taking into account the existence of consistent arguments in favor of a conclusion and the absence of consistent arguments in favor of its contrary, is particularly investigated. Flat knowledge bases, i.e.(More)
The ability to handle exceptions, to perform iterated belief revision and to integrate information from multiple sources are essential skills for an intelligent agent. These important skills are related in the sense that they all rely on resolving inconsistent information. We develop a novel and useful strategy for conflict resolution, and compare and(More)
A. Appriou,1† A. Ayoun,2‡ S. Benferhat,3§ P. Besnard,3 L. Cholvy,5¶ R. Cooke,6# F. Cuppens,5 ** D. Dubois,3†† H. Fargier,3‡‡ M. Grabisch,7§§ R. Kruse,9¶¶ J. Lang,3## S. Moral,10 *** H. Prade,3††† A. Saffiotti,11‡‡‡ P. Smets,12§§§ C. Sossai13 1ONERA, BP 72, 92322 Chatillon Cedex, France 2Thomson-CSF-ISR/ACC, France 3IRIT-UPS, 118 route de Narbonne, 31062(More)
Recently, it has been emphasized that the possibility theory framework allows us to dis­ tinguish between i) what is possible because it is not ruled out by the available knowledge, and ii) what is possible for sure. This distinc­ tion may be useful when representing knowl­ edge, for modelling values which are not im­ possible because they are consistent(More)