Anais > Edições Anteriores > Anais do XI WCF 2015 > Um Algoritmo para Abdução Peirceana Baseado em uma Estrutura de Raciocínio Quaternária em Lógica Proposicional

Um Algoritmo para Abdução Peirceana Baseado em uma Estrutura de Raciocínio Quaternária em Lógica Proposicional

Autores: Felipe Rodrigues

O raciocínio abdutivo é uma forma de raciocínio utilizada para formular hipóteses que expliquem fatos observados tendo uma teoria como base. Possui ampla utilização em diversas tarefas intelectuais como diagnóstico médico, diagnóstico de falhas, descoberta científica, argumentação jurídica e interpretação de linguagem natural.
Pode-se descrever o problema do raciocínio abdutivo como um problema clássico de busca [Romdhane e Ayeb, 2011], como um problema de cobertura de conjuntos, ou um problema de raciocínio probabilístico sobre Redes Bayesianas [Hacking, 2001]. De especial interesse para este trabalho é a formalização por meio da Lógica Proposicional (LP) pela sua simplicidade, não necessidade de mensuração de parâmetros probabilísticos, muitas vezes difíceis de serem obtidos e definidos, e proximidade semântica com os conceitos de raciocínio e inferência lógica são classicamente tratados.
Algoritmos para raciocínios abdutivos [Kakas & Kowalski, 1995; Aliseda 2006; Christiansen, 2008; Dillig & Dillig, 2013] operam sobre uma estrutura ternária de raciocínio, denominada THF (Teoria, Hipóteses e Fatos) [Rodrigues, Oliveira e Oliveira, 2014]. Em [Rodrigues, 2014] uma estrutura quaternária, denominada TCHF (Teoria, Condições Aceitas, Hipóteses e Fatos), para a realização de raciocínios abdutivos é proposta e, de acordo com Rodrigues (2014), consegue englobar um aspecto presente em raciocínios abdutivos o qual não consegue ser comportado na estrutura THF sem que haja uma descaracterização do raciocínio, aspecto esse denominado Condições Aceitas.
De forma geral, podem existir várias hipóteses para explicar fatos observados. Entretanto, algumas hipóteses podem explicar melhor os fatos do que outras. Assim, raciocínios abdutivos podem ser vistos como processos de formulação de m ≥ 0 hipóteses gerais seguido da seleção de n ≤ m boas hipóteses.
Este trabalho é uma versão sucinta dos resultados obtidos durante a realização de uma dissertação de mestrado acadêmico descrita em [Rodrigues, 2015]. O trabalho investigou o raciocínio abdutivo. A investigação envolveu: aspectos peculiares do raciocínio; formalismos utilizados para a descrição e caracterização de problemas de raciocínios abdutivos; a proposta de uma nova formalização; a proposta de um algoritmo para a realização de raciocínios abdutivos e; a comparação de raciocínios realizados por pessoas e por algoritmos. Dentre as contribuições destacam-se: (1) A proposta de uma estrutura quaternária, denominada TCHF, para formalizar o raciocínio abdutivo, Seção 2; (2) Um critério de seleção de boas hipóteses, Seção 3; (3) O algoritmo Peirce para a realização de raciocínios abdutivos, Seção 4 e; (4) O sistema Peirce Online onde usuários utilizam a lógica proposicional para a realização de raciocínios abdutivos, Seção 5.

DOCUMENTO COMPLETO

• Um Algoritmo para Abdução Peirceana Baseado em uma Estrutura de Raciocínio Quaternária em Lógica Proposicional