Modeling Concept Learning Problems with Second-Order Description Logics

From International Center for Computational Logic
Revision as of 16:18, 23 April 2015 by Tomas Masopust (talk | contribs) (Page created automatically by parser function on page Modeling Concept Learning Problems with Second-Order Description Logics)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Modeling Concept Learning Problems with Second-Order Description Logics

Talk by Francesca Alessandra Lisi
Among the inferences studied in Description Logics (DLs), induction has been paid increasing attention over the last decade. Indeed, useful non-standard reasoning tasks can be based on the inductive inference. Among them, Concept Learning is about the automated induction of a description for a given concept starting from classified instances of the concept. In this talk I present a formal characterization of Concept Learning in DLs which relies on recent results in Knowledge Representation and Machine Learning. Based on second-order DLs, it allows for modeling Concept Learning problems as constructive DL reasoning tasks where the construction of the solution to the problem may be subject to optimality criteria.