horn子句 meaning in Chinese

horn clause

We develop actual inference algorithms for both data - dependent and data - independent disclosures for a highly expressive family of horn - clause constraints
本文使用具有高度表达性的horn子句约束开发了用于数据依赖和数据独立泄漏的推理算法。
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一步，对如何构造该神经网络的学习算法来体现归结过程进行了讨论，并证明了此学习算法用于归结原理的可靠性和完备性。