基于π演算的一种受限AGENT0操作语义

摘要

AOP语言AGENT0的交互动作缺乏明确的操作语义,Hindriks等使用的语义模型不能以恰当的方式处理交互动作 .π演算是刻画并发交互系统的重要工具 .在对AGENT0做恰当限制的情形下,基于π演算给出了受限AGENT0的操作语义,确定了交互过程中Agent的行为 .对AGENT0做限制的目的是语义解释减少复杂性,不影响语言的基本含义 .与Hindriks等在AGENT0方面的工作相比,更适用于多Agent系统 .