Obtenção de respostas baseadas em casos a partir de árvores de prova

• Autor(a) principal: Isabel Gomes Barbosa
• Data de Publicação: 2008
• Tipo de documento: Dissertação
• Idioma: por
• Título da fonte: Repositório Institucional da UFMG
• Texto Completo: http://hdl.handle.net/1843/RVMR-7L6NXB
• topic: logica; arvores de prova; Lógica de computador; Computação; Banco de dados Busca

Este trabalho investiga o conjunto de respostas para consultas existencialmente quantificadas no contexto de um sistema de prova que representa as suas deduções na forma de árvores de prova. Em particular, nas situações em que o sistema gera uma resposta disjuntiva para a consulta do usuário, este trabalho propõe que uma resposta baseada em casos deveria ser fornecida ao invés. Inicialmente, é apresentada uma definição formal de respostas nesse contexto, a qual considera que mesmo árvores de prova geradas nos passos intermediários de uma dedução produzem respostas em potencial para a consulta. Particiona-se, ainda, o conjunto de respostas existentes segundo a definição dada em três classes de respostas: extensionais, intensionais e hipotéticas, e mostra-se que qualquer um desses tipos de respostas pode corresponder a uma resposta disjuntiva. Para as situações em que o sistema gera uma resposta disjuntiva da forma P(A1) V P(A2) V ... V P(Ak), é proposto um algoritmo que, a par tir da dedução da resposta na forma de árvore de prova, determina uma resposta baseada em casos para a mesma consulta. Uma resposta baseada em casos consiste em uma resposta definida em função de um número finito e exaustivo de casos no domínio do problema, sendo que cada caso implica em uma resposta não disjuntiva P(Ai) para a consulta.