This work contrasts Giovanni Sartor’s view of inferential semantics of legal concepts with a probabilistic model of theory formation. The work further explores possibilities of implementing Kemp’s probabilistic model of theory formation in the context of mapping legal concepts between two individual legal systems. For implementing the legal concept mapping, we propose a cross-categorization approach that combines three mathematical models: the Bayesian Model of Generalization, the probabilistic model of theory formation, i.e., the Infinite Relational Model first introduced by Kemp et (...) al. and its extended model, i.e., the normal-IRM proposed by Herlau et al.. We apply our cross-categorization approach to datasets where legal concepts related to educational systems are respectively defined by the Japanese- and the Danish authorities according to the International Standard Classification of Education. The main contribution of this work is the proposal of a conceptual framework of the cross-categorization approach that, inspired by Sartor, attempts to explain reasoner’s inferential mechanisms. (shrink)

This paper analyses and compares some of the automated reasoners that have been used in recent research for compliance checking. Although the list of the considered reasoners is not exhaustive, we believe that our analysis is representative enough to take stock of the current state of the art in the topic. We are interested here in formalizations at the _first-order_ level. Past literature on normative reasoning mostly focuses on the _propositional_ level. However, the propositional level is of little usefulness for (...) concrete LegalTech applications, in which compliance checking must be enforced on (large) sets of individuals. Furthermore, we are interested in technologies that are _freely available_ and that can be further investigated and compared by the scientific community. In other words, this paper does not consider technologies only employed in industry and/or whose source code is non-accessible. This paper formalizes a selected use case in the considered reasoners and compares the implementations, also in terms of simulations with respect to shared synthetic datasets. The comparison will highlight that lot of further research still needs to be done to integrate the benefits featured by the different reasoners into a single standardized first-order framework, suitable for LegalTech applications. All source codes are freely available at https://github.com/liviorobaldo/compliancecheckers, together with instructions to locally reproduce the simulations. (shrink)

Relationships between empirical and philosophical approaches to the law have not been always peaceful. Agreement seems the most natural way to build up and implementing regulations and justice within human-machine inter-faces (natural and artificial societies), and might help to bridge the gap between both theoretical approaches. Recent researches on relational law, relational jus-tice, crowdsourcing, regulatory systems and regulatory models are introduced. These concepts need further clarification, but they stand as political companions to more standard conceptions of law in the Semantic (...) Web. (shrink)

This article focuses on the problems of application of artificial intelligence to represent legal knowledge. The volume of legal knowledge used in practice is unusually large, and therefore the ontological knowledge representation is proposed to be used for semantic analysis, presentation and use of common vocabulary, and knowledge integration of problem domain. At the same time some features of legal knowledge representation in Ukraine have been taken into account. The software package has been developed to work with the ontology. The (...) main features of the program complex, which has a Web-based interface and supports multi-user filling of the knowledge base, have been described. The crowdsourcing method is due to be used for filling the knowledge base of legal information. The success of this method is explained by the self-organization principle of information. However, as a result of such collective work a number of errors are identified, which are distributed throughout the structure of the ontology. The results of application of this program complex are discussed in the end of the article and the ways of improvement of the considered technique are planned. (shrink)

This paper aims at providing an account of juridical acts that forms a suitable starting point for the creation of computational systems that deal with juridical acts. The paper is divided into two parts. Because juridical acts will be analyzed as intentional changes in the world of law, the ‘furniture’ of this world, that consists broadly speaking of entities, facts and rules, plays a central role in the analysis. This first part of the paper deals with this furniture and its (...) philosophical underpinnings, and at the same time introduces most of the logical apparatus that will be used to deal with it. The focus in the first part is on static and dynamic legal rules and their interplay in constituting the world of law. (shrink)