Dipartimento di Scienze e Innovazione Tecnologica
Istituto di Informatica
Università del Piemonte Orientale
Reasoning about typicality in preferential description logics
|• Short CV|
Laura Giordano received the degree in Computer Science from the University of Torino in 1987 and the PhD in Computer Science from the same university in 1993. From 1990 to 1998 she was researcher at the Dipartimento di Informatica, Università di Torino. Since October 1998 she is associate professor at the Università del Piemonte Orientale. From 2001 to 2012 she has been member of the board of GULP, the Italian Association for Logic Programming .
Her research interests include: Nonmonotonic Reasoning, Belief Revision, Reasoning about Actions and Change, Multiagent Systems, Proof Methods for Nonclassical logics, Description Logics, Answer Set Programming.
University of Luxembourg
The talk presents an approach for reasoning about typicality in
description logics (DLs), based on Kraus, Lehmann and Magidor's
preferential semantics. It describes an extension to DLs of Lehmann and
Magidor's rational closure as well as a semantic characterization for it
through a minimal model semantics. For expressive description logics,
the computation of rational closure can exploit a polynomial encoding of
preferential entailment into standard DLs. The talk aims at discussing
to what extent preferential reasoning can be considered as a building
block for dealing with exceptions in OWL ontologies, considering that
dealing with exceptions is a long standing problem of nonmonotonic
reasoning, and at comparing this approach with other approaches to
defeasible reasoning in DLs.
Computer Science and Communication Lab
Arguing about obligations and permissions
|• Short CV|
Leon van der Torre joined the University of Luxembourg as a full professor for Intelligent Systems in 2006.
He developed the BOID agent architecture (with colleagues from Vrije Universiteit Amsterdam), input/output logic (with David Makinson) and the game-theoretic approach to normative multiagent systems (with Guido Boella).
He is an editor of the handbook of deontic logic and normative systems (first volume 2013, second volume in preparation), editor of the handbook on formal argumentation (in preparation), editor of the handbook on normative multi agent systems (in preparation), deontic logic corner editor of Journal of Logic and Computation, and member of editorial board of Logic Journal of the IGPL, the IfCoLog Journal of Logics and their Applications, and the EPiC series in Computer Science.
Moreover he is coordinator of the Horizon2020 Marie Curie RISE Network “Mining and Reasoning with Norms” (MIREL, 2016-2019).
In this talk I apply a theory of structured argumentation to normative reasoning.
In an ASPIC+ style setting, I discuss the definition of argument and attack, the role of constitutive and permissive norms, and hierarchical normative systems.
Based on joint work with Beishui Liao, Nir Oren, Gabriella Pigozzi and Serena Villata