Anais > Edições Anteriores > Anais do XI WCF 2015 > Visão Geral Informal da Abd1, uma Linguagem para Programação de Raciocínios Abdutivos Dirigida a não Especialistas em Programação Lógica

Visão Geral Informal da Abd1, uma Linguagem para Programação de Raciocínios Abdutivos Dirigida a não Especialistas em Programação Lógica

Autores: Carlos Eduardo Andrade Oliveira, Osvaldo Luiz de Oliveira

As soluções computacionais propostas para a programação de raciocínio abdutivo requerem do programador amplo conhecimento de programação lógica e da semântica operacional de sistemas que a estendem para permitir o cálculo abdutivo. Como consequência, estas soluções são inviáveis para não especialistas em programação lógica. Este artigo apresenta uma visão geral informal da Abd1, uma linguagem específica para programação de raciocínios abdutivos projetada para ser utilizada por não especialistas em programação lógica.

DOCUMENTO COMPLETO

• Visão Geral Informal da Abd1, uma Linguagem para Programação de Raciocínios Abdutivos Dirigida a não Especialistas em Programação Lógica