• LuxLogAI 2018

    Luxembourg Logic for AI Summit

    17-26 September 2018



LuxLogAI offers three tutorials during the first week of the conference, two of which that will take place as part of the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018).

Tutorial on Logic and Smart Contracts

Wednesday, September 19, 2018, Bob Kowalski (Imperial College London), Miguel Calejo (logicalcontracts.com), Fariba Sadri (Imperial College London)

The idea of using logic to improve the analysis and drafting of legal documents was advocated most notably already in the 1950s by the legal theorist Layman Allen. It was given a boost in the 1980s with the use of logic programming (LP) to implement a large portion of the British Nationality Act. Arguably, since then, LP in one form or another has been the dominant approach in the field of AI and Law.

In the meanwhile, a new, related field has emerged with the development of blockchains and smart contracts. However, the main programming languages being used in this new field, such as Solidity and Serpent, have been developed without attention to AI approaches. As a result, there is a large gap between smart contracts in these programming languages and their specifications in the natural language of the law. The resulting systems are hard to verify and difficult for non-programmers to understand.

The gap between conventional programming languages for smart contracts and logic-based languages for AI and Law has inspired several recent applications of AI approaches to the implementation of smart contracts and other legal documents. In this tutorial, we will survey these recent developments, focusing on three main examples: the simplified loan agreement developed by Flood and Goodenough, the rock, paper scissors example used in a blockchain lecture course at the University of Maryland, and the delayed delivery example of the Accord Project.

We will discuss alternative implementations of these examples, and show how they can be implemented in the logic and computer language LPS, with an open source implementation over SWISH [8], the online version of SWI Prolog. Attendees can experiment with the examples, using their own laptops or tablets during the tutorial. A brief introduction to LPS and a link to the online implementation can be found at http://lps.doc.ic.ac.uk/.

The slides are available here: lc.

Time: Wednesday, September 19, 2018, 11:00-12:30
Room: tba

Note that this tutorial is part of the RuleML+RR 2018 conference. You need to register for RuleML+RR 2018 in order to participate.

Short Summer Tutorial on Advanced Belief Change and Default Entailment

Thursday, September 20, 2018, held by Richard Booth (Cardiff), Giovanni Casini (Luxembourg), Emil Weydert (Luxembourg)

Intelligent agents have to meet many challenges. One of them is to revise their beliefs or theories in rational ways in the face of conflicting new information. Another one is to be able to draw, whenever required, plausible but potentially defeasible conclusions from incomplete, uncertain, if not inconsistent information, e.g.~expressed by default implications allowing exceptions.

Humans are rather good at handling such instances of commonsense reasoning. However, the formal modeling of belief revision and defeasible reasoning has turned out to be surprisingly difficult to achieve. Simple benchmark examples have been difficult to handle in a coherent way, and rationality principles have been hard to satisfy. The existence of different paradigms and the complexity of the real world are further challenges.

But today, around 40 years after the first seminal publications started to address these questions in a systematic way, we have gained a pretty good theoretical understanding of belief change and defeasible reasoning, including their mutual relationship. Both fields have now reached a degree of maturity where they may serve as a guide for real-world artificial intelligence.

Nevertheless, it is fair to say that even today there are still important problems without fully convincing conceptual and theoretical solutions, calling for further research. And the rise of AI with its more specific empirical demands promises to add many more. This is therefore a good moment to take stock on the theoretical-conceptual side.

See SST: ABCDE for more details on this tutorial.

Time: Thursday, September 20, 2018, 09:00-15:30
Room: tba

Note that this tutorial is a dedicated event of LuxLogAI and hence you need to register to it via EasyChair. If you already registered for RuleML+RR 2018/GCAI, you will have free access to the tutorial.

LegalRuleML Tutorial

Thursday, September 20, 2018, held by Monica Palmirani (Bologna), Guido Governatori (Data61/CSIRO)


Time: Thursday, September 20, 2018, 16:00-17:30
Room: tba

Note that this tutorial is part of the RuleML+RR 2018 conference. You need to register for RuleML+RR 2018 in order to participate.