基于π演算的一种受限AGENT0操作语义
π-Calculus Based Operational Semantics for Restricted AGENTO
-
摘要: AOP语言AGENT0的交互动作缺乏明确的操作语义 ,Hindriks等使用的语义模型不能以恰当的方式处理交互动作 π演算是刻画并发交互系统的重要工具 在对AGENT0做恰当限制的情形下 ,基于π演算给出了受限AGENT0的操作语义 ,确定了交互过程中Agent的行为 对AGENT0做限制的目的是语义解释减少复杂性 ,不影响语言的基本含义 与Hindriks等在AGENT0方面的工作相比 ,更适用于多Agent系统Abstract: AGENT0 is an agent oriented programming language The operational semantics for the interactive actions of it is yet unclear These actions can not be treated properly under the semantics model that Hindriks proposed π calculus is a useful tool to describe concurrent and interactive systems Based on it, formal operational semantics for the restricted AGENT0 is presented Simplification is the main purpose of the restriction, and this restricted AGENT0 keeps the essence of AGENT0 This semantics is more suitable for agent lives in multi agent systems than Hindriks’s
下载: