Situated legal systems and their operational semantics
详细信息 查看全文
- 作者：Ant?nio Carlos da Rocha Costa
- 关键词：Situated legal systems ; Kelsen’s theory of legal systems ; Agent societies ; Operational semantics of situated legal systems ; Formal analysis of the Kelsen ; Dworkin ; Hart ; Raz debate
- 刊名：Artificial Intelligence and Law
- 出版年：2015
- 出版时间：March 2015
- 年：2015
- 卷：23
- 期：1
- 页码：43-102
- 全文大小：1,756 KB
- 参考文献：1. Alchourrón, CE (1969) Logic of norms and logic of normative propositions. Log Anal 12: pp. 242-268
2. Alchourrón, CE, Bulygin, E (1971) Normative systems. Springer, Berlin
3. Austin, J (1995) The province of jurisprudence determined. Cambridge University Press, Cambridge
4. Bentham, J (1970) The limits of jursiprudence defined. Greenwood Publishing Group, Westport
5. Bentham, J (1970) Of laws in general. Athlone Press, London
6. Boella, G, Torre, L, Verhagen, H (2006) Introduction to normative multiagent systems. Comput Math Organ Theory 12: pp. 71-79 CrossRef
7. Burrell, G, Morgan, G (1979) Sociological paradigms and organisational analysis: elements of the sociology of corporate life. Ashgate Publishing, Surrey
8. Chomsky, N (2002) Syntatic structures. De Gruyter Mouton, Berlin
9. Costa ACR (2014a) Proposal for a notion of modularity in multiagent systems. In: Birna van Riemskijk ?M, Dalpiaz F, Dix J (eds) Informal proceedings?of EMAS 2014. AAMAS@Paris
10. Costa ACR (2014b) On the legal aspects of agent societies. Open publication on?www.ResearchGate.net. doi:10.13140/2.1.4345.7923
11. Costa ACR (2014c) On the bases of an architectural style for agent societies:?concept and core operational structure. Open publication on www.ResearchGate.net.?doi:10.13140/2.1.4583.8720
12. Costa ACR (2014d) Toward a formal reconstruction of Kelsen’s theory of legal?systems. In: WEIT 2013 - 2nd workshop-school on theoretical computer science, IEEE, New?York
13. Costa ACR, Dimuro GP (2009) A minimal dynamical organization?model. In: Dignum V (ed) Hanbook of multi-agent systems: semantics and?dynamics of organizational models. IGI Global, pp 419-45
14. Costa ACR, Santos IAS (2012) Toward a framework for?simulating agent-based models of public policy processes on the Jason-CArtAgO platform.?In: AMPLE@ECAI 2012 - 2nd international workshop on agent-based modeling for policy?engineering. ECAI, Montpellier
15. Costa ACR, Hübner JF, Bordini RH (1994) On entering?an open society. In: Proceedings of the XI Brazilian symposium on artificial intelligence. Sociedade Brasileira de Computa??o, Fortaleza, pp 535-46
16. Davis, KC (1976) Discretionary justice: a preliminary inquiry. University of Illinois Press, Champaign
17. Demazeau Y, Costa ACR (1996) Populations and organizations in open?multi-agent systems. In: 1st national symposium on parallel and distributed artificial?intelligence (PDAI-6). Hyderabad, India
18. Dworkin, R (1977) Taking rights seriously. Harvard University Press, Cambridge
19. Dworkin, R (1985) A matter of principle. Harvard University Press, Cambridge
20. Dworkin, R (1986) Law’s empire. Harvard University Press, Cambridge
21. Fernández, M (2014) Programming languages and operational semantics: a concise overview. Springer, Berlin
22. Fox MS (1979) Organization structuring: designing large complex software. Technical report, Carnegie-Mellon University (Technical Report CMU-CS-79-155), Pittsburgh
23. Gilbert, N, Troitzsch, K (2005) Simulation for the social scientist. Open University Press, London
24. Governatori, G, Rotolo, A (2008) A computational framework for institutional agency. AI Law 16: pp. 25-52
25. Governatori, G, Rotolo, A (2010) Changing legal systems: legal abrogations and annulments in Defeasible Logic. J IGPL 18: pp. 157-194 CrossRef
26. Governatori G, Sartor G (eds) (2011) Special issue: deontic logic and normative systems. AI Law 19(2-)
27. Grossi, D, Rotolo, A Logic in the law: a concise overview. In: Gupta, A, Benthem, J eds. (2011) Logic and philosophy today. College Publications, London, pp. 251-274
28. Hart, HLA (1958) Positivism and the separation of law and morals. Harv Law Rev 71: pp. 593-629 CrossRef
29. Hart HLA (1962-963) Kelsen visited. UCLA Law Rev 10:709-28
30. Hart, HLA (2012) The concept of law. Oxford University Press, Oxford
31. Hoare, CAR (1985) Communicating sequential processes. Prentice-Hall, Englewood Cliffs
32. Hood, C (1983) The tools of government. Macmillan, London
33. Hübner, JF, Boissier, O, Kitio, R, Ricci, A (2010) Instrumenting multi-agent organisations with organisational artifacts and agents: giving the organisational power back to the agents. J Auton Agents Multi-Agent Syst 20: pp. 369-400 of Computing
Philosophy of Law
Computational Linguistics
Air and Space Law - 出版者：Springer Netherlands
- ISSN：1572-8382
文摘
This work adopts H. Kelsen’s concept of legal system, proposes a formal definition for such notion, and introduces an operational semantical framework for legal systems that are (structurally and operationally) situated in agent societies. Agent societies are defined. Relevant formal properties of situated legal systems (action-based dynamics; orthogonality between the operational semantics and the processes of legal reasoning and decision-making; validity of norms; and completeness) are discussed; the way they are exposed in the operational semantical framework is explained, and their truth formally proved. Also, for the sake of a better understanding of the legal-theoretic assumptions of the paper, recurring issues regarding Kelsen’s theory of law (namely, his “positivism- the attribution of a plain deductive nature to legal reasoning and decision-making, and the notions of basic norm, authorization, and discretion) are briefly reviewed. They are put in confrontation with the points of view of R. Dworkin, H. Hart, and J. Raz, and an attempt is made to clarify them from the perspective of the provided formalization. A brief case study in agent-based modeling and simulation of public policy processes is presented, as an illustration of the way of using situated legal systems, and the proposed operational semantical framework, in a practical application.