2APL公司

实用编程语言2APL。本文提出了一种基于BDI的面向agent的编程语言2APL(一种实用的agent编程语言)。这种编程语言有助于多代理系统的实现,这些系统由可能共享和访问外部环境的单个代理组成。它通过在事件和计划中引入和集成声明性信念和目标,实现了声明式和命令式编程的有效集成。它还提供了实用的编程构造,允许基于信念、目标和事件生成、修复和(不同模式)执行计划。给出了该语言的形式语法和语义,并讨论了它与现有的基于BDI的面向agent编程语言的关系。

这个软件也是同行评审按日记帐汤姆斯.


zbMATH参考文献(16篇文章引用)

显示第1到16个结果,共16个。
按年份排序(引用)

  1. De Nicola,Rocco;Ferrari,Gianluigi;Pugliese,Rosario;Tiezzi,Francesco:特定领域分布式系统工程的正式方法(2020)
  2. Morveli Espinoza,M.;Nieves,J.C.;Possebom,A.;Puyol Gruart,J.;Tacla,C.A.:一种基于论证的方法,用于识别和处理程序目标之间的不相容性(2019年)
  3. De Giacomo,Giuseppe;Gerevini,Alfonso Emilio;Patrizi,Fabio;Saetti,Alessandro;Sardina,Sebastian:代理计划(2016)
  4. De Giacomo,Giuseppe;Lespérance,Yves;Patrizi,Fabio:有界情境演算行动理论(2016)
  5. Alechina,Natasha:逻辑和代理编程语言(2013)
  6. Koster,Andrew;Schorlemmer,Marco;Sabater Mir,Jordi:《打开信任的黑匣子:关于BDI代理中信任模型的推理》(2013)IO端口
  7. Yadav,Nitin;Sardina,Sebastian:关于使用类ATL逻辑的代理程序的推理(2012)
  8. Alechina,Natasha;Dastani,Mehdi;Logan,Brian;Meyer,John Jules Ch.:BDI代理项目中计划修订的推理(2011)
  9. Alechina,Natasha;Dastani,Mehdi;Logan,Brian;Meyer,John Jules Ch.:关于代理人审议的推理(2011)IO端口
  10. Ricci,Alessandro;Piunti,Michele;Viroli,Mirko:《多智能体系统中的环境编程:基于工件的视角》(2011)IO端口
  11. Sardiña,Sebastian;Padgham,Lin:具有故障处理、声明性目标和计划的BDI代理编程语言(2011)IO端口
  12. Alechina,N.;Dastani,M.;Khan,F.;Logan,B.;Meyer,J.-J.Ch.:使用定理证明来验证代理程序的属性(2010)
  13. Dimakis,Nikolaos;Soldatos,John;Polymanakos,Lazaros;Bürkle,Axel;Pfirrmann,Uwe;Sutschet,Gerhard:基于代理的架构框架,增强上下文感知普适服务的可配置性、自治性和可伸缩性(2010年)IO端口
  14. Hübner,Jomi Fred;Boissier,Olivier;Kitio,Rosine;Ricci,Alessandro:用组织人工制品和代理为多主体组织提供工具(2010)IO端口
  15. Sindlar,Michal P.;Dastani,Mehdi M.;Dignum,Frank;Meyer,John Jules Ch.:基于BDI的特工的精神状态诱拐(2009年)
  16. Dastani,Mehdi:2APL:一种实用的代理编程语言。(2008年)IO端口