Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Journal articles

Overriding subsuming rules

Abstract : This paper is concerned with intelligent agents that are able to perform nonmonotonic reasoning, not only with, but also about general rules with exceptions. More precisely, the focus is on enriching a knowledge base Γ with a general rule that is subsumed by another rule already there. Such a problem is important because evolving knowledge needs not follow logic as it is well-known from e.g. the belief revision paradigm. However, belief revision is mainly concerned with the case that the extra information logically conflicts with Γ. Otherwise, the extra knowledge is simply doomed to extend Γ with no change altogether. The problem here is different and may require a change in Γ even though no inconsistency arises. The idea is that when a rule is to be added, it might need to override any rule that subsumes it: preemption must take place. A formalism dedicated to reasoning with and about rules with exceptions is introduced. An approach to dealing with preemption over such rules is then developed.
Complete list of metadata

Cited literature [6 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (OATAO) Connect in order to contact the contributor
Submitted on : Friday, March 6, 2015 - 10:34:41 AM
Last modification on : Monday, July 4, 2022 - 10:09:48 AM
Long-term archiving on: : Sunday, June 7, 2015 - 5:05:51 PM


Files produced by the author(s)



Philippe Besnard, Eric Grégoire, Sébastien Ramon. Overriding subsuming rules. International Journal of Approximate Reasoning, Elsevier, 2013, Special issue: Eleventh European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2011), 54 (4), pp.452-466. ⟨10.1016/j.ijar.2012.11.003⟩. ⟨hal-01124455⟩



Record views


Files downloads