Um novo sistema que permite expressar e resolver preferências entre diferentes soluções de problemas lógicos foi desenvolvido por pesquisadores da Universidade de Potsdam, na Alemanha.
O sistema, chamado asprin, é baseado em uma linguagem de programação chamada ASP (Answer Set Programming), que é usada para modelar problemas complexos de forma declarativa.
As preferências são usadas para escolher entre as soluções possíveis de um problema, de acordo com alguns critérios de qualidade ou satisfação. Por exemplo, se quisermos planejar uma viagem, podemos ter preferências sobre o custo, a duração, o destino, etc. Asprin permite especificar essas preferências de forma flexível e geral, usando uma linguagem que pode expressar diferentes tipos de preferências, como ordinais, cardinais, qualitativas, quantitativas, etc.
Asprin também oferece métodos eficientes para decidir quais soluções são preferidas sobre outras, e para computar as soluções mais preferidas. Os pesquisadores analisaram a complexidade dos problemas envolvidos e propuseram algoritmos que são corretos e completos. Eles também compararam o desempenho de asprin com outras implementações existentes, e mostraram que asprin é competitivo e às vezes até mais rápido.
Asprin é implementado como uma extensão do clingo, um dos sistemas mais populares e poderosos de ASP. Asprin usa a API do clingo para interagir com ele e aproveitar suas funcionalidades. Asprin também pode integrar diferentes abordagens à preferência que foram propostas na literatura, usando sua linguagem de modelagem de primeira ordem.
O sistema asprin é uma contribuição importante para o campo da programação lógica e da inteligência artificial, pois oferece uma ferramenta prática e versátil para lidar com preferências em problemas lógicos. O sistema pode ter aplicações em diversas áreas, como planejamento, otimização, tomada de decisão, etc. Os pesquisadores esperam que asprin seja útil para a comunidade científica e para os usuários finais que querem resolver seus problemas com preferências.
Fonte: Link.
