Knowing the price of success

Cao, Rui; Naumov, Pavel

doi:10.1016/j.artint.2020.103287

Cited by 7 publications

(7 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…and coalition C parameters of the modality [C] I . Our proof of the completeness is significantly different from the existing proofs of completeness for games with imperfect information (Ågotnes & Alechina, 2019;Naumov & Tao, 2017a, 2018b, 2018c, 2018aCao & Naumov, 2020). We highlight these differences in the beginning of Section 9.…”

Section: Introductionmentioning

confidence: 72%

“…If subscript B in the formula [C] B ϕ is the empty set, then the formula states that coalition C knows a strategy to achieve ϕ that does not rely on information about actions of any agents. We write this formula simply as [C]ϕ. Modality [C]ϕ is "know how" modality that has been studied before in different settings (Ågotnes & Alechina, 2019;Naumov & Tao, 2017a;Fervari et al, 2017;Naumov & Tao, 2017b, 2018c, 2018b, 2018aCao & Naumov, 2020). In this section, we compare the expressive power of modalities [C]ϕ and [C] B ϕ.…”

Section: Undefinability Through Know-howmentioning

confidence: 99%

“…It has been suggested in several recent works that, in the case of the games with imperfect information, strategic power modality in Marc Pauly logic should be restricted to existence of know-how 1 strategies (Ågotnes & Alechina, 2019;Naumov & Tao, 2017a;Fervari, Herzig, Li, & Wang, 2017;Naumov & Tao, 2018b, 2018c, 2018aCao & Naumov, 2020). That is, modality [C]ϕ should stand for "coalition C has a strategy, it distributively knows that it has a strategy, and it distributively knows what the strategy is".…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Intelligence in Strategic Games

Naumov

Yuan

2021

jair

Self Cite

View full text Add to dashboard Cite

If an agent, or a coalition of agents, has a strategy, knows that she has a strategy, and knows what the strategy is, then she has a know-how strategy. Several modal logics of coalition power for know-how strategies have been studied before. The contribution of the article is three-fold. First, it proposes a new class of know-how strategies that depend on the intelligence information about the opponents’ actions. Second, it shows that the coalition power modality for the proposed new class of strategies cannot be expressed through the standard know-how modality. Third, it gives a sound and complete logical system that describes the interplay between the coalition power modality with intelligence and the distributed knowledge modality in games with imperfect information.

show abstract

Section: Introductionmentioning

confidence: 72%

Section: Undefinability Through Know-howmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Intelligence in Strategic Games

Naumov

Yuan

2021

jair

Self Cite

View full text Add to dashboard Cite

show abstract

“…In the past several years, we have studied know-how strategies to maintain [31] and to achieve [32,33], with perfect [34] and bounded [35] recall, with knowledge about the opponent [36], and in the presence of the information walls [37]. We have also investigated second-order know-how strategies [38] and know-how strategies with known cost of execution [39].…”

Section: Aic's Research Agenda On Formal Reasoning In Masmentioning

confidence: 99%

From intelligent agents to trustworthy human-centred multiagent systems

Soorati

Gerding

Marchioni

et al. 2022

AIC

Self Cite

View full text Add to dashboard Cite

The Agents, Interaction and Complexity research group at the University of Southampton has a long track record of research in multiagent systems (MAS). We have made substantial scientific contributions across learning in MAS, game-theoretic techniques for coordinating agent systems, and formal methods for representation and reasoning. We highlight key results achieved by the group and elaborate on recent work and open research challenges in developing trustworthy autonomous systems and deploying human-centred AI systems that aim to support societal good.

show abstract

“…Coalition logic of know-how with individual knowledge modality is axiomatized in ( Ågotnes and Alechina 2019). Several versions of coalition know-how logics with distributed knowledge modality are described in Tao 2017, 2018c,a,b;Cao and Naumov 2020).…”

Section: Literature Reviewmentioning

confidence: 99%