基于情境演算的时序Agent语言TAOPLID的语义

作者：李斌; 张东摩; 吕建

来源：微电子学与计算机, 2005, (02): 46-50+54.

DOI：10.19304/j.cnki.issn1000-7180.2005.02.013

• 面向agent程序设计语言
• 情境演算
• 并发行动
• 语义 Agent-oriented programming
• Situation calculus
• Concurrent action
• Semantics

文章对经典情境演算进行适当改造,使之能描述含时间变元的行动。在此基础上,对意向驱动式面向a鄄gent程序设计语言AOPLID进行时序扩充,使之能表达并处理带时间参数的并发行动。最后,给出了基于情景演算理论的离线方式下的时序AOPLID程序语义以及时序AOPLID程序实例

• 单位
  南京大学; 扬州大学; 计算机软件新技术国家重点实验室