Uma Lógica de Descrições Probabilística com Terminologias e Asserções

Lógicas de descrição (description logics) têm recebido grande atenção na
literatura de inteligência artificial, como ferramentas de representação de
conhecimento que combinam boa expressividade e relativamente baixa
complexidade computacional. Aplicações importantes de lógicas de descrição têm
sido feitas em ontologias médicas e linguísticas, e em relação a representação
de conhecimento na rede semântica. Esta palestra fará uma revisão da
literatura em lógicas de descrição probabilísticas, onde se procura
representar incertezas sobre conhecimento lógico. Após essa revisão, será
discutida uma lógica probabilística baseada na linguagem ALC, que permite
especificação de terminologias e asserções probabilísticas. Relações entre a
lógica apresentada e outros formalismos baseados em redes Bayesianas serão
discutidas, visando debater e compreender os pontos fracos e fortes de cada
um.

Bio: Fabio G. Cozman é professor titular na Escola Politécnica da Universidade
de São Paulo. Formado como engenheiro eletrônico, mestre em Engenharia pela
Universidade de São Paulo e PhD pela Carnegie Mellon University, EUA. Suas
pesquisas se concentram em aplicações da teoria de decisão em automação e
classificação de dados, e generalizações da teoria de probabilidades para
inferência e representação de conhecimento.