2APL

2APL:一个实用的代理程序设计语言。本文提出了一种基于BDI的面向Agent的程序设计语言,称为2APL(实用的代理程序设计语言)。这种编程语言有助于实现由可共享和访问外部环境的各个代理组成的多代理系统。它通过将声明性信念和目标与事件和计划相结合,实现声明式和命令式编程的有效集成。它还提供了实际的编程构造,以允许基于信念、目标和事件的计划的生成、修复和(不同的模式)执行。给出了程序设计语言的形式化语法和语义,并讨论了它与现有基于BDI的面向Agent程序设计语言的关系。

这个软件也是同行评审通过期刊toms.


ZBMaCT中的参考文献(16篇文章中引用)

显示结果1至16的16。
按年份排序(引文

  1. De Nicola,罗科;法拉利,GiangLuigi;PuGeice,Rosario;TayZi,弗朗西斯科:一种面向领域的分布式系统工程的正式方法(2020)
  2. Morveli Espinoza,M.Neves,J. C.;PaseBoM,A. Puyol Gruart,J.TaLa,C. A.:一种基于论证的程序目标识别与处理方法(2019)
  3. De Giacomo,朱塞佩;Gerevini,Alfonso Emilio;Patrizi,法比奥;Saetti,Alessandro;萨尔迪纳,FILE:代理计划程序(2016)
  4. De Giacomo,朱塞佩;莱斯普朗斯,Yves;Patrizi,法比奥:有界情境演算行动理论(2016)
  5. Alechina,娜塔莎:逻辑与代理程序设计语言(2013)
  6. Koster,安得烈;Schorlemmer,马珂;Sabater Mir,霍尔迪:打开信任的黑箱:BDI代理中信任模型的推理(2013)伊波尔特
  7. Yadav,Nitin;萨尔迪纳,塞巴斯蒂安:使用ATL类逻辑推理代理程序(2012)
  8. Alechina,娜塔莎;达斯塔尼,Mehdi;洛根,布瑞恩;迈耶,John Jules Ch.:BDI代理程序中计划修订的推理(2011)
  9. Alechina,娜塔莎;达斯塔尼,Mehdi;洛根,布瑞恩;迈耶,John Jules Ch.:代理审议的推理(2011)伊波尔特
  10. 里奇,Alessandro;Piuni,米歇尔;ViLogi,米尔科:多智能体系统中的环境规划:基于工件的透视图(2011)伊波尔特
  11. 塞巴斯蒂安,PADGHAM,林:一个具有故障处理、声明目标和计划的BDI代理程序设计语言(2011)伊波尔特
  12. 可汗,F,洛根,B;迈耶,J.J.C.:使用定理证明来验证代理程序的属性(2010)
  13. 迪马基斯,尼古拉,Soldatos,约翰;MyPikaOs,Lazaros;Burrkle,阿克塞尔;PFrrman,UWE;SuthChET,格哈德:基于代理的体系结构框架,增强上下文感知普适服务的可配置性、自治性和可扩展性(2010)伊波尔特
  14. Jomi Fred,布瓦西耶,奥利维尔;Kitio,Rosine;里奇,Alessandro:组织多组织组织和代理的多Agent组织(2010)伊波尔特
  15. 辛德拉、Michal P.、达斯塔尼、Mehdi M.、迪格姆、弗兰克、Meyer、John Jules Ch.:基于BDI的代理人的精神状态诱因(2009)
  16. Dastani,Mehdi:2APL:一个实用的代理程序设计语言。(2008)伊波尔特