1) semantic link network operations
语义链网络操作
3) precedence-relations-net
加工操作优先关系语义网络
4) operational semantics
操作语义
1.
A structural operational semantics of VHDL.;
一种VHDL的结构化操作语义
2.
It is shown that our stochastic models can be used to provide a compositional causality-based semantics for IMCA,and a event-based operational semantics is supplied to prove its conincidence with various exiting interleaving proposals.
同时,给出了IMCA基于事件的操作语义,并且证明了它和现有交互式语义的一致性。
3.
A formal operational semantics based on abstract machine is presented for the implementation of a subset of single-action signal oriented statements.
针对C/ATLAS单动作信号语句的一个子集,提出一种其实现过程的基于抽象机的形式化操作语义描述方法,并分别给出了各单动作测试语句的状态转换规则。
6) Peer-to-Peer Semantic Link Network Model
对等语义链网络模型
补充资料：语义网络理论
用于表示词与词之间的语义关系的一种网络理论。1973年由美国人工智能专家司马贺提出。其原理是以句中词的概念为网络的结点，以沟通结点之间的有向弧来表示概念与概念之间的语义关系，构成一个彼此相连的网络，以理解自然语言句子的语义。
例如， John saw Mary dancing（约翰看到玛丽跳舞。）这个句子，可用下面的语义网络符号来表示：
C1 TOKEN(see)
TIME PAST
DATIVEC2
OBJECT C3
C2 TOKEN(John)
NUMBER SINGULAR
C3 TOKEN (dancing)
TIME PROGRESSIVE PAST
AGENT C4
C4 TOKEN(Mary)
NUMBER SINGULAR
这里,C1，C2，C3，C4是语义网络中表示概念的结点。see的意义项是C1,John的意义项是C2, dancing的意义项是C3,Mary的意义项是C4。TOKEN表示词项, TIME表示时态，NUMBER表示数,PAST表示过去时, PROGRESSIVE表示进行时，SINGULAR 表示单数， AGENT 表示主体格，DATIVE表示给予格，OBJECT表示客体格，它们都是深层格。根据这样的语义关系，这个句子可用语义网络表示如：
采用语义网络来理解自然语言时，首先分解输入句的句法关系，同时分析句子的深层格结构，记录语义关系，最后求出输入句的语义网络，借以理解自然语言的语义。
例如， John saw Mary dancing（约翰看到玛丽跳舞。）这个句子，可用下面的语义网络符号来表示：
C1 TOKEN(see)
TIME PAST
DATIVEC2
OBJECT C3
C2 TOKEN(John)
NUMBER SINGULAR
C3 TOKEN (dancing)
TIME PROGRESSIVE PAST
AGENT C4
C4 TOKEN(Mary)
NUMBER SINGULAR
这里,C1，C2，C3，C4是语义网络中表示概念的结点。see的意义项是C1,John的意义项是C2, dancing的意义项是C3,Mary的意义项是C4。TOKEN表示词项, TIME表示时态，NUMBER表示数,PAST表示过去时, PROGRESSIVE表示进行时，SINGULAR 表示单数， AGENT 表示主体格，DATIVE表示给予格，OBJECT表示客体格，它们都是深层格。根据这样的语义关系，这个句子可用语义网络表示如：
采用语义网络来理解自然语言时，首先分解输入句的句法关系，同时分析句子的深层格结构，记录语义关系，最后求出输入句的语义网络，借以理解自然语言的语义。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条