Tutorial – Automated deduction with legal texts. International Conference on Artificial Intelligence and Law 2019
| Authors | |
|---|---|
| Year of publication | 2019 |
| Type | Workshop |
| MU Faculty or unit | |
| 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: |