In:
Artificial Intelligence Review, Springer Science and Business Media LLC, Vol. 55, No. 4 ( 2022-04), p. 3075-3151
Abstract:
We present and discuss a novel language restriction for modal logics for multiagent systems, called modal context restriction, that reduces the complexity of the satisfiability problem from EXPTIME complete to NPTIME complete. We focus on BDI multimodal logics that contain fix-point modalities like common beliefs and mutual intentions together with realism and introspection axioms. We show how this combination of modalities and axioms affects complexity of the satisfiability problem and how it can be reduced by restricting the modal context of formulas.
Type of Medium:
Online Resource
ISSN:
0269-2821
,
1573-7462
DOI:
10.1007/s10462-021-10064-6
Language:
English
Publisher:
Springer Science and Business Media LLC
Publication Date:
2022
detail.hit.zdb_id:
1479828-1
detail.hit.zdb_id:
56633-0
Bookmarklink