|Date: 14 July 2018, from 8:30 to 12:00|
This tutorial aims at providing an introduction to reasoning defeasibly over description logic ontologies in the context of knowledge representation and reasoning (KRR) in AI. Description Logics (DLs) are a family of logic-based knowledge representation formalisms with appealing computational properties and a variety of applications at the confluence of modern artificial intelligence and other areas. In particular, DLs are well-suited for representing and reasoning about ontologies and therefore constitute the formal foundations of the Semantic Web.
The different DL formalisms that have been proposed in the literature provide us with a wide choice of constructors in the object language. However, these are intended to represent only classical, unquestionable knowledge, and are therefore unable to express the different aspects of uncertainty and vagueness that often show up in everyday life. Examples of these comprise the various guises of exceptions, typicality (and atypicality), approximations and many others, as usually encountered in the different forms of human quotidian reasoning. A similar argument can be put forward when moving to the level of entailment, that of the sanctioned conclusions from a knowledge base. DL systems provide for a variety of (standard and non-standard) reasoning services, but the underlying notion of entailment remains classical and therefore, depending on the application one has in mind, DLs inherit most of the criticisms raised in the development of the so-called non-classical logics. In this regard, endowing DLs and their associated reasoning services with the ability to cope with defeasibility is a natural step in their development. Indeed, the past two decades have witnessed the surge of many attempts to introduce non-monotonic reasoning capabilities in a DL setting. Among these are default extensions, preferential approaches, circumscription-based ones, and others.
The goal of this tutorial is two-fold: (1) to provide an overview of the development of non-monotonic approaches to description logics from the past 25 years, in particular pointing out the difficulties that arise when naïvely transposing the traditional propositional approaches to the DL case, and (2) present the latest results in the area, in particular those based on the preferential approach and related ones, as well as the new directions for investigation that have been opened.
|Handouts: Available here|
|Outline of the tutorial:|
|Bibliography: Available here|