An architecture of a normative system

Proceedings of the International Conference on Autonomous Agents

Volumn 2006, Issue , 2006, Pages 229-231

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

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF LUXEMBOURG   (Luxembourg)

Author keywords

Normative multi agent systems; Normative systems

Indexed keywords

COMPUTER PROGRAMMING; DATABASE SYSTEMS; FORMAL LOGIC; MULTI AGENT SYSTEMS; SOCIETIES AND INSTITUTIONS; VIRTUAL CORPORATION;

NORMATIVE MULTI-AGENT SYSTEMS; NORMATIVE SYSTEMS;

COMPUTER ARCHITECTURE;

EID: 34247222690     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1160633.1160671     Document Type: Conference Paper

References (16)

1. C. Alchourrón and E. Bulygin. Normative systems. Springer, 1971.
2. F. Arbab. Reo: A channel-based coordination model for component composition. Mathematical Structures in Computer Science, 14(3):329-366, 2004.
3. A. Artosi, A. Rotolo, and S. Vida. On the logical nature of count-as conditionals. In Procs. of LEA 2004 Workshop, 2004.
4. G. Boella and L. van der Torre. Regulative and constitutive norms in normative multiagent systems. In Procs. of KR'04, pages 255-265. AAAI Press, 2004.
5. G. Boella and L. van der Torre. A logical architecture of a normative system. In Procs. of ΔEON'06, LNAI. Springer, 2006.
6. J. Broersen, M. Dastani, and L. van der Torre. Beliefs, obligations, intension and desires as components in agent architectures. International Journal of Intelligent Systems, 20:9:893-919, 2005.
7. E. Bulygin. Permissive norms and normative systems. In A. Martino and F. S. Natali, editors, Automated Analysis of Legal Texts, pages 211-218. Publishing Company, Amsterdam, 1986.
8. M. Dastani, F. Arbab, and F. de Boer. Coordination and composition in multi-agent systems. In Procs. of AAMAS05, pages 439-446. 2005.
9. D. Grossi, F. Dignum, and J.-J. Meyer. Contextual taxonomies. In Procs. of CLIMA-V, LNAI 3487, pages 33-51. Springer, 2005.
10. A. Jones and M. Sergot. A formal characterisation of institutionalised power. Journal of IGPL, 3:427-443, 1996.
11. D. Makinson and L. van der Torre. Constraints for input-output logics. Journal of Philosophical Logic, 30:155-185, 2001.
12. D. Makinson and L. van der Torre. Permissions from an input/output perspective. Journal of Philosophical Logic, 32 (4):391-416, 2003.
13. J. Searle. Speech acts: An essay in the philosophy of language. Cambridge University, Cambridge, England, 1969.
14. J. Searle. The Construction of Social Reality. The Free Press, New York, 1995.
15. J. Treur. Semantic formalisation of interactive reasoning functionality. International Journal of Intelligent Systems, 17:645-686, 2002.
16. G. von Wright. Deontic logic. Mind, 60:1-15, 1951.