Budget-constrained knowledge in multiagent systems
Budget-constrained knowledge in multiagent systems
The paper introduces a modal logical system for reasoning about knowledge in which information available to agents might be constrained by the available budget. Although the system lacks an equivalent of the standard Negative Introspection axiom from epistemic logic S5, it is proven to be sound and complete with respect to an S5-like Kripke semantics.
Axiomatization, Completeness, Epistemology, Modal logic
219-226
International Foundation for Autonomous Agents and Multiagent Systems
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Tao, Jia
008c0748-696c-4069-a351-551d311e8056
2015
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Tao, Jia
008c0748-696c-4069-a351-551d311e8056
Naumov, Pavel and Tao, Jia
(2015)
Budget-constrained knowledge in multiagent systems.
Elkind, Edith, Bordini, Rafael H., Weiss, Gerhard and Yolum, Pinar
(eds.)
In AAMAS 2015 - Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems.
vol. 1,
International Foundation for Autonomous Agents and Multiagent Systems.
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
The paper introduces a modal logical system for reasoning about knowledge in which information available to agents might be constrained by the available budget. Although the system lacks an equivalent of the standard Negative Introspection axiom from epistemic logic S5, it is proven to be sound and complete with respect to an S5-like Kripke semantics.
Text
2015-aamas
- Accepted Manuscript
More information
Published date: 2015
Additional Information:
Publisher Copyright:Copyright © 2015, International Foundation for Autonomous Agents and Multiagent Systems.
Venue - Dates:
14th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, , Istanbul, Turkey, 2015-05-04 - 2015-05-08
Keywords:
Axiomatization, Completeness, Epistemology, Modal logic
Identifiers
Local EPrints ID: 475902
URI: http://eprints.soton.ac.uk/id/eprint/475902
ISSN: 1548-8403
PURE UUID: 4a2f420e-1f71-42f9-8ff0-1a6e459ef4eb
Catalogue record
Date deposited: 30 Mar 2023 16:33
Last modified: 17 Mar 2024 04:10
Export record
Contributors
Author:
Pavel Naumov
Author:
Jia Tao
Editor:
Edith Elkind
Editor:
Rafael H. Bordini
Editor:
Gerhard Weiss
Editor:
Pinar Yolum
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics