软件名称：[B]翠儿0.1.68_Tweety 0.1.68[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：7.32 MB
官方主页：Home Page
更新时间：2013-03-09 12:27:00
软件简介:

一个Java库，以帮助您与您的开发

翠儿是一个方便，易于使用的，全面的Java库，专为人工智能和逻辑方面的知识表示。

现在，您可以利用此辅助库，以进一步提高你的开发过程中。

这里是“翠儿”的一些主要特点：

·经典逻辑的神器出山:www.shenqi73.com命题逻辑，一阶逻辑
·非经典逻辑：有条件的逻辑，模态逻辑，概率逻辑
·抽象的论证：论证框架，结构化的论证框架
·代理
·优化库

要求：

·的Java

[url=http://www.sot9.com/soft/109419.html][B]翠儿0.1.68_Tweety 0.1.68[/B][/url]

点这里下载->翠儿0.1.68_Tweety 0.1.68 [ 下载地址 ]