Horn子句相关论文
对FOIL算法进行了深入剖析,提出了一种基于该算法利用Visual Prolog实现一阶规则集学习器的设计方法,给出了实现学习器的关键代码......
Web服务组合使得开发人员可以快速地创建自己的应用程序．但是，随着Internet上可用的Web服务数目的增加，Web服务组合是一项高度复杂的......
考虑到网络多媒体应用对具有适应互操作、标准性以及知识产权保护功能的数字媒体的需要，对复合数字对象进行了研究，提出了HDO—IDOP（H......
问题求解是当今人工智能领域研究的重点,在文中对于能用Horn子句集表示问题求解情境的一类问题,利用谓词/变迁网对其进行建模,详细......
提出了将OWL和Horn子句相结合构建β-PSML语言,它既可以表示OWL中不能表示的多元关系,又可以表示Horn子句难以表示的有丰富等级结......
描述逻辑和逻辑程序是两种非常重要的知识表达形式,分别具有不同的表达能力。为了保证结合描述逻辑和逻辑程序的可判定性,Motik给......
电力客户服务中心是供电企业设置的面向用电部门或个人的服务系统，其计算机系统是一个典型的MIS系统，但又是有CSCW和工作流支持的系......
本文通过对模糊f-Horn子句的语义和推理机制的分析,提出了一种直接用Horn子句做非精确推理方法,并用Turbo Prolog编制了实例程序,......
为了提高复杂软件服务系统的构建效率,文章提出了一种基于扩展Petri网的软件服务模型设计方法。首先,该方法将注册的软件服务转换......
