资源论文Forgetting in Multi-Agent Modal Logics

Forgetting in Multi-Agent Modal Logics

2019-11-22 | |  48 |   38 |   0
Abstract In the past decades, forgetting has been investigated for many logics and has found many applications in knowledge representation and reasoning. However, forgetting in multi-agent modal logics has largely been unexplored. In this paper, we study forgetting in multi-agent modal logics. We adopt the semantic definition of existential bisimulation quantifiers as that of forgetting. We propose a syntactical way of performing forgetting based on the canonical formulas of modal logics introduced by Moss. We show that the result of forgetting a propositional atom from a satisfiable canonical formula can be computed by simply substituting the literals of the atom with >. Thus we show that Kn , Dn , Tn , K45n , KD45n and S5n are closed under forgetting, and hence have uniform interpolation.

上一篇:Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access

下一篇:Trend-Based Prediction of Spatial Change

用户评价
全部评价

热门资源

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • A Mathematical Mo...

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

  • Rating-Boosted La...

    The performance of a recommendation system reli...