net.sf.tweety.tweety full 1.17 with dependencies.jar

Tweety是各种Java库的集合,这些库实现了针对人工智能不同领域的方法。特别是,它提供了一个通用的接口层,用于进行研究并使用不同的知识表示形式,例如经典逻辑,条件逻辑,概率逻辑和论证。此外,Tweety包含用于处理代理,多代理系统和代理对话系统的库,以及信念修订,首选项推理,首选项聚合和操作语言。一系列处理例如数学优化的实用程序库补充了该集合。