The University of Southampton
University of Southampton Institutional Repository

Budget-constrained knowledge in multiagent systems

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
1548-8403
219-226
International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Tao, Jia
008c0748-696c-4069-a351-551d311e8056
Elkind, Edith
Bordini, Rafael H.
Weiss, Gerhard
Yolum, Pinar
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Tao, Jia
008c0748-696c-4069-a351-551d311e8056
Elkind, Edith
Bordini, Rafael H.
Weiss, Gerhard
Yolum, Pinar

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 (IFAAMAS). pp. 219-226 .

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
Download (445kB)

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
ORCID for Pavel Naumov: ORCID iD orcid.org/0000-0003-1687-045X

Catalogue record

Date deposited: 30 Mar 2023 16:33
Last modified: 20 Jul 2024 02:06

Export record

Contributors

Author: Pavel Naumov ORCID iD
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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×