Show simple item record

dc.contributor.authorLang, Jérôme
dc.contributor.authorMarquis, Pierre
dc.date.accessioned2010-06-30T14:02:00Z
dc.date.available2010-06-30T14:02:00Z
dc.date.issued2010
dc.identifier.issn0004-3702
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/4511
dc.language.isoenen
dc.subjectReasoning under inconsistency
dc.subjectForgetting
dc.subjectKnowledge representation
dc.subject.ddc006.3en
dc.titleReasoning under inconsistency: A forgetting-based approach
dc.typeArticle accepté pour publication ou publié
dc.description.abstractenIn this paper, a fairly general framework for reasoning from inconsistent propositional bases is defined. Variable forgetting is used as a basic operation for weakening pieces of information so as to restore consistency. The key notion is that of recoveries, which are sets of variables whose forgetting enables restoring consistency. Several criteria for defining preferred recoveries are proposed, depending on whether the focus is laid on the relative relevance of the atoms or the relative entrenchment of the pieces of information (or both). Our framework encompasses several previous approaches as specific cases, including reasoning from preferred consistent subsets, and some forms of information merging. Interestingly, the gain in flexibility and generality offered by our framework does not imply a complexity shift compared to these specific cases.
dc.relation.isversionofjnlnameArtificial Intelligence
dc.relation.isversionofjnlvol174
dc.relation.isversionofjnlissue12-13
dc.relation.isversionofjnldate2010
dc.relation.isversionofjnlpages799-823
dc.relation.isversionofdoihttp://dx.doi.org/10.1016/j.artint.2010.04.023
dc.description.sponsorshipprivateouien
dc.relation.isversionofjnlpublisherElsevier
dc.subject.ddclabelIntelligence artificielleen
dc.description.ssrncandidatenon
dc.description.halcandidateoui
dc.description.readershiprecherche
dc.description.audienceInternational
dc.relation.Isversionofjnlpeerreviewedoui
dc.date.updated2017-01-06T17:48:15Z


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record