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

OSC:An Open Situation Calculus System

作　　者：王崇骏[1] 戈也挺[1] 郭磊[1] 陈世福[1] 

机构地区：[1]南京大学计算机软件新技术国家重点实验室,南京210093

出　　处：《计算机研究与发展》2003年第11期1598-1605,共8页Journal of Computer Research and Development

基　　金：国家自然科学基金(60003010);高等学校博士点基金(97028428)

摘　　要：在经典情景演算系统的基础上引入了广义信念修正理论,构建了一个开放式情景演算系统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.

关 键 词：情景演算 信念修正 面向AGENT技术 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]