Handling various forms of inconsistency in possibilistic logic

Dubois, D; Prade, H

Handling various forms of inconsistency in possibilistic logic

Dubois, D Prade, H

Permalink

Publication Type:: Conference Proceeding
Citation:: Proceedings - International Workshop on Database and Expert Systems Applications, DEXA, 2011, pp. 327 - 331
Issue Date:: 2011-12-01

Closed Access

	Filename	Description	Size
	2013007844OK.pdf	Published version	211.26 kB	Adobe PDF	View/Open

Copyright Clearance Process

Recently Added
In Progress
Closed Access

This item is closed access and not available.

Full metadata record

Field	Value	Language
dc.contributor.author	Dubois, D	en_US
dc.contributor.author	Prade, H https://orcid.org/0000-0003-4586-8527	en_US
dc.date.issued	2011-12-01	en_US
dc.identifier.citation	Proceedings - International Workshop on Database and Expert Systems Applications, DEXA, 2011, pp. 327 - 331	en_US
dc.identifier.isbn	9780769544861	en_US
dc.identifier.issn	1529-4188	en_US
dc.identifier.uri	http://hdl.handle.net/10453/32863
dc.description.abstract	Possibilistic logic results from the application of possibility theory to classical logic, here propositional logic. Central in standard possibilistic logic (where propositional logic formulas are associated with lower bounds of their necessity measures), is the notion of inconsistency level of a possibilistic logic base. Formulas whose weight is strictly above this inconsistency level constitute a sub-base free of any inconsistency. However, several extensions, such as paraconsistent or multiple sources extensions of possibilistic logic, or extensions involving other possibility theory measures, provide other forms of inconsistency, while enlarging the representation power of possibilistic logic. The paper offers a structured overview of the various forms of inconsistency that can be accommodated in possibilistic logic. © 2011 IEEE.	en_US
dc.relation.ispartof	Proceedings - International Workshop on Database and Expert Systems Applications, DEXA	en_US
dc.relation.isbasedon	10.1109/DEXA.2011.39	en_US
dc.title	Handling various forms of inconsistency in possibilistic logic	en_US
dc.type	Conference Proceeding
utslib.for	0804 Data Format	en_US
utslib.for	0801 Artificial Intelligence and Image Processing	en_US
pubs.embargo.period	Not known	en_US
pubs.organisational-group	/University of Technology Sydney
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology/School of Software
pubs.organisational-group	/University of Technology Sydney/Strength - CAI - Centre for Artificial Intelligence
utslib.copyright.status	closed_access
pubs.publication-status	Published	en_US

Abstract:

Possibilistic logic results from the application of possibility theory to classical logic, here propositional logic. Central in standard possibilistic logic (where propositional logic formulas are associated with lower bounds of their necessity measures), is the notion of inconsistency level of a possibilistic logic base. Formulas whose weight is strictly above this inconsistency level constitute a sub-base free of any inconsistency. However, several extensions, such as paraconsistent or multiple sources extensions of possibilistic logic, or extensions involving other possibility theory measures, provide other forms of inconsistency, while enlarging the representation power of possibilistic logic. The paper offers a structured overview of the various forms of inconsistency that can be accommodated in possibilistic logic. © 2011 IEEE.

Please use this identifier to cite or link to this item:

http://hdl.handle.net/10453/32863