劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 关于多代理领域中的动作的推理。 (英语) Zbl 1007.03015号 Esposito,Floriana(编辑),AI*IA 2001:人工智能进展。意大利人工智能协会第七届大会,意大利巴里,2001年9月25日至28日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2175, 237-248 (2001). 摘要:在本文中,我们提出了一种关于动作推理的理论,该理论基于动态线性时间时序逻辑的产品版本(表示为DLTL(^{otimes})),并允许描述序列代理网络的行为,序列代理网络通过共同执行动作来协调其活动。DLTL(^{\otimes})扩展了命题线性时间时态逻辑LTL,通过用动态逻辑的正则程序对until运算符进行索引来加强它。此外,它还允许用从有限集合中提取的顺序代理的名称来修饰逻辑公式。我们提出的行动理论是作者在Log中提出的理论的延伸。J.IGPL 9,273-287(2001年;Zbl 0979.03015号)它基于逻辑DLTL,允许对不完整的初始状态进行推理,并处理后置、分支以及不确定动作。在这里,我们扩展了该理论,以处理多个代理在共同操作上同步的问题。关于整个系列,请参见[Zbl 0971.00034号]. MSC公司: 03B44号 时间逻辑 68T27型 人工智能中的逻辑 关键词:行动推理;产品;动态线性时间时序逻辑;顺序代理网络;多个代理 引文:Zbl 0979.03015号 软件:高尔夫;ConGolog公司 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人,Lect。注释计算。科学。2175237--248(2001年;Zbl 1007.03015) 全文: 链接