资源论文Query Answering in Propositional Circumscription Mario Alviano

Query Answering in Propositional Circumscription Mario Alviano

2019-11-05 | |  55 |   32 |   0
Abstract Propositional circumscription defines a preference relation over the models of a propositional theory, so that models being subset-minimal on the interpretation of a set of objective atoms are preferred. The complexity of several computational tasks increases by one level in the polynomial hierarchy due to such a preference relation; among them there is query answering, which amounts to decide whether there is an optimal model satisfying the query. A complete algorithm for query answering is obtained by searching for a model, not necessarily an optimal one, that satisfies the query, and such that no model unsatisfying the query is more preferred. If the query or its complement are among the objective atoms, the algorithm has a simpler behavior, which is also described in the paper. Moreover, an incomplete algorithm is obtained by searching for a model satisfying both the query and an objective atom being unit-implied by the theory extended with the complement of the query. A prototypical implementation is tested on instances from the 2nd International Competition on Computational Models of Argumentation.

上一篇:Personality-Aware Personalized Emotion Recognition from Physiological Signals

下一篇:Enhancing Existential Rules by Closed-World Variables

用户评价
全部评价

热门资源

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

  • A Mathematical Mo...

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

  • Rating-Boosted La...

    The performance of a recommendation system reli...