Fuso Logic Railer para o seu uso
Baixe Agora

Fuso Classificação e resumo

Fuso Tag

desenvolvimento teoria desenvolve Plugin Eclipse. lógica Desenvolva a aplicação da web Suporte de tapeçaria Tapeçaria

Fuso Descrição

A aplicação do fuso foi criada para ser um raciocínio lógico que pode ser utilizado para calcular a conseqüência das teorias lógicas inelevisíveis de maneira eficiente. O programa abrange tanto a lógica inadimbrável básica quanto a lógica sem qualidade modal. Pode ser usado como um provador de teoria autônomo ou como um motor de raciocínio embutido. Principais características: suporta todos os tipos de regra de lógica inelevitável, como fato, regras rigorosas, regras inquiáveis, derroterizadores e superioridade. suporta lógicas com qualidade modal com conversões de operador modal. suporta negação e literais conflitantes (mutuamente exclusivos). A teoria irrível pode ser representada usando XML e texto simples (com sintaxe pré-definida) e uma teoria e sua extensão também podem ser exportadas usando XML. Um editor de teoria visual é desenvolvido para editar a teoria lógica inadimbrável padrão.

Fuso Software Relacionado