First Workshop on

Challenges and Adequacy Conditions for Logics in the New Age of Artificial Intelligence

ACLAI'22

residencia

Cercedilla (Madrid), Spain
November 3-5, 2022

Aims and scope

The rapid advances of Artificial Intelligence and the widespread diffusion of AI systems today create new challenges for logics and systems of formal reasoning. Besides its traditional role as a vehicle for knowledge representation and reasoning in symbolic AI, logic should also play a pivotal role in furthering responsible and trustworthy AI through its capacity to reason about intelligent systems, analyse their behaviour and provide explanations for the results obtained and decisions and actions taken by such systems. 

If logic is to help make AI more accountable, logic itself needs to be accountable. It should therefore be susceptible to critical examination and evaluation of its adequacy for the objectives which its designers and users have set it.

This is the first workshop on challenges and adequacy conditions for logics in light of their important role in contributing to accountable AI. It is organised in the framework of the project LIANDA1, supported by the Fundación BBVA, and is co-organised by the Knowledge Representation Group of the Spanish AI Society AEPIA. The workshop will host a range of talks and discussions that include technical work on current systems of logic for AI as well as philosophical reflection on logical methodology, besides examining external desiderata for logics that arise for instance from legal or ethical requirements for AI systems.

Venue

Universidad Politécnica de Madrid, Residencia Lucas Olazábal, Cercedilla (Madrid).

Speakers

  • Manuel Ojeda Aciego (University of Málaga)
  • José Alferes (Universidade Nova de Lisboa)
  • Gerhard Brewka (Leipzig University)
  • Pedro Cabalar (University of A Coruña)
  • Stefania Costantini* (University of L'Aquila)
  • Luis Fariñas del Cerro (University of Toulouse)
  • Claudia Fernández (University of Málaga)
  • Georg Gottlob (University of Oxford)
  • Manuel Hermenegildo (Polytechnic University of Madrid)
  • Andreas Herzig (University of Toulouse)
  • João Leite (Universidade Nova de Lisboa)
  • Jesús Medina (University of Cádiz)
  • David Pearce (Polytechnic University of Madrid)
  • Peter Schroeder-Heister (University of Tübingen)
  • Victor Rodríguez (Polytechnic University of Madrid)
  • Francesca Toni* (Imperial College, London)
  • Levan Uridia (Tbilisi State University)
  • Gerd Wagner (Brandenburg University of Technology)
*= remote, via Zoom link

Programme

The workshop will run from the afternoon of Thursday, November 3, 2022 until Saturday, November 5, closing with a social event on Saturday evening.

Thursday, November 3rd

17:00 - 17:30
Opening remarks
17:30 - 18:15 Pedro Cabalar, "A preliminary study on Deontic ASP"
18:15 - 19:00
Levan Uridia, TBA
21:00
Joint dinner at Restaurante Yeyu

Friday, November 4th

10:00 - 11:00
Georg Gottlob, "My adventures with Datalog: Walking the thin line between theory and practice"
11:00 - 11:30
Coffee break
11:30 - 12:30
Manuel Hermenegildo, "Evolution and Challenges for Prolog at 50 (with a Ciao Prolog perspective)"
12:30 - 13:15
Victor Rodríguez, "European AI Regulation - Main ideas and challenges"
13:15 - 14:00
Panel Discussion: Challenges for Logic
14:15 - 15:30
Lunch
15:30 - 15:55
Manuel Ojeda Aciego, "On the notion of f-inclusion and its logic"
15:55 - 16:15
Manuel Ojeda-Hernández, "On fuzzy closure systems for fuzzy consequence operators"
16:15 - 17:00
João Leite, "Logic-based Explanations for Neural Networks"
17:00 - 17:15
Coffee break
17:15 - 18:00
Andreas Herzig, "Database repair and dynamic logic"
18:00 - 18:45
Ged Wagner, "Object Event Models: A Formalism in Search of a Logic"
21:00
Joint reception and dinner at El Rancho de Javi

Saturday,  November 5th

10:00 - 10:45

10:45 - 11:30
Peter Schroeder-Heister, TBA

Claudia Fernández, "Awareness in Knowledge Representation: why, how and what for?"
11:30 - 12:00
Coffee break
12:00 - 12:45 Stefania Costantini, "An Epistemic Logic for Modelling aspects of inter-agent cooperation, and of Theory of Mind"
12:45 - 13:30
Francesca Toni, TBA
13:30 - 14:15
Pedro Cabalar, "Dealing with Causal Explanations in Practical Knowledge Representation"
14:15 - 14:30
Closing remarks
14:30
Lunch
15:30
Project discussion and forest walk
21:15
Social event at Teatro Montalvo

  Organisation

  • Pedro Cabalar, University of Corunna, Spain
  • David Pearce, Polytechnic University of Madrid

  Registration

To cover part of the costs of the venue, refreshments and lunches, a registration fee of 250€ has been set. Reduced rates apply for members of the AEPIA KR Group; please contact david.pearce@upm.es for more information on registering as well as details of the workshop programme and venue.

Registration link

1 - LIANDA stands for "Lógica e Inteligencia Artificial: Nuevos Desafíos y Adecuación" (Logic and Artificial Intelligence: New Challenges and Adecuacy"

News

31/10/2022: programme available

14/10/2022:
new webpage



Webpage maintained by Pedro Cabalar, IRLab

Supported by:

fundacion-bbva  Project LIANDA, Ayudas Fundación BBVA a proyectos investigación científica, Spain

micinn Spanish MICINN project PID2020-116201GB-I00

sdsds