Raciocínio lógico Logic Railer é um provador de teoremas para a lógica de primeira ordem com igualdade.
Baixe Agora

Raciocínio lógico Classificação e resumo

Raciocínio lógico Tag

cálculo Prover de Teorema Representação de fórmulas resolução subsunção teorema Prove

Raciocínio lógico Descrição

Logic Racaler é um provador de teoremas para a lógica de primeira ordem com igualdade. O software Logic Railer é um prover de teorema para a lógica de primeira ordem com a igualdade.O principal objetivo que lidera o desenvolvimento do Racalador Lógico tem sido a criação de uma arquitetura flexível: em particular o programa foi projetado como uma infraestrutura genérica para o teorema, que forma a base para uma coleção de técnicas específicas de comprovação. Essas técnicas podem ser facilmente combinadas ou substituídas para criar configurações com diferentes propriedades. As principais técnicas que estão atualmente implementadas são: · Representação de fórmulas usando Dags e Flatterms perfeitamente compartilhados. · Cálculo com base na resolução ordenada com seleção e superposição. · Termo Knuth-Bendix Pedido. · Simplificações como subsunção, desmodulação, resolução de subsulmo, etc. · Indexação com base em árvores de discriminação perfeitas e vetores de recursos. · Provando algoritmos com base na lontra e desconto loops.Logic Railer é implementado no padrão C ++ e requer impulso, Antlu 2.7. 7 e cppunit.

Raciocínio lógico Software Relacionado