The University of Southampton
University of Southampton Institutional Repository

Knowing the price of success

Knowing the price of success
Knowing the price of success
If an agent, or a coalition of agents, knows that it has a strategy to achieve a certain outcome, it does not mean that the agent knows what the strategy is. Even if the agent knows what the strategy is, she might not know the price of executing this strategy.
The article considers modality “the coalition not only knows the strategy, but also knows an upper bound on the price of executing the strategy”. The main technical result is a sound and complete bimodal logical system that describes the interplay between this modality and the distributed knowledge modality.
0004-3702
Cao, Rui
a3d4f144-2a36-48e7-8b7c-aeb2a3d6e8db
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Cao, Rui
a3d4f144-2a36-48e7-8b7c-aeb2a3d6e8db
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0

Cao, Rui and Naumov, Pavel (2020) Knowing the price of success. Artificial Intelligence, 284 (7), [103287]. (doi:10.1016/j.artint.2020.103287).

Record type: Article

Abstract

If an agent, or a coalition of agents, knows that it has a strategy to achieve a certain outcome, it does not mean that the agent knows what the strategy is. Even if the agent knows what the strategy is, she might not know the price of executing this strategy.
The article considers modality “the coalition not only knows the strategy, but also knows an upper bound on the price of executing the strategy”. The main technical result is a sound and complete bimodal logical system that describes the interplay between this modality and the distributed knowledge modality.

This record has no associated files available for download.

More information

Accepted/In Press date: 16 April 2020
e-pub ahead of print date: 24 April 2020
Published date: 1 July 2020

Identifiers

Local EPrints ID: 457233
URI: http://eprints.soton.ac.uk/id/eprint/457233
ISSN: 0004-3702
PURE UUID: 0c437d55-6fd0-49ee-b352-6c38878541e2
ORCID for Pavel Naumov: ORCID iD orcid.org/0000-0003-1687-045X

Catalogue record

Date deposited: 26 May 2022 16:55
Last modified: 17 Mar 2024 04:10

Export record

Altmetrics

Contributors

Author: Rui Cao
Author: Pavel Naumov ORCID iD

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.

×