9 found
Order:
  1.  50
    Constructive knowledge: what agents can achieve under imperfect information.Wojciech Jamroga & Thomas Ågotnes - 2007 - Journal of Applied Non-Classical Logics 17 (4):423-475.
    We propose a non-standard interpretation of Alternating-time Temporal Logic with imperfect information, for which no commonly accepted semantics has been proposed yet. Rather than changing the semantic structures, we generalize the usual interpretation of formulae in single states to sets of states. We also propose a new epistemic operator for ?practical? or ?constructive? knowledge, and we show that the new logic (which we call Constructive Strategic Logic) is strictly more expressive than most existing solutions, while it retains the same model (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  2. Towards a theory of intention revision.Wiebe van der Hoek, Wojciech Jamroga & Michael Wooldridge - 2007 - Synthese 155 (2):265-290.
    Although the change of beliefs in the face of new information has been widely studied with some success, the revision of other mental states has received little attention from the theoretical perspective. In particular, intentions are widely recognised as being a key attitude for rational agents, and while several formal theories of intention have been proposed in the literature, the logic of intention revision has been hardly considered. There are several reasons for this: perhaps most importantly, intentions are very closely (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  3. Comparing semantics of logics for multi-agent systems.Valentin Goranko & Wojciech Jamroga - 2004 - Synthese 139 (2):241 - 280.
    We draw parallels between several closely related logics that combine — in different proportions — elements of game theory, computation tree logics, and epistemic logics to reason about agents and their abilities. These are: the coalition game logics CL and ECL introduced by Pauly 2000, the alternating-time temporal logic ATL developed by Alur, Henzinger and Kupferman between 1997 and 2002, and the alternating-time temporal epistemic logic ATEL by van der Hoek and Wooldridge (2002). In particular, we establish some subsumption and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  4.  35
    Towards a theory of intention revision.Wiebe van Der Hoek, Wojciech Jamroga & Michael Wooldridge - 2007 - Synthese 155 (2):265-290.
    Although the change of beliefs in the face of new information has been widely studied with some success, the revision of other mental states has received little attention from the theoretical perspective. In particular, intentions are widely recognised as being a key attitude for rational agents, and while several formal theories of intention have been proposed in the literature, the logic of intention revision has been hardly considered. There are several reasons for this: perhaps most importantly, intentions are very closely (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  5.  9
    Approximate verification of strategic abilities under imperfect information.Wojciech Jamroga, Michał Knapik, Damian Kurpiewski & Łukasz Mikulski - 2019 - Artificial Intelligence 277 (C):103172.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  12
    Natural strategic ability.Wojciech Jamroga, Vadim Malvone & Aniello Murano - 2019 - Artificial Intelligence 277 (C):103170.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Strategic commitment and release in logics for multi-agent systems.Thomas Ågotnes, Valentin Goranko & Wojciech Jamroga - manuscript
    In this paper we analyze how the semantics of the Alternating-time Temporal Logic ATL$^*$ deals with agents' commitments to strategies in the process of formula evaluation. In (\acro{atl}$^*$), one can express statements about the strategic ability of an agent (or a coalition of agents) to achieve a goal $\phi$ such as: ``agent $i$ can choose a strategy such that, if $i$ follows this strategy then, no matter what other agents do, $\phi$ will always be true''. However, strategies in \acro{atl} are (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  25
    Foreword to Special issue on Logics for Multi-agent Systems.Valentin Goranko & Wojciech Jamroga - 2011 - Journal of Applied Non-Classical Logics 21 (1):7-8.
  9.  9
    Foreword.Wojciech Jamroga & Valentin Goranko - 2011 - Journal of Applied Non-Classical Logics 21 (1):7-8.
    This is an editorial foreword to the JANCL special issue on Logics for Multi-agent Systems.
    Direct download  
     
    Export citation  
     
    Bookmark