Gian Luca Pozzato's Home Page 

Current address: Dipartimento di Informatica Università degli Studi di Torino Corso Svizzera, 185 I-10149 Torino (ITALY) e-mail: pozzato[at]di.unito.it Tel.:      +39 011 670 68 48 Fax.:     +39 011 75 16 03

His PhD dissertation "Proof Methods for Conditional and Preferential Logics" has been awarded by the Italian Association for Logic Programming (GULP) with the "Marco Cadoli" price, as one of the best two Phd thesis focused on computation logic and discussed between 2007 and 2009. Visit GULP page

His main research interests include non-monotonic reasoning, non-classical logics (in particular, conditional and preferential logics), non-monotonic extensions of description logics, and logic programming.

Conditional logics have a long history, and recently they have found interesting applications in several areas of artificial intelligence, including belief revision and update, the representation of causal inferences in action planning, the formalization of hypothetical queries in deductive databases. Conditional logics have also been applied to non-monotonic reasoning. A fundamental contribution to the study of the relation between conditional logics and non-monotonic reasoning has been given by Kraus, Lehmann and Magidor, who have introduced the so called KLM framework. The KLM framework has been introduced in order to describe a set of properties that any concrete non-monotonic reasoning system should satisfy. The logics of this framework are called preferential logics.

The family of Description Logics (DLs) represents one of the most important formalism of knowledge representation. DLs have a well-defined semantics based on first order logic and offer a good trade-off between expressivity and complexity. Since the very objective of a DL knowledge base is to represent a taxonomy of concepts, the need of representing prototypical properties and to reason about inheritance with exceptions easily arises. Standard DLs do not allow to reason about defeasible properties. His recent research is focused on extending standrd DLs with a typicality operator, in order to define defeasible properties and to reason about eceptions.