并发行动相关论文
文章对经典情境演算进行适当改造,使之能描述含时间变元的行动.在此基础上,对意向驱动式面向agent程序设计语言AOPLID进行时序扩充......
事件演算是基于一阶谓词演算的行动推理理论。它可作为描述事件的一个工具,在行动推理的应用中显示出其强大的表示能力和实现能力......
AOPLID是一种面向agent程序设计语言.本文旨在对AOPLID语言进行时序扩充,使之能表达并处理带时间参数的并发行动,基于离线方式下AO......
期刊
