×
亚达夫，尼廷；塞巴斯蒂安·萨迪纳

使用类似ATL的逻辑推理代理程序。 （英语） Zbl 1361.68247号

Fariñas del Cerro，Luis（编辑）等人，《人工智能中的逻辑》。2012年9月26日至28日，第13届欧洲会议，2012年JELIA，法国图卢兹。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33352-1/pbk）。计算机科学课堂讲稿7519。人工智能课堂讲稿，437-449（2012）。
摘要：我们提出了一种基于代理的操作知识的交替时间时序逻辑（ATL）变体，该操作知识由代理的抽象计划库定义。受ATL自身变体ATLES的启发，在我们的逻辑中，可以明确地引用在信念-愿望-意图代理编程范式下开发的代理的“理性”策略。这允许我们使用ATL类型的逻辑框架来表示和验证BDI系统的属性。
关于整个系列，请参见[Zbl 1246.68063号].

引用于三文件

MSC公司：

68T27型 人工智能中的逻辑
03B44号 时间逻辑
60年第68季度 规范和验证（程序逻辑、模型检查等）
68T42型 Agent技术与人工智能

关键词：

代理程序设计；反应性计划；自动变速器；模型检查

软件：

2APL公司
PDF格式BibTeX公司 XML格式引用
\textit{N.Yadav}和\textit{S.Sardina}，莱克特。注释计算。科学。7519、437--449（2012年；Zbl 1361.68247）
全文： 内政部 arXiv公司

参考文献：

[1] Alechina，N.，Dastani，M.，Logan，B.，Meyer，J.-J.：代理程序的逻辑。In：程序。国家人工智能会议（AAAI），第795–800页（2007）
[2] Alechina，N.、Dastani，M.、Logan，B.、Meyer，J.-J.：关于代理审议的推理。In：程序。《知识表示与推理原理》（KR），第16–26页（2008年）
[3] Alur，R.，Henzinger，T.A.，Kupferman，O.：交替时间时序逻辑。ACM杂志（49），672-713（2002）·Zbl 1326.68181号
[4] Baral，C.，Son，T.C.：行为和反应控制的相关理论。人工智能电子交易（ETAI）2（3-4），211-271（1998）
[5] Bordini，R.H.，Braubach，L.，Dastani，M.，Fallah-Seghrouchni，A.，Gómez Sanz，J.J.，Leite，J.，O'Hare，G.，Pokahr，A.，Ricci，A.：多智能体系统编程语言和平台概览。Informatica（斯洛文尼亚）30（1），33–44（2006）·兹比尔1111.68373
[6] Bratman，M.E.，Israel，D.J.，Pollack，M.E.：计划和基于资源的实践推理。计算智能4（3），349–355（1988）·doi:10.1111/j.1467-8640.1988.tb00284.x
[7] Busetta，P.、Rönnquist，R.、Hodgson，A.、Lucas，A.：JACK智能代理：Java中智能代理的组件。AgentLink新闻稿2，2–5（1999）
[8] Dastani，M.：2APL：一种实用的代理编程语言。自治代理和多代理系统16（3），214–248（2008）·Zbl 05387504号 ·doi:10.1007/s10458-008-9036-y
[9] Dastani，M.，Jamroga，W.：关于多代理程序策略的推理。In：程序。自治代理和多代理系统（AAMAS），第997–1004页（2010）
[10] Dastani，M.，van Riemsdijk，B.，Meyer，J.-J.：代理编程中的目标类型。In：程序。《自治代理和多代理系统》（AAMAS），第1285-1287页（2006年）·数字对象标识代码：10.1145/1160633.1160867
[11] de Boer，F.、Hindriks，K.、van der Hoek，W.、Meyer，J.：具有声明性目标的代理编程验证框架。应用逻辑杂志5（2），277–302（2007）·Zbl 1122.68078号 ·doi:10.1016/j.jal.2005.12.014
[12] Duff，S.、Harland，J.、Thangarajah，J.：关于主动性和维护目标。In：程序。《自治代理和多代理系统》（AAMAS），第1033-1040页（2006年）·数字对象标识代码：10.1145/1160633.1160817
[13] Hindriks，K.V.，de Boer，F.S.，van der Hoek，W.，Meyer，J.-J.：3APL中的代理编程。自治代理和多代理系统2（4），357–401（1999）·Zbl 05387414号 ·doi:10.1023/A:1010084620690
[14] Jamroga，W.，Bulling，N.：理性代理人推理框架。In：程序。自主代理和多代理系统（AAMAS），第1-3页（2007年）·Zbl 1175.68439号 ·数字对象标识代码：10.1145/1329125.1329232
[15] Jamroga，W.、van der Hoek，W.和Wooldridge，M.J.：游戏场景中的意图和策略。收录：Bento，C.，Cardoso，A.，Dias，G.（编辑）EPIA 2005。LNCS（LNAI），第3808卷，第512-523页。斯普林格，海德堡（2005）·doi:10.1007/11595014_51
[16] Padgham，L.，Lambrix，P.：BDI代理能力的形式化。自治代理和多代理系统10（3），249–271（2005）·Zbl 05387366号 ·doi:10.1007/s10458-004-4345-2
[17] Rao，A.S.，Georgeff，M.P.：在BDI架构中建模理性代理。In：程序。《知识表示与推理原理》（KR），第473–484页（1991年）·Zbl 0765.68194号
[18] Rao，A.S.，Georgeff，M.P.：理性代理的抽象架构。In：程序。知识表示与推理原理（KR），第438–449页（1992）
[19] Schoppers，M.：不可预测环境中反应机器人的通用计划。In：程序。国际人工智能联合会议（IJCAI），第1039–1046页（1987）
[20] Walther，D.，van der Hoek，W.，Wooldridge，M.：具有明确策略的交替时间时序逻辑。摘自：《理性与知识的理论层面会议》，第269-278页。ACM出版社（2007），doi:10.1145/1324249.1324285·doi:10.1145/1324249.1324285
[21] Yadav，N.，Sardina，S.：《使用类ATL逻辑推理代理程序》（2012年），CoRR，网址：http://arxiv.org/abs/1207.3874 ·Zbl 1361.68247号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。