何塞·阿尔费雷斯。;安东尼奥·布罗吉;Joáo A.莱特。;路易斯·佩雷拉(Luís M.Pereira)。 使用逻辑程序更新计算环境软件代理行为。 (英语) Zbl 1073.68707号 Pettorossi,Alberto(编辑),基于逻辑的程序合成和转换。2001年11月28日至30日,第11届国际研讨会,LOPSTR 2001,塞浦路斯帕福斯。精选论文。柏林:施普林格出版社(ISBN 3-540-43915-3)。莱克特。注释计算。科学。2372, 216-232 (2002). 总结:对外部环境变化作出反应的能力在软件代理环境中至关重要。然而,这种特征必须与更慎重的理性行为相协调。在本文中,我们展示了如何根据逻辑程序更新自然地指定和计算环境软件代理的不同行为。在我们的设置中,逻辑程序更新由更新语言LUPS指定。我们展示了如何使用这种语言来建模更具反应性的行为,同时保持其底层动态逻辑编程范式提供的更具深思熟虑的特性。获得的声明性语义为环境软件代理的开发、实现和分析奠定了坚实的基础。关于整个系列,请参见[Zbl 0992.00050号]. MSC公司: 68T05型 人工智能中的学习和自适应系统 68N17号 逻辑编程 软件:信号;METATEM公司;LUPS公司 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Alferes}等人,Lect。注释计算。科学。2372216--232(2002年;Zbl 1073.68707) 全文: 链接