{"type":"ScholarlyArticle","title":"Interval-Based Possibilistic Logic","authors":[{"name":"Salem Benferhat","slug":"salem-benferhat","given":"Salem","family":"Benferhat","affiliation":""},{"name":"Julien Hué","slug":"julien-hue","given":"Julien","family":"Hué","affiliation":""},{"name":"Sylvain Lagrue","slug":"sylvain-lagrue","given":"Sylvain","family":"Lagrue","affiliation":""},{"name":"Julien Rossit","slug":"julien-rossit","given":"Julien","family":"Rossit","affiliation":""}],"abstract":"Possibilistic logic is a well-known framework for dealing with uncertainty and reasoning under inconsistent knowledge bases. Standard possibilistic logic expressions are propositional logic formulas associated with positive real degrees belonging to [0,1]. However, in practice it may be difficult for an expert to provide exact degrees associated with formulas of a knowledge base. This paper proposes a flexible representation of uncertain information where the weights associated with formulas are in the form of intervals. We first study a framework for reasoning with interval-based possibilistic knowledge bases by extending main concepts of possibilistic logic such as the ones of necessity and possibility measures. We then provide a characterization of an interval-based possibilistic logic base by means of a concept of compatible standard possibilistic logic bases. We show that interval-based possibilistic logic extends possibilistic logic in the case where all intervals are singletons. Lastly, we provide computational complexity results of deriving plausible conclusions from interval-based possibilistic bases and we show that the flexibility in representing uncertain information is handled without extra computational costs.","doi":"10.5591/978-1-57735-516-8/IJCAI11-132","url":"https://ijcai.org/proceedings/2011/132","pdf":"https://ijcai.org/proceedings/2011/0132.pdf","markdown":"https://ijcai.org/proceedings/2011/132.md","bibtex":"https://ijcai.org/proceedings/2011/bibtex/132","volume":{"slug":"2011","title":"Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2011","url":"https://ijcai.org/proceedings/2011/","year":2011,"location":"Barcelona, Catalonia, Spain","dates":"16–22 July 2011","editors":"Toby Walsh","isbn":"978-1-57735-512-0; 978-1-57735-513-7; 978-1-57735-514-4; 978-1-57735-515-1; 978-1-57735-516-8","publisher":"AAAI Press/International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":132,"pages":{"first":750,"last":754},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}