资源论文Interval-Based Possibilistic Logic

Interval-Based Possibilistic Logic

2019-11-12 | |  39 |   32 |   0
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 dif?cult for an expert to provide exact degrees associated with formulas of a knowledge base. This paper proposes a ?exible representation of uncertain information where the weights associated with formulas are in the form of intervals. We ?rst 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 intervalbased 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 ?exibility in representing uncertain information is handled without extra computational costs.

上一篇:On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols

下一篇:RCC8 Is Polynomial on Networks of Bounded Treewidth Manuel Bodirsky Stefan Wo?l?

用户评价
全部评价

热门资源

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...