Huso Rensador lógico para su uso
Descargar ahora

Huso Clasificación y resumen

Huso Etiquetas

desarrollo teoría desarrollar Plugin eclipse lógica desarrollar la aplicación web Soporte de tapicería Tapiz

Huso Descripción

La aplicación del husillo se creó para ser un razonador lógico que se puede utilizar para calcular la consecuencia de las teorías lógicas defendibles de una manera eficiente. El programa cubre la lógica desagradable básica y la lógica modal desagradable. Se puede utilizar como un prover de teoría independiente o como un motor de razonamiento incrustado. Principales características: Apoya a todos los tipos de reglas de lógica desagradable, como hechos, reglas estrictas, reglas desagradables, derrotadores y superioridad. Soporta lógicas defendibles modales con conversiones de operador modales. apoya literales negativos y conflictivos (mutuamente excluyentes). La teoría desagradable se puede representar utilizando XML y texto sin formato (con sintaxis predefinida), y también se puede exportar una teoría y su extensión utilizando XML. Se ha desarrollado un editor de teoría visual para editar la teoría lógica defensible estándar.

Huso Software relacionado