Um framework baseado em restrições tabulares de domínio finito e restrições primitivas de domínio contínuo

Abstract

A crescente demanda pela configuração de produtos por parte da indústria tem posicionado os softwares configuradores de produtos baseados em restrições entre as abordagens mais adequadas para atender à escalabilidade e diversidade dos cenários demandados. Pesquisas recentes sobre Problemas de Satisfação de Restrições têm trazido avanços significativos que contemplam a tarefa de configuração, como trabalhos sobre representação compacta de dados tabulares, muito comuns em bases de conhecimento de configuração de produtos. Outro tipo de dado que aparece com frequência nesse contexto, são variáveis de domínio contínuo. No entanto, a literatura sobre restrições se mostra escassa no que diz respeito a trabalhos que ligam tabelas e domínios contínuos, sendo as primeiras mais comuns em trabalhos voltados a domínios finitos. Este trabalho apresenta um framework para a construção de redes de restrições — incluindo modelos de produtos configuráveis — com restrições tabulares compactas sobre variáveis de domínio contínuo, por meio da junção de tabelas de domínio finito e restrições auxiliares. Para a avaliação do framework, são propostas três implementações baseadas em diferentes métodos de geração de restrições auxiliares, sendo uma utilizando restrições primitivas, outra utilizando uma restrição global popular na literatura, e a última utilizando uma restrição global que combina valores de domínio finito com intervalos arbitrários de domínio contínuo. Como resultados, é demonstrada a capacidade do framework em propiciar a integração harmoniosa de domínios contínuos e restrições tabulares, bem como a sua flexibilidade em permitir diferentes implementações de acordo com a aplicação. Também são avaliados cenários de satisfação envolvendo os conceitos integrados, para os quais o desempenho se mostra inferior aos cenários equivalentes em domínios finitos, quando factíveis. Conclui-se que o framework atende à demanda por domínios contínuos em tabelas, com a ressalva de que, se for possível transformar domínios contínuos em finitos sem perdas, esta se apresenta como uma opção desejável.