1) transformation of semantic interpretation
语义解释型变换
2) Logic interpretation of meaning
语义解释模型
3) 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.
纵观转换生成语法发展中深层结构、表层结构、语义解释之间的关系,表层结构对语义解释起一定的作用。
4) 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的语义解释一方面可以利用非正规世界，但另一方面也可以对它作一般的可能世界语义解释。
5) interpretative semantics
解释语义学
6) semantic explanatory power
语义解释力
1.
After a critical review of previous studies on this issue,this paper,employing NSM approach as the theoretical framework,and the universal semantic primes as the unit of semantic explications,mainly discusses NSM approach to metaphor and its semantic explanatory power,demonstrating how NSM approach can be applied to interpret accurately the meanings of metaphors.
在梳理前人有关论述的基础上,以自然语义元语言理论为框架,以普遍性语义基元为释义单位,重点探讨了NSM理论独特的隐喻观及其语义解释力,展示了应用NSM研究方法来准确地表征隐喻概念的意义。
补充资料：语义型语法分析程序
将传统短语结构语法（主要指前后语无关语法）中诸如"名词"、"动词"......等语法变元变为对某领域有特定涵义的语法变元后所形成的语法。例如，对飞机票订购系统可设置如"目的地"、"航程"、"飞行时间"之类的语法变元，在传授电路知识的智能化计算机辅助教学系统SOPHIE中，采用诸如"测量"、"电路元件"、"晶体管"、"假设"之类的语法变元。对每一变元建立一条语法规则，每一条规则实际上就是用LISP语言编写的一段程序。语义型语法允许有一定模糊性，如果系统对输入语句中某些词不清楚，则跳过这些词而分析句子的其他部分。为了防止全局性失误,SOPHIE在回答学生提问时采用全句应答而不采用简略形式，并且还指明现在是对哪一个问题进行回答。为建立自然语言前端处理机的需要而研制的 LIFER系统也采用了语义型语法。
参考书目
H.O.Neil，ed.，Procedures for Instructional Systems Development, Academic Press, New York, 1979.
参考书目
H.O.Neil，ed.，Procedures for Instructional Systems Development, Academic Press, New York, 1979.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条