A logical architecture of a normative system

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

Volumn 4048 LNAI, Issue , 2006, Pages 24-35

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

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF LUXEMBOURG   (Luxembourg)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; CONSTRAINT THEORY; LARGE SCALE SYSTEMS;

INPUT/OUTPUT OPERATIONS; INSTITUTIONAL CONSTRAINTS; LOGICAL ARCHITECTURES;

FORMAL LOGIC;

EID: 33746346469     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11786849_5     Document Type: Conference Paper

References (22)

1. C. Alchourrón and Bulygin. Normative systems. Springer, 1972.
2. J.R. Anderson. Rules of the mind. Lawrence Ellbaum Associates, 1993.
3. A. Artosi, A. Rotolo, and S. Vida. On the logical nature of count-as conditionals. In Procs. of LEA 2004 Workshop, 2004.
4. A. Bochman. Explanatory Nonmonotonic reasoning. World Scientific, 2005.
5. G. Boella, J. Hulstijn, and L. van der Torre. Interaction in normative multi-agent systems. Electronic Notes in Theoretical Computer Science, 141(5):135-162, 2005.
6. G. Boella and L. van der Torre. Regulative and constitutive norms in normative multiagent systems. In Proceedings of the Ninth International Conference on the Principles of Knowledge Representation and Reasoning (KR'04), pages 255-265, 2004.
7. G. Boella and L. van der Torre. An architecture of a normative system (short paper). In Proceedings of AAMAS06, 2006.
8. G. Boella and L. van der Torre. A game theoretic approach to contracts in multiagent systems. IEEE Trans. SMC, Part C, 36(1):68- 79, 2006.
9. C. Boutilier. Toward a logic for qualitative decision theory. In Proceedings of KR'94, pages 75-86, 1994.
10. E. Bulygin. Permissive norms and normative systems. In Automated Analysis of Legal Texts, pages 211-218. Publishing Company, Amsterdam, 1986.
11. J. Gelati, G. Governatori, N. Rotolo, and G. Sartor. Declarative power, representation, and mandate. A formal analysis. In Procs. of JURIX 02. IOS press, 2002.
12. B. Hansson. An analysis of some deontic logics. Nôus, 3:373-398, 1969.
13. F.F. Ingrand, M.P Georgeff, and A.S. Rao. An architecture for real-time reasoning and system control. IEEE Expert, 7(6), 1992.
14. A. Jones and M. Sergot. A formal characterisation of institutionalised power. Journal of IGPL, 3:427-443, 1996.
15. J.E. Laird, A. Newell, and Paul S. Rosenbloom. SOAR: an architecture for general intelligence. Artificial Intelligence, 33:1-64, 1987.
16. M. Lankhorst et al. Enterprise Architecture At Work. Springer, 2005.
17. D. Makinson and L. van der Torre. Input-output logics. Journal of Philosophical Logic, 29:383-408, 2000.
18. D. Makinson and L. van der Torre. Constraints for input-output logics. Journal of Philosophical Logic, 30:155-185, 2001.
19. D. Makinson and L. van der Torre. Permissions from an input/output perspective. Journal of Philosophical Logic, 32 (4):391-416, 2003.
20. D. Makinson and L. van der Torre. What is input/output logic? In Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics, volume 17 of Trends in Logic. Kluwer, 2003.
21. J. R. Searle. Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, Cambridge, United Kingdom, 1969.
22. G.H. von Wright. Deontic logic. Mind, 60:1-15, 1951.