horn子句的英文

horn clause

• horn:    n. 合恩〔南美洲最南端的一岛名〕。 ...
• 子句:    clause
• to子句:    to clause

例句与用法

1. We develop actual inference algorithms for both data - dependent and data - independent disclosures for a highly expressive family of horn - clause constraints
   本文使用具有高度表达性的horn子句约束开发了用于数据依赖和数据独立泄漏的推理算法。
2. In this thesis , the author just discusses horn clause sets , and gives how to transform horn clause set into neural network . go a step further , the author discusses how to get the learning algorithm of neural network that is equivalence with resolution principle , and proves completeness theorem and soundness theorem of the algorithm for resolution
   本文将所讨论的子句集限制在horn子句集上，给出了horn子句集转化为一个神经网络模型的方法，进j一步，对如何构造该神经网络的学习算法来体现归结过程进行了讨论，并证明了此学习算法用于归结原理的可靠性和完备性。