说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 语义解释规则
1)  semantic interpretation rule
语义解释规则
2)  definable terms; definable rules.
能定义的术语;能作解释的规则。
3)  definitional rules
释义规则
4)  Interpretation rules
解释规则
5)  semantic interpretation
语义解释
1.
For medium predicate logic system MF, a new infinite value semantic interpretation that is l-interpretation is introduced, the l-resolution method is led into the MF.
给出中介逻辑谓词演算系统MF的一种无穷值语义解释,即无穷值的λ解释,将λ-归结方法引入到MF中,讨论了MF的λ-归结原理,并证明了它的完备性。
2.
By examining the correlations among deep structure, surface structure and semantic interpretation in transformational and generative grammar, this article states that surface structure has a definite function in semantic interpretation.
纵观转换生成语法发展中深层结构、表层结构、语义解释之间的关系,表层结构对语义解释起一定的作用。
6)  semantic explanation
语义解释
1.
Though the semantic explanation of MMp can use abnormal worlds but on the other hand can also use general worlds.
S6系统有两个特点:(1)它没有必然化规则N,所以其语义解释必须引入非正规世界;(2)它把MMp当作系统公理,对于MMp的语义解释一方面可以利用非正规世界,但另一方面也可以对它作一般的可能世界语义解释。
补充资料:语义


语义
semantics

  yUyl语义(哭mantics)语言的各个成分的含义。在程序设计语言中,即程序的含义。程序设计语言的语义,一般在语言文本中用自然语言描述,说明用该语言编写的程序的意义,即在计算机上执行时将会做什么。常用的程序设计语言语义的形式描迩方法有:公理语义,代数语义,指称语义和操作语义(参见形式方法)。 语义分奋态语义和动态语义。静态语义指程序的编译含义,即编译程序对程序的理解,包括量的作用域法则、说明、类型匹配等。编译时无法理解、而要到运行时才能理解的含义称为动态语义。
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条