Reasoning about constitutive norms, counts-as conditionals, institutions, deadlines and violations

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

Volumn 5357 LNAI, Issue , 2008, Pages 86-97

  Boella, Guido ^a   Broersen, Jan ^b   Van Der Torre, Leendert ^c  

^a UNIVERSITY OF TURIN   (Italy)

^b UTRECHT UNIVERSITY   (Netherlands)

^c UNIVERSITY OF LUXEMBOURG   (Luxembourg)

Author keywords

[No Author keywords available]

Indexed keywords

AGENTS; ARTIFICIAL INTELLIGENCE; EQUIVALENCE CLASSES; INTELLIGENT AGENTS; SOCIETIES AND INSTITUTIONS;

AGENT SYSTEMS; REASONING TASKS;

MULTI AGENT SYSTEMS;

EID: 58449131008     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89674-6_12     Document Type: Conference Paper

References (33)

1. Arcos, J., Esteva, M., Noriega, P., Rodriguez, J., Sierra, C: Engineering open environments with electronic institutions. Journal on Engineering Applications of Artificial Intelligence 18(2), 191-204 (2005)
2. Boella, G., van der Torre, L., Verhagen, H. (eds.): Computational and Mathematical Organization Theory. NorMAS 2005, vol. 12(2-3) (2006)
3. Boella, G., van der Torre, L., Verhagen, H. (eds.) Normative Multi-agent systems. In: Procs. of NorMAS 2007, Dagstuhl Seminar proceedings 07122 (2007)
4. Gaudou, B., Longin, D., Lorini, E., Tummolini, L.: Anchoring institutions in agents' attitudes: Towards a logical framework for autonomous multi-agent systems. In: Procs. of AAMAS 2008 (2008)
5. Grossi, D.: Pushing Anderson's envelope: The modal logic of ascription. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS, vol. 5076, pp. 263-277. Springer, Heidelberg (2008)
6. Jones, A., Sergot, M.: A formal characterisation of institutionalised power. Journal of IGPL 3, 427-443 (1996)
7. Searle, J.: Speech Acts: an Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)
8. Broersen, J., van der Torre, L.: Reasoning about norms, obligations, time and agents. In: Procs. of PRIMA 2007. LNCS. Springer, Heidelberg (to appear)
9. Broersen, J., van der Torre, L.: Conditional norms and dyadic obligations in time. In: Procs. of 18th European Conference on Artificial Intelligence (ECAI2008) (2008)
10. Makinson, D.: On a fundamental problem of deontic logic. In: McNamara, P., Prakken, H. (eds.) Norms, Logics and Information Systems. New Studies on Deontic Logic and Computer Science, pp. 29-54. IOS (1999)
11. Alchourron, C, Bulygin, E.: Normative Systems. Springer, Wien (1971)
12. Broersen, J.: Strategic deontic temporal logic as a reduction to ATL, with an application to chisholm's scenario. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS, vol. 4048, pp. 53-68. Springer, Heidelberg (2006)
13. Broersen, J., Brunei, J.: What I fail to do today, I have to do tomorrow: a logical study of the propagation of obligations. In: Procs. of CLIMA VIII. LNCS, vol. 5056, pp. 82-99. Springer, Heidelberg (2008)
14. Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: ICAIL 2005: Proceedings of the 10th international conference on Artificial intelligence and law, pp. 25-34. ACM, New York (2005)
15. Horty, J.: Agency and Deontic Logic. Oxford University Press, Oxford (2001)
16. Loewer, B.: Dyadic deontic detachment. Synthese 54, 295-318 (1983)
17. Makinson, D.: Five faces of minimality. Studia Logica 52, 339-379 (1993)
18. 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)
19. van Eck, J.: A system of temporally relative modal and deontic predicate logic and its philosophical applications. Logique et Analyse 25, 339-381 (1982)
20. Boella, G., van der Torre, L.: A game theoretic approach to contracts in multiagent systems. IEEE Transactions on Systems, Man and Cybernetics - Part C: Applications and Reviews 36(1), 68-79 (2006)
21. Ruiter, D.: A basic classification of legal institutions. Ratio Juris 10(4), 357-371 (1997)
22. Ross, A.: Tu-tu. Harvard Law Review 70(5), 812-825 (1957)
23. Anderson, A.: A reduction of deontic logic to alethic modal logic. Mind 67, 100-103 (1958)
24. Boella, G., van der Torre, L.: Substantive and procedural norms in normative multiagent systems. Journal of Applied Logic 6(2), 152-171 (2008)
25. Broersen, J.: On the logic of being motivated to achieve p, before S. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS, vol. 3229, pp. 334-346. Springer, Heidelberg (2004)
26. Makinson, D., van der Torre, L.: Input-output logics. Journal of Philosophical Logic 29(4), 383-408 (2000)
27. Makinson, D., van der Torre, L.: Constraints for input-output logics. Journal of Philosophical Logic 30(2), 155-185 (2001)
28. Chisholm, R.: Contrary-to-duty imperatives and deontic logic. Analyse 24, 33-36 (1963)
29. Forrester, J.: Gentle murder, or the adverbial Samaritan. The Journal of Philosophy 81, 193-197 (1984)
30. van Fraassen, B.: Values and the hearts command. The Journal of Philosophy (1973)
31. Hansen, J., Pigozzi, G., van der Torre, L.: Ten philosophical problems in deontic logic. In: Normative Multi-agent systems, Procs. of NorMAS 2007. Dagstuhl Seminar proceedings 07122 (2007)
32. Alur, R., Henzinger, T., Mang, F.Y.C., Qadeer, S., Rajamani, S., Tasiran, S.: Mocha: Modularity in model checking. In: Y. Vardi, M. (ed.) CAV 1998. LNCS, vol. 1427, pp. 521-525. Springer, Heidelberg (1998)
33. Artikis, A., Sergot, M., Pitt, J.: Specifying electronic societies with the causal calculator. In: Giunchiglia, E, Odell, J.J., Weiss, G. (eds.) AOSE 2002. LNCS, vol. 2585, pp. 1-15. Springer, Heidelberg (2003)