Titlebook: Games, Actions, and Social Software; Multidisciplinary As Jan Eijck,Rineke Verbrugge Book 2012 Springer-Verlag Berlin Heidelberg 2012 commu

有特色

Dariusz Galasiński,Justyna Zió?kowska, as the drivers of interaction in games. Our text outlines issues, recalls recent results, and raises new open problems. Results are mainly quoted, and the emphasis is on new notions and questions. For more details on the various topics discussed, see the relevant references.

責(zé)任

Communication and Decision-makingreception of messages, e.g., being told that something is the case, and (iii) drawing new conclusions from known facts. If one represents knowledge by means of Kripke models, the implicit assumption is that drawing conclusions is immediate. This assumption of logical omniscience is a useful abstract

ELUDE

CHAFE

Repetition in Sign Language Poetry,t cooperation. I review different models of cooperation in game theory—reciprocal altruism, indirect reciprocity, cooperation about future goals, and conventions—with respect to their cognitive and communicative prerequisites. The cognitive factors considered include recognition of individuals, memo

勛章

Taking turns in two-party talk,ctive motivational attitudes in such a way that the system developer can adapt them to the circumstances, and . monitoring the changes in team attitudes during the course of cooperative problem solving (CPS)..In the first part of this chapter, the notion of . in teams of agents is investigated. Star

重畫(huà)只能放棄

https://doi.org/10.1007/978-3-642-29326-9communicative cooperation; model checking; multi-agent systems; semantics; symbolic modeling

SPER

Communication and Decision-makingtion explicit. The logic deals with three kinds of updates: announcements, changes of the world, and observations about the world in the presence of witnesses. The resulting logic is shown to be complete by means of a reduction to epistemic propositional dynamic logic by a well-known method.

defuse

過(guò)時(shí)

Small-Intestine