previous day
next day
all days

View: session overviewtalk overviewside by side with other conferences

10:20-10:30 Session 24: FNR Address

Presentation by Mrs Florencia Balbastro (FNR)

Location: MSA 3.510
10:30-11:00Coffee Break
11:00-12:30 Session 25D: Tutorial: Logic and Smart Contracts

Bob Kowalski (Imperial College London), Miguel Calejo (, Fariba Sadri (Imperial College London)

See the LuxLogAI web page for details.

Slides available here.

Location: MSA 3.520
12:30-14:00Lunch Break
14:00-15:00 Session 26B: Invited talk (joint with GCAI)
Location: MSA 3.520
Vadalog: A Language and System for Knowledge Graphs
15:00-15:30 Session 27B: Industry Track I
Location: MSA 3.520
The challenges faced by the industry in working with rules and the challenges faced by universities in working with the industry

ABSTRACT. This industry track invites you to discuss the interaction between researchers, industry, AI and rules. We see that industry often need more simple solutions than offered by researchers but they need to be full proofed and that is much harder to achieve than a first prototype. But some processes in the industry are too difficult for people. People need to guess or 'don’t know': in those cases even very small improvements that increase forecasts from random (50%) to anything above 50% may already be a huge time and money saver for the industry. Researchers are often after bigger improvements. To apply a technology one needs common sense, domain expertise and a deep understanding of its working (benefits and limitations). When we talk about AI (the technology is an algorithm) and todays hype market, we expect to see many failures due to a lack of this insight. There is a challenge for researchers in the ruleML community to make sure people understand how AI works.

15:30-16:00Coffee Break
15:45-17:00 Session 28: Industry Track II
Location: MSA 3.520
Automating the transition from tax law to automatic decision making

ABSTRACT. An example of a simple solutions that need to be full proofed is the rule language that is developed by the Dutch tax administration to express the rules for the income tax calcultation. Lawyers are being used to unconstrained natural and programmers are used to a procedural rule language. To process to get from one to the other was long and error prone. A new declarative language is replacing that process and allows the customer to gradually modernize their legacy calculation engines. This case shows again that the development of the rule language is just a very small thing in all steps for an organization to accept a new way of working.

A rule language for business people to configure their policy and support decision making

ABSTRACT. An example of a simple solutions that need to be full proofed is the rule language that is developed by Isis Paparus to configure the workflow in their document management software. The business user defines general constraints in a controlled natural lanugage, such as "a customer must have an account manager" and "a claim must be assessed" to guide the workflow. The process of defining the language, limit the scope and supporting it in the user interface and training the customers shows the complexity of bringing a first prototype to production. Isis Papyrus also uses reinformcement learning to teach the software and the user what 'the next best step' in the process is based on past performance. This simple solution already works for years and is very popular.

Closing discussion

ABSTRACT. Being a professional in IT, authority in business rules and specialist in artificial intelligence,  I have seen many initiatives in the industry to create  decision support systems and rule languages. Unfortunately many of them failed. This is not because the technology failed, but because there need to be many other business factors pointing in the right direction for a change initiative to succeed. We will discuss what research is needed to increase the succes factor of rule languages.

18:00-20:00 Artificial Intelligence: Truth or Dare (Open round-table discussion)

The round table debate is part of the Luxembourg Logic in Artificial Intelligence Summit (LuxLogAI 2018). The purpose of the discussion is to identify key directions in the development of Artificial Intelligence to gain competitive advantage for Europe and Luxembourg in particular, and to figure out the critical transformations in our society as a consequence of the technological progress. See the LuxLogAI web pages for more information.

Important: Note that an extra registration is required. Click here to register for the event (redirects you to Eventbrite).
Participants are hereby informed that they are likely to appear on photographs taken at the event. These are intended to be published in University of Luxembourg print and/or digital/social media. If you do not wish to be photographed, please alert the organisers and the photographer.