软件名称：[B]主轴2.2.0_SPINdle 2.2.0[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：351 KB
官方主页：Home Page
更新时间：2013-02-25 18:16:00
软件简介:

逻辑推理为您的使用

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

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

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

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

此版本中的新功能：

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

[url=http://www.sot9.com/soft/69553.html][B]主轴2.2.0_SPINdle 2.2.0[/B][/url]

点这里下载->主轴2.2.0_SPINdle 2.2.0 [ 下载地址 ]