1) subset phrasing
子集句式
2) polynomial clause subset
多项式子句集
1.
In this paper,we propose a new class of Petri nets,higher-order Petri nets (HOPN s),which can be applied to polynomial clause subset of first-order predicate logic.
提出了一种新型Ｐｅｔｒｉ网———高阶Ｐｅｔｒｉ网，这种网可以应用于一阶谓词逻辑中的多项式子句集问题；还研究了目标转移结点Ｔ－不变量之间的关系，最后给出了几个例子。
3) clause set
子句集
1.
Neural Network Resolution on Clause Set;
子句集的神经网络归结(英文)
4) 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子句集的神经网络的归结算法,最后证明了该算法的完备性,并用实例进行了验证。
5) SubClause Collection
子句集合
6) sentential form
句子形式;句型
补充资料：多项式乘多项式法则
Image:1173836820929048.jpg
多项式乘多项式法则
先用一个多项式的每一项乘以另一个多项式的每一项，再把所得的积相加。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。