Título: Dois Modelos de Tipicalidade em Lógicas de Descrição

Resumo:

Lógicas de Descrição representam uma família de formalismos para
representação de conhecimentos que possuem grande expressividade, mas
menos complexos do que lógicas de primeira ordem. Podemos representar
conceitos, objetos e suas relações, no entanto não é intuitivo como se
pode utilizar esses formalismos para raciocinar sobre propriedades
tipicas de objetos de um determinado conceito.

Queremos estudar o problema de representar formalmente conhecimentos
do tipo "tigres normalmente são ferozes, amarelos e tem listras
pretas", e para isso já existem diversos formalismos que tentam
capturar, de forma intuitiva e com uma semântica bem definida, esse
tipo de conhecimento.

Nesta palestra apresentarei a lógica ALC+T, a lógica ALC estendida com
um operador T que escolhe os objetos típicos de um determinado
conceito, e como estende-la para podermos inferir (com possibilidade
de retratação) propriedades esperadas de um objeto, e um modelo de
tipicalidade baseado em inclusão preferencial de conceitos, em que a
tipicalidade pode ser expressada na TBox através de inclusões
preferenciais (não-monotônicas) de conceitos.