1) Logic interpretation of meaning
语义解释模型
2) transformation of semantic interpretation
语义解释型变换
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研究方法来准确地表征隐喻概念的意义。
补充资料：解释结构模型
应用图的矩阵表示方法（见图论）和简单的逻辑运算，对复杂系统的各个组成元素（或子系统）间的结构关系加以描述的一种模型。英文缩写为ISM。ISM通过对表示有向图的相邻矩阵的逻辑运算,得到可达性矩阵,然后分解可达性矩阵，最终使复杂系统分解成层次清晰的多级递阶形式。解释结构模型在制订企业计划、城市规划等领域已广泛使用，尤其对于建立多目标、元素之间关系错综复杂的社会系统及其分析，效果更为显著。
用顶点Vi和Vj表示系统的元素(i=1,2,3...；j=1,2,3...。)，带箭头的边[Vi Vj]表示两元素之间的关系,即可构成有向图（图1）,用来表示有向图中各元素间连接状态的矩阵称作相邻矩阵A。当从Vi到Vj有带箭头的边连接时,矩阵元素aij取值为1；无连接时取值为零。可达性矩阵M是用矩阵形式反映有向图各顶点之间通过一定路径可以到达的程度，它通过以下计算求得：将相邻矩阵A加上单位矩阵I（矩阵中除主对角线上元素为1外，其余元素皆为零的矩阵），然后用布尔代数规则 (0+0=0,0+1=1,1+1=1;0×0=0,0×1=0,1×1=1)进行乘方运算,直到两个相邻幂次方的矩阵相等为止。相等的矩阵中幂次最低的矩阵即为可达性矩阵。图1所示有向图的可达性矩阵M如下：通过对可达性矩阵的分解(有区域分解和级间分解)，即可建立系统的多级递阶结构模型（图2）。多级递阶结构模型非常直观清楚地反映了该系统元素之间的结构关系。ISM方法使用方便,不需要高深的数学理论，易为系统分析人员所掌握。
参考书目
汪应洛主编：《系统工程导论》,机械工业出版社,北京，1982。
用顶点Vi和Vj表示系统的元素(i=1,2,3...；j=1,2,3...。)，带箭头的边[Vi Vj]表示两元素之间的关系,即可构成有向图（图1）,用来表示有向图中各元素间连接状态的矩阵称作相邻矩阵A。当从Vi到Vj有带箭头的边连接时,矩阵元素aij取值为1；无连接时取值为零。可达性矩阵M是用矩阵形式反映有向图各顶点之间通过一定路径可以到达的程度，它通过以下计算求得：将相邻矩阵A加上单位矩阵I（矩阵中除主对角线上元素为1外，其余元素皆为零的矩阵），然后用布尔代数规则 (0+0=0,0+1=1,1+1=1;0×0=0,0×1=0,1×1=1)进行乘方运算,直到两个相邻幂次方的矩阵相等为止。相等的矩阵中幂次最低的矩阵即为可达性矩阵。图1所示有向图的可达性矩阵M如下：通过对可达性矩阵的分解(有区域分解和级间分解)，即可建立系统的多级递阶结构模型（图2）。多级递阶结构模型非常直观清楚地反映了该系统元素之间的结构关系。ISM方法使用方便,不需要高深的数学理论，易为系统分析人员所掌握。
参考书目
汪应洛主编：《系统工程导论》,机械工业出版社,北京，1982。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条