资源论文Possibilistic ASP Base Revision by Certain Input

Possibilistic ASP Base Revision by Certain Input

2019-11-05 | |  68 |   43 |   0
Abstract Belief base revision has been studied within the answer set programming framework. We go a step further by introducing uncertainty and studying belief base revision when beliefs are represented by possibilistic logic programs under possibilistic answer set semantics and revised by certain input. The paper proposes two approaches of rule-based revision operators and presents their semantic characterization in terms of possibilistic distribution. This semantic characterization allows for equivalently considering the evolution of syntactic logic programs and the evolution of their semantic content. It then studies the logical properties of the proposed operators and gives complexity results.

上一篇:An Empirical Study of Knowledge Tradeoffs in Case-Based Reasoning Devi Ganesan and Sutanu Chakraborti

下一篇:Finite Model Reasoning in Hybrid Classes of Existential Rules

用户评价
全部评价

热门资源

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • 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...