DIFERENÇA DE DESEMPENHO DO COMPILADOR COALA NO USO DA SIMULAÇÃO DA NEGAÇÃO CLÁSSICA

DIFERENÇA DE DESEMPENHO DO COMPILADOR COALA NO USO DA SIMULAÇÃO DA NEGAÇÃO CLÁSSICA

Weslley Lioba Caldas [e-mail] Modelagem de Lógica e Raciocinio – João Fernando Lima Alcântara
Abstract
Coala is a compiler that supports various options, as well as simulates classical negation. In this article expecting to obtain knowledge, if that option refers or not a performance gain to solve problems based on ASP.
Resumo. Coala é um compilador que suporta diversas opções, bem com simular a negação clássica. Neste artigo esperasse obter conhecimento sobre se tal opção remete ou não em ganho de desempenho para resolver problemas baseados em ASP.

1. Introdução Coala é um compilador capaz de traduzir action languages [1] para um programa de lógica baseado em um conjunto de respostas semânticas. Após ser imobilizado por um programa grounder [12], tais como lparse [10] ou gringo [4], ele poderá ser resolvido por um solucionador de ASP [8] como clasp [3]. Coala também assume a função de um model chek [11] para action languagens, em ASP. Coala foi feito a partir do al2asp seu código fonte é baseado na linguagem de programação C++. Actualmente Coala é capaz de traduzir action languages AL, B, C e CTAID, esta ultima corresponde a um subconjunto da linguagem C. O tipo de idioma pode ser especificado na chamada ao programa, bem como diferentes outros parâmetros quem permitem variadas técnicas de compilação, que podem ser vistas em [2]. Dentre tais técnicas existe a opção de após traduzir a action language, passar como parâmetro na linha de comando a opção -n que faz com que a transformação de normal logic para ground logic por meio de um grounder, neste caso o gringo, seja resolvida usando uma simulação da negação clássica [7].
2. Action languages Coala suporta as action language al,b,c,e ctaid , veremos então brevemente como cada uma delas funciona, a principio toda action language apresenta conjuntos não vazios consinstindo em uma action signature.