Situated legal systems and their operational semantics

Artificial Intelligence and Law 23 (1):43-102 (2015)

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 situated in agent societies. Agent societies are defined. Relevant formal properties of situated legal systems 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 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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s10506-015-9164-z
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 49,017
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Law's Empire.R. DWORKIN - 1986 - Harvard University Press.
The Concept of Law.Hla Hart - 1961 - Oxford University Press.
Syntactic Structures.J. F. Staal - 1966 - Journal of Symbolic Logic 31 (2):245-251.

View all 24 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Situated Semantics.Varol Akman - 2009 - In Murat Aydede & P. Robbins (eds.), The Cambridge Handbook of Situated Cognition. Cambridge: Cambridge University Press. pp. 401--418.
AI and Law: What About the Future? [REVIEW]Anja Oskamp, Maaike Tragter & Cees Groendijk - 1995 - Artificial Intelligence and Law 3 (3):209-215.
Algebraic Semantics for Deductive Systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.


Added to PP index

Total views
14 ( #637,371 of 2,310,934 )

Recent downloads (6 months)
1 ( #753,261 of 2,310,934 )

How can I increase my downloads?


My notes

Sign in to use this feature