Knowing how to play: Uniform choices in logics of agency

Proceedings of the International Conference on Autonomous Agents

Volumn 2006, Issue , 2006, Pages 209-216

  Herzig, Andreas ^a   Troquard, Nicolas ^a,b  

^a UNIVERSITÉ PAUL SABATIER   (France)

^b UNIVERSITY OF TRENTO   (Italy)

Author keywords

Formal models of agency; Logics for agent systems; Modal logic

Indexed keywords

KNOWLEDGE ACQUISITION; MULTI AGENT SYSTEMS; PROBLEM SOLVING; SEMANTICS;

FORMAL MODELS OF AGENCY; LOGICS FOR AGENT SYSTEMS; MODAL LOGIC;

FORMAL LOGIC;

EID: 34247263906     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1160633.1160666     Document Type: Conference Paper

References (15)

1. L. Åqvist. The logic of historical necessity as founded on two-dimensional modal tense logic. Journal of Philosophical Logic, 28(4):329-369, 1999.
2. N. Belnap, M. Perloff, and M. Xu. Facing the future: agents and choices in our indeterminist world. Oxford, 2001.
3. J. Broersen, A. Herzig, and N. Troquard. From Coalition Logic to STIT. In W. van der Hoek, A. Lomuscio, E. de Vink, and M. Wooldridge, editors, Proceedings of the 3rd Int. Workshop on Logic and Communication in Multiagent Systems (LCMAS 2005), 2005. To appear in ENTCS.
4. J. Broersen, A. Herzig, and N. Troquard. Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency, 2006. Submitted.
5. V. Goranko and W. Jamroga. Comparing semantics of logics for multi-agent systems. Synthese, 139(2):241-280, 2004.
6. J. F. Horty. Agency and Deontic Logic. Oxford University Press, Oxford, 2001.
7. J. F. Horty and N. D. Belnap, Jr. The deliberative STIT: A study of action, omission, and obligation. Journal of Philosophical Logic, 24(6):583-644, 1995.
8. W. Jamroga. Some remarks on alternating temporal epistemic logic. In Proc. of the Int. Workshop on Formal Approaches to Multi-Agent Systems (FAMAS'03), 2003.
9. W. Jamroga and W. van der Hoek. Agents that know how to play. Fundamenta Informaticae, 2004.
10. W. Jamroga and T. Ågotnes. What agents can achieve under incomplete information. In Proceedings of AAMAS'06, 2006.
11. E. Pacuit, R. Parikh, and E. Cogan. The logic of knowledge based obligation, 2005. To appear in Knowledge, Rationality and Action. Early versions were presented at DALT 2004 and SEP 2004.
12. M. Pauly. Logic for Social Software. PhD thesis, University of Amsterdam, 2001. ILLC Dissertation Series 2001-10.
13. P. Y. Schobbens. Alternating-time logic with imperfect recall. Electronic Notes in Theoretical Computer Science, 85(2), 2004.
14. W. van der Hoek and M. Wooldridge. Tractable multiagent planning for epistemic goals. In AAMAS '02: Proceedings of the first international joint conference on Autonomous agents and multiagent systems, pages 1167-1174, New York, NY, USA, 2002. ACM Press.
15. S. van Otterloo and G. Jonker. On epistemic temporal strategic logic. Electronic Notes in Theoretical Computer Science, 85(2), 2004. In Proceedings of the 2nd Int. Workshop on Logic and Communication in Multiagent Systems (LCMAS 2004).