EYE是一种能够执行支持euler路径的半逆向推理的推理引擎。应用程序不能单独运行,还需要一些其他组件,如curl、swi-prolog和cturtle。只有在源中复制上述程序可执行文件并运行安装程序后,才能安装应用程序。这个推理引擎特别支持语义web层。此外,它还可以通过N3与CWM进行互操作。这是可能的,因为n3在xml语法中相当于rdf,而rdf是cwm的核心语言。由于它支持euler路径,所以应用程序能够在排除所有可能性的同时解决问题。使用推理系统的应用可能意味着高级解决机制、人工智能系统、机器人或各种类型的控制器的开发。接口引擎支持基于证明的逻辑,以便提供最终结果。
基于网络
程序设计语言
c,python,prolog,javascript,java语言
软件开发、联网、测试
SWI-PROLOG
CTurtle
软件特色
适用信息技术,开发人员基于网络
程序设计语言
c,python,prolog,javascript,java语言
软件开发、联网、测试
使用要求
CURLSWI-PROLOG
CTurtle
更新日志
固定-轮廓∨ 展开