OSC:一个开放式情景演算系统的研究

OSC:An Open Situation Calculus System

在经典情景演算系统的基础上引入了广义信念修正理论,构建了一个开放式情景演算系统OSC(open situationcaculus),克服了经典情景演算系统不能刻画交互通信能力以及对事件的响应处理能力的缺陷.OSC系统保留了经典情景演算系统中的情景流result-of(a,s),用以刻画行动的影响;同时又引入了新的情景流bel-rev(φ,s),用以刻画通信交互以及对事件的响应处理等具有开放性信息的活动.OSC系统采用了离线规划与在线执行相结合的运行方式,为面向agent程序设计语言、面向agent智能系统的设计开发等应用提供了有效途径.

By introducing the theory of belief revision into the classical situation calculus an open situation calculus system named OSC is constructed. OSC can describe the communications and event-handling ability of the agents which classical situation calculus can' t. OSC preserves the situation fluent result-of( a , s ) for the actions, and introduces a new situation fluent bel-rev ( , s ) for the communication and event-handling. A novel function mode is designed, which combines the off-line planning and the on-line execution. OSC provides a theoretical solution for the agent oriented technology.