当前位置:兵器玩家科技软件 → 一键转帖:主轴2.2.0_SPINdle 2.2.0

软件名称:[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 [ 下载地址 ]