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
Friday, November 4th
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
|