Anais > Edições Anteriores > Anais do XI WCF 2015 > Abd1: uma linguagem de paradigma lógico projetada especificamente para a programação de raciocínios abdutivos

Abd1: uma linguagem de paradigma lógico projetada especificamente para a programação de raciocínios abdutivos

Autores: Carlos Eduardo A. Oliveira, Osvaldo Luiz de Oliveira

Raciocínios abdutivos formulam possíveis hipóteses para explicar fatos observados tendo como fundamento uma teoria (Aliseda, 2006). Em Computação, a abdução em programação lógica tem se revelado uma poderosa técnica para resolver uma variedade de problemas em IA incluindo, entre outros, problemas de diagnóstico, entendimento de linguagem natural, planejamento e formulação de argumentos (Denecker & Kakas, 2000). Se por um lado é inquestionável a utilidade da abdução na modelagem da solução de problemas, por outro lado a programação destas soluções é difícil e demanda do programador conhecimentos profundos de lógica, linguagens de programação lógica e de mecanismos de resolução sistemas lógicos. O problema fundamental com as abordagens existentes é que elas estão formuladas sobre sistemas de programação lógica que servem a diferentes propósitos, não só para programar raciocínio abdutivo (e.g., Christiansen, 2009 e Kakas, Michael & Mourlas, 2000). Este trabalho de dissertação de mestrado, em elaboração, propõe o desenvolvimento de uma linguagem de programação específica para a programação de raciocínios abdutivos, que não demanda do programador conhecimentos de mecanismos de resolução de sistemas lógicos e conhecimentos linguísticos além dos associados à descrição de raciocínios abdutivos. Esta Linguagem, Abd1, está sendo desenvolvida originalmente baseada em Lógica Proposicional e é descrita neste artigo.
O restante deste artigo está organizado da seguinte forma. A Seção 2 apresenta uma visão geral da Linguagem Abd1. A Seção 3 discute, a título de exemplo, um programa em Abd1, escrito para modelar raciocínios abdutivos sobre um circuito elétrico. A Seção 4 finaliza o artigo com considerações sobre o possível uso da Abd1.

DOCUMENTO COMPLETO

• Abd1: uma linguagem de paradigma lógico projetada especificamente para a programação de raciocínios abdutivos