.. more to follow soon!
- Abdelraouf Hecham, Pierre Bisquert and Madalina Croitoru. On the Chase for All Provenance Paths With Existential Rules
- Christian Meilicke, Daniel Ruffinelli, Andreas Nolle, Heiko Paulheim and Heiner Stuckenschmidt. Fast ABox Consistency Checking using Incomplete Reasoning and Caching
- Daniela Briola and Viviana Mascardi. Can My Test Case Run on Your Test Plant? A Logic-Based Compliance Check and its Evaluation on Real Data
- Enrique Matos Alfonso and Giorgos Stamou. Rewriting Queries with Negated Atoms
- Gines Moreno and José Antonio Riaza Valverde. An Online Tool for Tuning Fuzzy Logic Programs
- Domenico Cantone, Marianna Nicolosi-Asmundo and Daniele Francesco Santamaria. A set-theoretic approach to ABox reasoning services
- Rafael Peñaloza. Inconsistency-tolerant Instance Checking in Tractable Description Logics
- Sebastian Binnewies, Zhiqiang Zhuang and Kewen Wang. Three Methods for Revising Hybrid Knowledge Bases
- Daniel Gall and Thom Fruehwirth. A Decidable Confluence Test for Cognitive Models in ACT-R
- Sergey Paramonov, Daria Stepanova and Pauli Miettinen. Hybrid ASP-based Approach to Pattern Mining
- Doerthe Arndt, Ben De Meester, Anastasia Dimou, Ruben Verborgh and Erik Mannens. Using Rule Based Reasoning for RDF Validation
- Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi and Maurizio Proietti. Verifying Controllability of Time-Aware Business Processes
- Diego Calvanese, Marlon Dumas, Fabrizio Maria Maggi and Marco Montali. Semantic DMN: Formalizing Decision Models with Domain Knowledge
- Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi and Riccardo Zese. Dischargeable Obligations in Abductive Logic Programming
- Dimitra Zografistou. ArgQL: A Declarative Language for Querying Argumentative Dialogues
Keynotes and speeches
|Bob Kowalski (Imperial College London)|
Logic and AI – The Last 50 Years
Fifty years ago in 1967, the research community working in Logic and AI was tiny. Everyone knew everyone else, and most communication between researchers was by word of mouth or correspondence. If you didn’t work in Stanford, MIT, Carnegie Mellon or Edinburgh, you were seriously disadvantaged.In 1967, Pat Hayes and I started our PhDs in Edinburgh. Bernard Meltzer was our Ph.D. supervisor, and John Alan Robinson, who developed resolution logic, was in Edinburgh on sabbatical. Bernard started the Journal of Artificial Intelligence in 1970, and co-edited the influential series of Machine Intelligence Workshop Proceedings with Donald Michie. The workshops attracted a wide range of researchers, mainly from the UK and USA, including Cordell Green and John McCarthy from Stanford. There was much excitement about Cordell’s application of resolution to a wide range of AI applications.The high hopes for resolution logic were challenged by researchers, including Marvin Minsky, Carl Hewitt, Gerald Sussman and Terry Winograd, at MIT. The resulting intellectual skirmishes between advocates of logical and procedural approaches to knowledge representation led to the development of logic programming and Prolog in 1972. My contributions to this development were greatly assisted by visits to Alain Colmerauer in Marseille.Over the subsequent years, we have seen the Fifth Generation Project with its focus on the application of logic programming to AI applications, the rise of the internet, and now big data and deep learning. But the fundamental challenge to Computer Science of the relationship between declarative (logical) and imperative (procedural) representations is still unresolved.Motivated by this challenge, Fariba Sadri and I are developing LPS (Logic-based Production System), as an imperative language with a logical interpretation. Programs include logic programs, interpreted as beliefs, and a logical reconstruction of production rules, interpreted as goals. Computation executes actions, to satisfy a global imperative of making the goals true in a model of the world determined by the beliefs. There is an online prototype of LPS, developed in the CLOUT (Computational Logic for Use in Teaching) project, to teach logic and computing to children.
|Stephen Muggleton, Imperial College London|
Meta-Interpretive Learning: Achievements and Challenges
Meta-Interpretive Learning (MIL) is a recent Inductive Logic Programming technique aimed at supporting learning of recursive definitions. A powerful and novel aspect of MIL is that when learning a predicate definition it automatically introduces sub-definitions, allowing decomposition into a hierarchy of reuseable parts. MIL is based on an adapted version of a Prolog meta-interpreter. Normally such a meta-interpreter derives a proof by repeatedly fetching first-order Prolog clauses whose heads unify with a given goal. By contrast, a meta-interpretive learner additionally fetches higher-order meta-rules whose heads unify with the goal, and saves the resulting meta-substitutions to form a program. This talk will overview theoretical and implementational advances in this new area including the ability to learn Turing computabale functions within a constrained subset of logic programs, the use of probabilistic representations within Bayesian meta-interpretive and techniques for minimising the number of meta-rules employed. The talk will also summarise applications of MIL including the learning of regular and context-free grammars, learning from visual representions with repeated patterns, learning string transformations for spreadsheet applications, learning and optimising recursive robot strategies and learning tactics for proving correctness of programs. The talk will conclude by pointing to the many challenges which remain to be addressed within this new area.
|Jordi Cabot (IN3-UOC, Barcelona)|
The Secret Life of Rules in Software Engineering (sponsored by EurAI)
Explicit definition and management of rules is largely ignored in most software development projects. While the most “popular” software modeling language (UML) enjoys some measure of success in real-world software projects, its companion, the Object Constraint Language (the OMG standard to complement UML models with textual constraints and derivation rules) is largely ignored. As a result, rules live hidden in the code, implemented in an ad-hoc manner.This somehow worked when data was mostly stored in relational databases and DBAs could at least enforce some checks on that data. But now, data lives in the open (e.g., data as a service, big data), accessible in a variety of formats (NoSQL, APIs, CSVs,…). This evolution facilitates the consumption and production of data but puts at risk any piece of software accessing it, at least in case no proper knowledge of the structure, quality and content of that data is available. And with the emergence of open data, it’s not only the software who accesses the data but people as well.In this talk, I will argue that rules must become first-class citizens in any software development project and describe our initiatives in discovering, representing and enforcing rules on (open and/or semi-structured) data.
|Elena Baralis (Politecnico di Torino)|
Opening the Black Box: Deriving Rules from Data
A huge amount of data is currently being made available for exploration and analysis in many application domains. Patterns and models are extracted from data to describe their characteristics and predict variable values. Unfortunately, many high quality models are characterized by being hardly interpretable. Rules mined from data may provide easily interpretable knowledge, both for exploration and classification (or prediction) purposes. In this talk I will introduce different types of rules (e.g., several variations on association rules, classification rules) and will discuss their capability of describing phenomena and highlighting interesting correlations in data.
|Jean-Francois Puget (IBM)|
Machine Learning and Decision Optimization
Many technologies can be used to help or automate decision making. Business rules and decision management is a prominent category, but there are others, including machine learning and optimization. While seemingly unrelated, machine learning, decision optimization, and business rules can be used in combination to provide unprecedented accuracy in decision making. We will discuss several compelling examples of such combination used in various industries in the first part of this talk.
Then, we will review machine learning and decision optimization in more details. Both are based on mathematical optimization algorithms: a business problem is cast into an optimization problem. However, the problem to be optimized is very different. For machine learning, the problem is to minimize the difference between predictions and observed target values. For decision optimization, the problem is to minimize some operations cost. We will also show how data scientists approach machine learning and decision optimization in practice via the use of declarative modeling tools.
Decision Modeling with DMN and OpenRules (1h45m)
|This tutorial with introduce major business decision modeling concepts in the Decision Model and Notation (DMN) standard – see http://www.omg.org/spec/DMN/Current/. We will demonstrate the practical use of DMN by implementing various decision models using an popular open source Business Rules and Decision Management system “OpenRules” (http://openrules.com). We will start with creation and testing of a simple decision model oriented to business people only. Then we will explain how the tested decision models can be integrate with IT systems. Then we will develop several more complex enough decision models demonstrating the power and applicability of different decision modeling constructs. We will end up with development of custom decisioning constructs that go beyond the DMN standard but support real-world decision modeling needs. All demonstrated decision models will be actually executed and analyzed with the audience during the presentation.|
How to do it with LPS (Logic-Based Production System) (3h)
Robert Kowalski, Fariba Sadri, Miguel Calejo
|CLOUT is an open-source, web-based prototype of the computer language LPS (Logic-based Production System), implemented in SWISH. LPS includes both logic programming, which underpins the computer language Prolog, and a logical reconstruction of production systems, which are, arguably, the most popular computational model of human thinking. LPS fills the gap between imperative and logical languages, by viewing computation as generating state-transforming actions, to make goals, represented in logical form, true. This combination of logic and change of state makes LPS not only a programming, database, and AI knowledge representation and problem-solving language, but also a scaled-down model of human thinking. The tutorial will present LPS by means of the web-based implementation, CLOUT, using such examples from programming, databases and AI, as sorting, dining philosophers, bank account maintenance, map colouring, the blocks world, and the prisoner’s dilemma. It will demonstrate the relationship between LPS and such other approaches to computing as production systems, reactive systems, abstract state machines and BDI agent languages. Moreover, it will show the close relationship between LPS, MetaTem, Transaction Logic and Abductive Logic Programming (ALP).|
Semantic Event Reasoning and Rule-based Complex Event Processing (3h)
Danh Le Phuoc, Adrian Paschke, Minh Dao-Tran, Marcin Wylot
|This tutorial provides a comprehensive view on the recent research in the area of dynamic stream reasoning and semantic complex event processing. We cover a range from the basic concepts to the advanced techniques of the semantic stream data processing. We also go beyond the simple stream data processing aspects towards reasoning and complex event processing on streams of semantic data. The tutorial consists of two main parts: we will first introduce the basic architectures, data storage models and query processing strategies. The second part covers advanced topics like complex event processing and semantic reasoning over dynamic data. Both parts end with wrap-ups and open discussions on the emerging research problems in the field.|
Logic-based Rule Learning for the Web of Data (1h45m)
Francesca A. Lisi
|The tutorial introduces to Inductive Logic Programming (ILP), being it a major logic-based approach to rule learning, and surveys extensions and applications of ILP to the Web of Data.|
Rulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning (3h30m)
Benjamin Grosof, Michael Kifer, Paul Fodor
|In this half-day tutorial, we cover the fundamental concepts, key technologies, emerging applications, recent progress, and outstanding research issues in the area of Rulelog, a leading approach to fully semantic rule-based knowledge representation and reasoning (KRR). Rulelog matches well many of the requirements of cognitive computing. It combines deep logical/probabilistic reasoning tightly with natural language processing (NLP), and complements machine learning (ML). Rulelog interoperates and composes well with graph databases, relational databases, spreadsheets, XML, and expressively simpler rule/ontology systems – and can orchestrate overall hybrid KRR. Developed mainly since 2005, Rulelog is much more expressively powerful than the previous state-of-the-art practical KRR approaches, yet is computationally affordable. It is fully semantic and has capable efficient implementations that leverage methods from logic programming and databases, including dependency-aware smart cacheing and a dynamic compilation stack architecture.|