主轴2.2.0_SPINdle 2.2.0下载地址

逻辑推理为您的使用

主轴应用程序中创建的，是一个逻辑推理，以有效的方式，可用于计算的后果，可废止逻辑理论。

该计划涵盖了基本的权衡性逻辑权衡性逻辑和模态。它可以用来作为一个独立的神器出山:www.shenqi73.com理论证明者，或作为一个嵌入式的推理引擎。

下面是一些主要特点的“主轴”：

路支持所有的规则类型的权衡性逻辑，如事实，严格的规定，可撤销的规则，defeaters和优势。
路支持模态的可废除逻辑与模态算子转换。
路支持否定和矛盾的相互排斥的文字。
路可废除理论上可以使用XML和纯文本（与预先定义的语法），和理论，其扩展名也可以使用XML导出表示。
路的可视化理论编辑器编辑标准废止逻辑理论。

此版本中的新功能：

路规则推理的状态记录和推理的否定方式的支持。
路小的错误修正。