Towards an ontology of agency and action from STIT to OntoSTIT+

Frontiers in Artificial Intelligence and Applications

Volumn 150, Issue , 2006, Pages 179-190

  Troquard, Nicolas ^a,b,c   Trypuz, Robert ^b,c   Vieu, Laure ^a,b  

^a UNIVERSITÉ PAUL SABATIER   (France)

^b CNR   (Italy)

^c UNIVERSITY OF TRENTO   (Italy)

Author keywords

Action; Agency; Logic of agency; Ontology of action; STIT

Indexed keywords

EID: 84876769227     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (17)

1. N. Troquard and L. Vieu. Towards a logic of agency and actions with duration. In ECAI06, 2006.
2. J. F. Horty. Agency and Deontic Logic. Oxford University Press, 2001.
3. N. Belnap, M. Perloff, and M. Xu. Facing the future: Agents and choices in our indeterminist world. Oxford University Press, 2001.
4. J. Broersen, A. Herzig, and N. Troquard. From Coalition Logic to STIT. In Wiebe van der Hoek, Alessio Lomuscio, Erik de Vink, and Mike Wooldridge, editors, Third International Workshop on Logic and Communication in Multi-Agent Systems (LCMAS 2005), volume 157(4) of Electronic Notes in Theoretical Computer Science, pp 23-35. Elsevier, 2006.
5. J. Broersen, A. Herzig, and N. Troquard. Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency, 2006. Submitted.
6. E. M. Clarke and E. A. Emerson. Synthesis of synchronization skeletons for branching time temporal logic. Logics of Programs Workshop, volume131 of Lecture Notes in Computer Science, pages 52-71. Springer Verlag, 1981.
7. R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time Temporal Logic. In Proceedings of the 38th Symposium on Foundations of Computer Science, pp. 100-109. IEEE Computer Society Press, 1997.
8. M. Pauly. A modal logic for coalitional power in games. Journal of Logic and Computation, 12(1): 149-166, 2002.
9. V. Goranko. Coalition games and alternating temporal logics. In Proceedings of the 8th conference on Theoretical Aspects of Rationality and Knowledge, pages 259-272. Morgan Kaufmann, 2001.
10. D. Davidson. Essays on Actions and Events. Clarendon Press, Oxford, 1991.
11. A. Goldman. A Theory of Human Action. Prentice-Hall, Englewood Cliffs, N. J., 1970.
12. J. J. Thomson. Acts and Other Events. Cornell University Press, Ithaca, N.Y., 1977.
13. M. Manzano. Extentions of First Order Logic. Cambridge University Press, 1996.
14. H. J. Ohlbach. Combining Hilbert style and semantic reasoning in a resolution framework. CADE-15, LNAI 1421, pages 205-219, 1998.
15. J. R. Searle. Rationality in Action. MIT Press, Cambridge Mass., 2001.
16. P. M. Pietroski. Causing Actions. Oxford University Press, 2000.
17. T. Müller. On the formal structure of continuous on the formal structure of continuous action. Advances in Modal Logic, 5:191-209, 2005.