摘要

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

全文