【universal_instantiation】什么意思_英语universal_instantiation的翻译_音标_读音_用法_例句_在线翻译

universal instantiation

全称实例化

...一阶语句的推理规则  前向链接  反向链接  简化为命题推理  直接在一阶逻辑中推理 全称实例化（Universal instantiation, UI)  可以推断出任何用基项（没有变量的基本对象）置换变量得到的语句，设SUBST（θ ,α ）表示...

基于2290个网页-相关网页

普遍例式

... Universal Grammar 普遍性语法 universal instantiation 普遍例式 universal quantifier 全称范域词 ...

基于133个网页-相关网页

例化

...一阶语句的推理规则  前向链接  反向链接  简化为命题推理  直接在一阶逻辑中推理全称实例化（Universal instantiation, UI)  可以推断出任何用基项（没有变量的基本对象）置换变量得到的语句，设SUBST（θ ,α ）表示...

基于4个网页-相关网页

全称例化

除了命题演算规则，还有两个重要的问题： • 全称例化（universal instantiation，U I）。

基于4个网页-相关网页

语言学

·2,447,543篇论文数据，部分数据来源于NoteExpress

abstract: In predicate logic universal instantiationCopi and CohenHurleyMoore and Parker (UI, also called universal specification, and sometimes confused with Dictum de omni) is a valid rule of inference from a truth about each member of a class of individuals to the truth about a particular individual of that class. It is generally given as a quantification rule for the universal quantifier but it can also be encoded in an axiom.

以上来源于: WordNet

应用推荐

$firstVoiceSent

- 来自原声例句