Tutorial – Automated deduction with legal texts. International Conference on Artificial Intelligence and Law 2019

Investor logo

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Law. Official publication website can be found on muni.cz.
Authors

NOVOTNÁ Tereza LIBAL Tomer STEEN Alexander

Year of publication 2019
Type Workshop
MU Faculty or unit

Faculty of Law

Citation
Attached files
Description Automated deduction is a field of research in artificial intelligence whose outputs are potentially relevant for reasoning in the legal domain; however, only few connections between the two areas have been explored so far. The present tutorial for ICAIL aims at introducing people with legal knowledge to the use of logic in the analysis of legal texts. We will be working with a system of normal bimodal logic able to represent contrary-to-duty norms; the system will be encoded in a theorem prover which can be run via a user-friendly web application; in this way, the system will be exploited to make inferences in scenarios that are supposed to be regulated by the norms of a given legal text. The tutorial is accessible to an audience without any training in formal logic; participants are only asked to bring their own computer.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.