Multi-Agent Subset Space Logic
Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. Pages 1155-1160.
Abstract
Subset space logics have been introduced and studied as a framework for reasoning about a notion of effort in epistemic logic. The seminal Subset Space Logic (SSL) by Moss and Parikh modeled a single agent, and most work in this area has focused on different extensions of the language, or different model classes resulting from restrictions on subset spaces, while still keeping the single-agent assumption. In this paper we argue that the few existing attempts at multi-agent versions of SSL are unsatisfactory, and propose a new multi-agent subset space logic which is a natural extension of single-agent SSL. The main results are a sound and complete axiomatization of this logic, as well as an alternative and equivalent relational semantics.
@inproceedings{ijcai2013p174,
title = {Multi-Agent Subset Space Logic},
author = {Wang, Yi Nicholas and Ågotnes, Thomas},
booktitle = {Proceedings of the Twenty-Third International Joint Conference on
Artificial Intelligence, {IJCAI-13}},
publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
editor = {Francesca Rossi},
pages = {1155--1160},
year = {2013},
month = {8},
url = {https://ijcai.org/proceedings/2013/174},
}
TY - CPAPER TI - Multi-Agent Subset Space Logic AU - Wang, Yi Nicholas AU - Ågotnes, Thomas T2 - Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13 PB - AAAI Press / International Joint Conferences on Artificial Intelligence PY - 2013 SP - 1155 EP - 1160 UR - https://ijcai.org/proceedings/2013/174 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
