A Lógica Descritiva Multi-Valorada e Paraconsistente EL 4
Thiago Alves Rocha
As lógicas descritivas formam uma família de lógicas desenvolvidas para representar formalmente uma hierarquia de conhecimento sobre um domínio de aplicação. Uma das lógicas descritivas de destaque para aplicações biomédicas é a EL que possui, na sua linguagem, inclusão de conceitos gerais e de papéis, restrição existencial, conjunção de conceitos, composição de papéis, o conceito de todo e o de nada. Neste trabalho, estendemos a lógica descritiva EL para trabalhar com quatro valores verdade a saber: true, false, undefined e overdefined. Através destes multi-valores, essa extensão, denominada EL 4, lida com indeterminações e inconsistências na base de conhecimento, o que é bastante comum na web semântica pois é um ambiente aberto, colaborativo e que muda constantemente. Além disso, a EL 4 possui dois tipos de implicação e a negação. Essa nova lógica descritiva tem a propriedade de ser traduzida para a EL de forma que o raciocínio paraconsistente possa ser simulado usando os algoritmos de raciocínio da lógica EL tradicional. Provamos que a noção de consequência lógica em EL 4 é preservada em EL quando traduzimos as fórmulas de uma para a outra. Este estudo visa investigar as diferenças de expressividade entre as lógicas descritivas, paraconsistentes e multi-valoradas. O trabalho foi baseado em um artigo que estende com multi-valores a lógica descritiva básica ALC. Agradeço ao professor João Fernando Lima Alcântara por ter ajudado na idéia do trabalho, a minha Orientadora Ana Teresa de Castro Martins pela ajuda na execução da pesquisa e ao CNPQ pela bolsa de iniciação científica PIBIC. |