1) Horn clause set
Horn子句集
1.
Then we use the two neurons to construct a neural network structure of clause set S, and give the resolution algorithm on NN for Horn clause set S.
首先将子句集S表示为δ形,并且用算子对(⊙, )引入两种类型的神经元,然后用这两种神经元构造子句集S的神经网络结构,而后给出基于Horn子句集的神经网络的归结算法,最后证明了该算法的完备性,并用实例进行了验证。
2) horn clause
Horn子句
1.
The services available are translated into a set of Horn clause-like rules.
首先,注册服务被转化为一组Horn子句形规则,用户的输入和输出请求分别被转化为Horn子句中的事实和目标,从而将寻找满足用户输入/输出请求的合成服务问题转化为Horn子句的逻辑推理问题;然后,用Petri网来为该Horn子句集建模,T-不变量技术被用来判定是否存在满足用户输入/输出请求的合成服务;最后给出了两种算法来获取既满足用户输入/输出请求又满足用户行为约束的合成服务的Petri网模型。
2.
This paper proposes to construct β-PSML by combining OWL with Horn clauses.
提出了将OWL和Horn子句相结合构建β-PSML语言,它既可以表示OWL中不能表示的多元关系,又可以表示Horn子句难以表示的有丰富等级结构的领域模型。
3.
Based on the work of Motik,Horn-extended DL,by extending description logic with Horn clauses,was proposed.
在Motik工作的基础上,提出了对描述逻辑进行Horn子句拓展的Horn-Extended DL,并给出了Horn-Extended DL的Tableau算法,最后通过一个算例验证了算法的正确性和效率。
3) fuzzy Horn clause rules
模糊Horn子句规则
1.
However,it is more difficult to discover fuzzy Horn clause rules and its implication degree.
模糊Horn子句规则可以用自然语言来表达人类知识。
4) clause set
子句集
1.
Neural Network Resolution on Clause Set;
子句集的神经网络归结(英文)
5) subset phrasing
子集句式
6) SubClause Collection
子句集合
补充资料：Buffalo horn concentrated powder
分子式：暂无
分子量：暂无
CAS号：暂无
性质：暂无
制备方法：暂无
用途：暂无
分子量：暂无
CAS号：暂无
性质：暂无
制备方法：暂无
用途：暂无
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条