Joint Panel AI*IA and GULP
November 14th, 2017, 18.00-19:30
Artificial Intelligence and Logic Programming:
Results vs. Challenges and Trends
Without the need of going back to Artistotle, Lebnitz, Babbage, or of citing some famous Mc Carthy statements, the role of logics in knowledge representation and automated reasoning has been and still is central in Artificial Intelligence. Just as an example, early research in Planning led to the definition and implementation of Prolog; nowadays advanced logic based solving techniques are still commonly and effectively used in Planning. Logic Programming was the first programming paradigm embedding constraint programming techniques. Logic Programming with default negation is widely used in Knowledge representation, and modern ASP solvers, also enhanced with external constraints capabilities, possibly distributed, are used in a variety of AI problems. The big impact of Description Logics, (Interval) Temporal Logics, (Probabilistic) Inductive Logic Programming, Preference Reasoning also demonstrated the relevance of research in logics as a cornerstone contribution to AI.
Nevertheless current interest in AI seems to be dominantly driven by the recent outstanding results obtained in Machine Learning and more specifically in Deep Learning. Apparently, logical (and indeed also heuristic) reasoning seems all of a sudden to have become “old stuff”.
Following the Latin saying “in medio stat virtus” (the truth lies in the middle) this panel aims at investigating what such middle really could be so as to identify ways to interpret the present in the right way and identify directions for the future that allow to use the experience from the past even in the nowadays more challenging scenarios.
Hence we will ask our panelists to start from their current experience and then identify Challenges and Trends for the future that can be fruitful for the whole community of builders of intelligent artefacts.
Panelists (in alphabetical order):
- Stefania Costantini (University of L’Aquila)
- Giuseppe De Giacomo (University of Rome Sapienza)
- Marco Gori (University of Siena)
- Fabrizio Riguzzi (University of Ferrara)
Moderated by Amedeo Cesta (ISTC-CNR, President AI*IA) and Agostino Dovier (University of Udine, President GULP)
- Francesca A. Lisi (University of Bari)