Forgetting in Multi-Agent Modal Logics
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Pages 1066-1072.
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 T. Thus we show that Kn, Dn, Tn, K45n, KD45n and S5n are closed under forgetting, and hence have uniform interpolation.
@inproceedings{ijcai2016p155,
title = {Forgetting in Multi-Agent Modal Logics},
author = {Fang, Liangda and Liu, Yongmei and van Ditmarsch, Hans},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI-16}},
publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
editor = {Subbarao Kambhampati},
pages = {1066--1072},
year = {2016},
month = {7},
url = {https://ijcai.org/proceedings/2016/155},
}
TY - CPAPER TI - Forgetting in Multi-Agent Modal Logics AU - Fang, Liangda AU - Liu, Yongmei AU - van Ditmarsch, Hans T2 - Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16 PB - AAAI Press / International Joint Conferences on Artificial Intelligence PY - 2016 SP - 1066 EP - 1072 UR - https://ijcai.org/proceedings/2016/155 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
