2APL公司

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

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

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端口