1) praser
语法语义解释
2) 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.
纵观转换生成语法发展中深层结构、表层结构、语义解释之间的关系,表层结构对语义解释起一定的作用。
3) 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的语义解释一方面可以利用非正规世界，但另一方面也可以对它作一般的可能世界语义解释。
4) Semantic Differential(SD)
语义学解释法
5) semantic interpretation grammar
释义语法
1.
We should separately emphasize the semantic interpretation grammar study, and define and develop the information-bearing parsing grammar study, while continuing to strengthen the formal construction grammar study.
拓展主体 ,是在继续加强组形语法研究的同时 ,分离释义语法、重视释义语法研究 ,界定传息语法、展开传息语法研究 ,最终形成组形、释义、传息鼎立的三维语法世界。
6) interpretative semantics
解释语义学
补充资料：语法
语法
syntax
语法【syntax;c皿“TaKe“c」，数理逻辑中的 作为纯符号系统的形式公理理论的描述和研究(与之比较，语义(se扣。niies)涉及形式理论对象的含义).在数学基础中区别语法和语义是特别重要的，数学基础所研究的形式理论的语义不是直观上明显的.在这种情形下，形式理论语法的描述和研究常借助元理论(meta一theory)中更加可靠的直觉可信的方法来实现，元理论作为基础使用，而不直接解释所研究的复杂的语义的本质特征.例如，在公理集合论(a朋matic set theory)中，熟知的G记el的选择公理的相容性可以作为语法的、有限地可证明的结论，只要Zermefo一Fraellkel形式理论和谐，则加上选择公理也和谐. 当我们不限于数学基础而考虑证明论(prooftheo-ry)时，语法和语义的区别就不是这么重要的了.有人采用所谓的半形式系统(senU一fora长d system)，其中推演概念就与某些语义约定有关.形式语言可以实质上是集合论式地用无穷长公式等来定义.另一方面，对于有界可表示的形式语言，诸如组合逻辑(com-bmtory fogic)的语言，算术语言(algoritlm血lan即-age)，创门的语义可以用该语言的纯语法的方法严格地阐述出来.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条