翠儿0.1.68_Tweety 0.1.68下载地址

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

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

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

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

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

要求：

·的Java