说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
您的位置：首页 -> 词典 -> 一元子句推导
1)  unit propagation
一元子句推导
2)  syntactic derivation
句法推导
例句>>
3)  inference clause
推理句子
4)  inference clause
推理子句
5)  first-order clause
一阶子句
1.
The logic program consists of some first-order clauses.
归纳逻辑程序设计(ILP)是机器学习的一个重要分支,给定一个样例集和相关背景知识,ILP研究如何构建与其相一致的逻辑程序,这些逻辑程序由有限一阶子句组成。
6)  unitary clause
单一子句
补充资料：可推导性


可推导性
derivabffity

可推导性吵幼拍目勺;一ua叭。Moe:‘] 见逻辑推导(山石份tion，lo乡司);演算(以Ic司us).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条