×

关于多代理领域中的动作的推理。 (英语) 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型 人工智能中的逻辑
PDF格式BibTeX公司 XML格式引用
全文: 链接