Anais > Edições Anteriores > Anais do X WCF 2014 > Uma Estrutura Quaternária para Raciocínio Abdutivo

Uma Estrutura Quaternária para Raciocínio Abdutivo

Autor: Felipe Rodrigues

Abdução é um tipo de inferência. Uma inferência que formula possíveis hipóteses para explicar fatos observados tendo como base uma teoria [Aliseda, 2006]. Frequentemente, raciocínio abdutivo é formulado por meio de:

• Um conjunto teoria (T) é um conjunto finito e não vazio de hipóteses assumidas como verdadeiras no momento da realização do raciocino.
• Um conjunto de hipóteses (H) é um conjunto finito e não vazio que combinado com a teoria explica os fatos observados.
• Um conjunto de fatos observados (F) é um conjunto finito e não vazio de fatos, estes fatos tipicamente incluem evidências, sintomas, observações, sinais, etc., a serem explicados.

Raciocínios abdutivos são utilizados com frequência 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 [Romdhane e Ayeb, 2011].
As abordagens que propõem soluções para a realização de raciocínios abdutivos utilizam de uma estrutura ternária, aqui denominada THF, composta pelos conjuntos T, H e F.
Observa-se também que o espaço de busca por hipóteses é amplo, caracterizando abdução como um problema difícil de ser tradado computacionalmente [Josephson e Josephson, 1994].
A Seção 2 discute a existência de raciocínios condicionais no raciocínio abdutivo. A Seção 3 discute a tentativa de explicitar condições impostas ao raciocínio na estrutura THF. A Seção 4 discute a estrutura TCHF e como ela permite explicitar condições aos raciocínios abdutivos. A Seção 5 apresenta uma conclusão referente a utilização da estrutura TCHF.

DOCUMENTO COMPLETO

• Uma Estrutura Quaternária para Raciocínio Abdutivo

---