Action and agency in norm-governed multi-agent systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4995 LNAI, Issue , 2008, Pages 1-54

  Sergot, Marek ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AGENTS; FORMAL LANGUAGES; LINGUISTICS; MODEL CHECKING; TECHNICAL PRESENTATIONS;

INDIVIDUAL AGENTS; ONE WAYS; SOCIAL LAWS; STATE OF AFFAIRS; STATES AND TRANSITIONS; SYSTEM BEHAVIOURS; SYSTEM DESIGNERS; TECHNICAL DEVELOPMENTS; TRANSITION SYSTEMS;

MULTI AGENT SYSTEMS;

EID: 55249083976     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87654-0_1     Document Type: Conference Paper

References (26)

1. Craven, R., Sergot, M.: Agent strands in the action language nC+. Journal of Applied Logic 6(2), 172-191 (2008)
2. Pörn, I.: Action Theory and Social Science: Some Formal Models. In: Synthese Library, Number 120. D. Reidel, Dordrecht (1977)
3. Sergot, M.: The logic of unwitting collective agency. Technical Report 2008/6, Department of Computing, Imperial College London (2008)
4. Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence 153(1-2), 49-104 (2004)
5. Sergot, M.: (C+)++: An action language for modelling norms and institutions. Technical Report 2004/8, Department of Computing, Imperial College London (2004)
6. Sergot, M., Craven, R.: The deontic component of action language nC+. In: Goble, L., Meyer, J.J.C. (eds.) DEON 2006. LNCS (LNAI), vol. 4048, pp. 222-237. Springer, Heidelberg (2006)
7. Große, G., Khalil, H.: State Event Logic. Journal of the IGPL 4(1), 47-74 (1996)
8. Venema, Y.: Points, lines and diamonds: a two-sorted modal logic for projective planes. Journal of Logic and Computation 9(5), 601-621 (1999)
9. Sauro, L., Gerbrandy, J., van der Hoek, W., Wooldridge, M.: Reasoning about action and cooperation. In: Proceedings of the Fifth International Joint Conference on Autonomous agents and Multiagent Systems: AAMAS 2006, pp. 185-192. ACM, New York (2006)
10. von Wright, G.H.: Norm and Action - A Logical Enquiry. Routledge and Kegan Paul, London (1963)
11. Chellas, B.F.: Modal Logic - An Introduction. Cambridge University Press, Cambridge (1980)
12. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
13. Carmo, J., Jones, A.J.I.: Deontic database constraints, violation and recovery. Studia Logica 57(1), 139-165 (1996)
14. Meyden, R.: The dynamic logic of permission. Journal of Logic and Computation 6(3), 465-479 (1996)
15. Meyer, J.J.C.: A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic 29(1), 109-136 (1988)
16. Lomuscio, A., Sergot, M.J.: Deontic interpreted systems. Studia Logica 75(1), 63-92 (2003)
17. Ågotnes, T., van der Hoek, W., Rodriguez-Aguilar, J.A., Sierra, C., Wooldridge, M.: On the logic of normative systems. In: Veloso, M.M. (ed.) Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 1175-1180. AAAI Press, Menlo Park (2007)
18. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)
19. Belnap, N., Perloff, M.: Seeing to it that: a canonical form for agentives. Theoria 54, 175-199 (1988)
20. Horty, J.F., Belnap, N.: The deliberative stit: a study of action, omission, ability, and obligation. Journal of Philosophical Logic 24(6), 583-644 (1995)
21. Horty, J.F.: Agency and Deontic Logic. Oxford University Press, Oxford (2001)
22. Segerberg, K.: Getting started: Beginnings in the logic of action. Studia Logica 51(3-4), 347-378 (1992)
23. Hilpinen, R.: On action and agency. In: Ejerhed, E., Lindström, S. (eds.) Logic, Action and Cognition - Essays in Philosophical Logic. Trends in Logic, Studia Logica Library, vol. 2, pp. 3-27. Kluwer Academic Publishers, Dordrecht (1997)
24. Chellas, B.F.: The Logical Form of Imperatives. Dissertation, Stanford University (1969)
25. von Wright, G.H.: An essay in deontic logic and the general theory of action. Number 21 in Acta Philosophica Fennica (1968)
26. von Wright, G.H.: Practical Reason. Blackwell, Oxford (1983)