Show simple item record

dc.contributor.authorKonieczny, Sébastien
HAL ID: 180240
ORCID: 0000-0002-2590-1222
dc.contributor.authorLang, Jérôme
dc.contributor.authorMarquis, Pierre
dc.date.accessioned2010-12-16T10:52:11Z
dc.date.available2010-12-16T10:52:11Z
dc.date.issued2005
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/5318
dc.language.isoenen
dc.subjectinconsistent beliefs
dc.subjectconnective
dc.subjectbelief base
dc.subject.ddc006.3en
dc.titleReasoning under inconsistency: the forgotten connective
dc.typeCommunication / Conférence
dc.description.abstractenIn many frameworks for reasoning under inconsistency, it is implicitly assumed that the formulaefrom the belief base are connected using a weakform of conjunction. When it is consistent, a beliefbase B = f'1; : : : ; 'ng, where the 'i are proposi-tional formulae, is logically equivalent to the basef'1 ^ : : : ^ 'ng. However, when it is not consistent, both bases typically lead to different conclusions. This illustrates the fact that the commaused in base B has to be considered as an additional, genuine connective, and not as a simple conjunction. In this work we define and investigate apropositional framework with such a "comma con-nective". We give it a semantics and show how itgeneralizes several approaches for reasoning frominconsistent beliefs.
dc.identifier.citationpages484-489
dc.relation.ispartoftitleIJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005.
dc.relation.ispartofeditorSaffiotti, Alessandro
dc.relation.ispartofpublnameProfessional Book Center
dc.relation.ispartofdate2005
dc.description.sponsorshipprivateouien
dc.subject.ddclabelIntelligence artificielleen
dc.relation.ispartofisbn0938075934
dc.relation.confcountryUNITED KINGDOM
dc.description.ssrncandidatenon
dc.description.halcandidateoui
dc.description.readershiprecherche
dc.description.audienceInternational
dc.date.updated2017-01-06T18:20:00Z


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record