1) clause set
子句集
1.
Neural Network Resolution on Clause Set;
子句集的神经网络归结(英文)
2) 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子句集的神经网络的归结算法,最后证明了该算法的完备性,并用实例进行了验证。
3) subset phrasing
子集句式
4) SubClause Collection
子句集合
5) 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.
提出了一种新型Ｐｅｔｒｉ网———高阶Ｐｅｔｒｉ网，这种网可以应用于一阶谓词逻辑中的多项式子句集问题；还研究了目标转移结点Ｔ－不变量之间的关系，最后给出了几个例子。
6) base set of clause
子句的基本集
补充资料：〖ZK(〗各证集说诸方备用并五脏六腑集论合抄〖ZK)〗
〖ZK(〗各证集说诸方备用并五脏六腑集论合抄〖ZK)〗
内科著作。1卷。原题清叶桂(天士)家传，撰年不详。此书汇集内科杂证70余种，方剂近200首。每证各为一论，阐明疾病性质、病因、症状、治则及方药。论后每引经说，概括病机。所列方药服法亦皆详备。又列“五脏六腑论”一章，引用《内经》、《难经》，逐一论述五脏六腑之形象、部位、表里关系、病症及治法。本书内容多录自《临证指南》，恐系后人伪托叶氏之作。现存抄本
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条