当前位置: X-MOL 学术arXiv.cs.AI › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
A theory of interaction semantics
arXiv - CS - Artificial Intelligence Pub Date : 2020-07-13 , DOI: arxiv-2007.06258
Johannes Reich

The aim of this article is to delineate a theory of interaction semantics and thereby provide a proper understanding of the "meaning" of the exchanged characters within an interaction. The idea is to describe the interaction (between discrete systems) by a mechanism that depends on information exchange, that is, on the identical naming of the "exchanged" characters -- by a protocol. Complementing a nondeterministic protocol with decisions to a game in its interactive form (GIF) makes it interpretable in the sense of an execution. The consistency of such a protocol depends on the particular choice of its sets of characters. Thus, assigning a protocol its sets of charaacters makes it consistent or not, creating a fulfillment relation. The interpretation of the characters during GIF execution results in their meaning. The proposed theory of interaction semantics is consistent with the model of information transport and processing, it has a clear relation to models of formal semantics, it accounts for the fact that the meaning of a character is invariant against renaming and locates the concept of meaning in the technical description of interactions. It defines when two different characters have the same meaning and what an "interpretation" and what an "interpretation context" is as well as under which conditions meaning is compositional.

中文翻译:

交互语义理论

本文的目的是描绘交互语义的理论,从而提供对交互中交换字符的“含义”的正确理解。这个想法是通过一种依赖于信息交换的机制来描述(离散系统之间的)交互,也就是说,基于“交换”字符的相同命名——通过协议。以交互形式 (GIF) 对游戏的决策补充不确定性协议,使其在执行的意义上具有可解释性。这种协议的一致性取决于对其字符集的特定选择。因此,为协议分配其字符集使其一致或不一致,从而创建履行关系。在 GIF 执行期间对字符的解释会产生它们的含义。所提出的交互语义理论与信息传输和处理模型一致,它与形式语义模型有明确的关系,它说明了字符的意义对重命名是不变的,并将意义的概念定位在交互的技术描述。它定义了两个不同的字符何时具有相同的含义,什么是“解释”,什么是“解释上下文”,以及在什么条件下意义是组合的。它解释了一个事实,即字符的含义对于重命名是不变的,并将含义的概念定位在交互的技术描述中。它定义了两个不同的字符何时具有相同的含义,什么是“解释”,什么是“解释上下文”,以及在什么条件下意义是组合的。它解释了一个事实,即字符的含义对于重命名是不变的,并将含义的概念定位在交互的技术描述中。它定义了两个不同的字符何时具有相同的含义,什么是“解释”,什么是“解释上下文”,以及在什么条件下意义是组合的。
更新日期:2020-07-14
down
wechat
bug