Normative Systems in Computer Science Ten Guidelines for Normative Multiagent Systems

Dagstuhl Seminar Proceedings

Volumn 9121, Issue , 2009, Pages

  Boella, Guido ^a,b   Pigozzi, Gabriella ^b   Van Der Torre, Leendert ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF LUXEMBOURG   (Luxembourg)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; GAME THEORY; MACHINE DESIGN; PHILOSOPHICAL ASPECTS;

COGNITIVE COMPUTERS; DEONTIC; DESIGN DEFINITION; DISTRIBUTED AUTONOMOUS SYSTEMS; GAME-THEORETIC; MECHANISM DESIGN; NORMATIVE MULTIAGENT SYSTEMS; NORMATIVE SYSTEM; RUNTIMES; SOFT CONSTRAINT;

MULTI AGENT SYSTEMS;

EID: 85174620445     PISSN: 18624405     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (46)

1. C. Alchourrón and E. Bulygin. Normative Systems. Springer, Wien, 1971.
2. C. Alchourrón, P. Gärdenfors, and D. Makinson. On the logic of theory change. Journal of Symbolic Logic, 50(2):510-530, 1985.
3. A. Anderson. A reduction of deontic logic to alethic modal logic. Mind, 67:100-103, 1958.
4. M. Anderson and S. Leigh Anderson. Machine ethics: Creating an ethical intelligent agent. AI Magazine, 28(4):15-26, 2007.
5. G. Boella, J. Broersen, and L. van der Torre. Reasoning about constitutive norms, counts-as conditionals, institutions, deadlines and violations. In Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings, volume 5357 of Lecture Notes in Computer Science, pages 86-97. Springer, 2008.
6. G. Boella and L. van der Torre. The ontological properties of social roles in multiagent systems: Definitional dependence, powers and roles playing roles. Artificial Intelligence and Law Journal (AILaw), 2007.
7. G. Boella and L. van der Torre. Substantive and procedural norms in normative multiagent systems. Journal of Applied Logic, 6(2):152-171, 2008.
8. G. Boella, L. van der Torre, and H. Verhagen. Introduction to normative multiagent systems. Computation and Mathematical Organizational Theory, special issue on normative multiagent systems, 12(2-3):71-79, 2006.
9. G. Boella, L. van der Torre, and H. Verhagen. Normative multi-agent systems. In Internationales Begegnungs und Porschungszentrum fur Informatik (IBFI), 2007.
10. G. Boella, H. Verhagen, and L. van der Torre. Introduction to the special issue on normative multiagent systems. Journal of Autonomous Agents and Multi Agent Systems, 17(1):1-10, 2008.
11. M.E. Bratman. Intentions, plans, and practical reason. Harvard University Press, Harvard (Massachusetts), 1987.
12. J. Broersen and L. van der Torre. Reasoning about norms, obligations, time and agents. In Intelligent Agents and Multi-Agent Systems, 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Proceedings, Lecture Notes in Computer Science. Springer, 2007.
13. E. Bulygin. Permissive norms and normative systems. In A. Martino and F. Socci Natali, editors, Automated Analysis of Legal Texts, pages 211-218. Publishing Company, Amsterdam, 1986.
14. C. Castelfranchi. Modeling social action for AI agents. Artificial Intelligence, 103(1-2):157-182, 1998.
15. C. Castelfranchi. The micro-macro constitution of power. Protosociology, 18:208-269, 2003.
16. R.M. Chisholm. Contrary-to-duty imperatives and deontic logic. Analysis, 24:33-36, 1963.
17. R. Conte, C. Castelfranchi, and F. Dignum. Autonomous norm-acceptance. In Intelligent Agents V (ATAL98), LNAI 1555, pages 319-333. Springer, 1999.
18. A. Giddens. The Constitution of Society. University of California Press, 1984.
19. P. J. Gmytrasiewicz and E. H. Durfee. Formalization of recursive modeling. In Procs. of ICMAS'95, pages 125-132, Cambridge (MA), 1995. AAAI/MIT Press.
20. U. Gneezy and A. Rustichini. A fine is a price. The Journal of Legal Studies, 29(1):1-18, 2000.
21. L. Goble and J.J. Ch. Meyer, editors. Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings, volume 4048 of Lecture Notes in Computer Science. Springer, 2006.
22. L. Goble and J.J. Ch. Meyer. Revised versions of papers presented in the proceeding of the eighth international workshop on deontic logic in computer science (DEON06). Journal of Applied Logic, 6(2), 2008.
23. E. Goffman. The Presentation of Self in Everyday Life. Doubleday, 1959.
24. D. Grossi, J.-J.Ch. Meyer, and F. Dignum. Counts-as: Classification or constitution? an answer using modal logic. In Procs. of Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, (ΔEON'06), volume 4048 of LNCS, pages 115-130, Berlin, 2006. Springer.
25. J. Hansen. Imperatives and Deontic Logic. PhD thesis, University of Leipzig, 2008.
26. J. Hansen, G. Pigozzi, and L. van der Torre. Ten philosophical problems in deontic logic. In G. Boella, L. van der Torre, and H. Verhagen, editors, Normative Multiagent Systems, volume 07122 of Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2007.
27. B. Hansson. An analysis of some deontic logics. Noûs, 3:373-398, 1969.
28. M. Hollis. Trust within reason. Cambridge University Press, Cambridge, 1998.
29. Steven D. Levitt and Stephen J. Dubner. Freakonomics: A Rogue Economist Explores the Hidden Side of Everything. William Morrow, New York, May 2005.
30. D. Lewis. A problem about permission. In E. Saarinen, editor, Essays in Honour of Jaakko Hintikka, pages 163-175. D. Reidel, Dordrecht, 1979.
31. A. Lomuscio and D. Nute, editors. Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings, volume 3065 of Lecture Notes in Computer Science. Springer, 2004.
32. A. Lomuscio and D. Nute. Revised versions of papers presented in the proceeding of the seventh international workshop on deontic logic in computer science (DEON04). Journal of Applied Logic, 3(3-4), 2005.
33. M. Luck, P. McBurney, and C. Preist. Agent Technology: Enabling Next Generation Computing (A Roadmap for Agent Based Computing). AgentLink, 2003.
34. D. Makinson and L. van der Torre. Input-output logics. Journal of Philosophical Logic, 29(4):383-408, 2000.
35. Merriam-Webster. Online dictionary http://www.merriam-webster.com/.Merriam-Webster.
36. J.-J. Meyer and R. Wieringa. Deontic Logic in Computer Science: Normative System Specification. John Wiley & Sons, Chichester, England, 1993.
37. A. Newell. The knowledge level. Artificial Intelligence, 18:87-127, 1982.
38. A. Ross. Imperatives and logic. Theoria, 7:53-71, 1941. Reprinted in Philosophy of Science 11:30-46, 1944.
39. D.W.P. Ruiter. A basic classification of legal institutions. Ratio Juris, 10(4):357-371, 1997.
40. J.R. Searle. The Construction of Social Reality. The Free Press, New York, 1995.
41. Y. Shoham and M. Tennenholtz. On social laws for artificial agent societies: Offline design. Artificial Intelligence, 73(1-2):231-252, 1995.
42. A. Strauss. Negotiations: Varieties, Contexts, Processes and Social Order. San Francisco, Jossey-Bass, 1978.
43. R. van der Meyden and L. van der Torre, editors. Deontic Logic in Computer Science, 9th International Conference on Deontic Logic in Computer Science, DEON 2008, Luxembourg, July 16-18, 2008, Proceedings, LNCS, Berlin, in press. Springer.
44. L. van der Torre and Y. Tan. Diagnosis and decision making in normative reasoning. Artificial Intelligence and Law, 7(1):51-67, 1999.
45. G. H. von Wright. Deontic logic. Mind, 60:1-15, 1951.
46. M. J. Wooldridge and N. R. Jennings. Intelligent agents: Theory and practice. Knowledge Engineering Review, 10(2):115-152, 1995.