Autor: CHAVES, T. F.

Orientador: VIEIRA, N. J.

Outros autores: ;

Linhas de pesquisa no CNPq: CIÊNCIAS EXATAS E DA TERRA / CIÊNCIA DA COMPUTAÇÃO

Unidade: INSTITUTO DE CIÊNCIAS EXATAS
Departamento: CIÊNCIA DA COMPUTAÇÃO

Palavras-Chave: CONHECIMENTO - AUTO-REFERÊNCIA - QUEBRA-CABEÇA

Uma área de pesquisa promissora no campo de inteligência artificial é o estudo da representação e do processamento de meta-conhecimento, mais especificamente auto-referência. Auto-referência ocorre quando expressões referenciam os próprios elementos da linguagem com que são escritas e a presença dessa característica em um sistema de conhecimento o enriquece bastante, mas introduz dificuldades no seu processamento, como paradoxos. A nossa abordagem é a resolução de quebra-cabeças do tipo The Lady or the Tiger como um meio para esse estudo, já que possuem auto-referência em suas estruturas. O primeiro objetivo do trabalho é expressar esses quebra-cabeças, logo é definida uma linguagem simples, mas com poder suficiente para representá-los por completo, usando apenas lógica proposicional, evitando a necessidade de um algoritmo de unificação. É de interesse deste trabalho também o estudo de alguns paradoxos e esperamos acrescentar algum conhecimento sobre o assunto na comunidade acadêmica. O método de resolução proposto envolve o algoritmo de prova de teoremas chamado tableaux semântico modificado para servir de ferramenta de inferência. Um protótipo já está sendo construído em Java para resolver os quebra-cabeças e permitir um melhor entendimento do problema.

Apoio: p>