社会观察家

指定规范管理的计算社会。电子市场、争端解决和协商协议是三种类型的应用领域,可以看作是开放的agent社会。这种社会的主要特征是代理人的异质性、相互冲突的个人目标和不可预测的行为。这些社会的成员可能无法,甚至选择不遵守管理其互动的规范。有人认为这种类型的系统应该具有正式的、声明性的、可验证的和有意义的语义。我们提出了一个理论和计算框架正在开发的开放agent社会的可执行规范。我们采用外部视角,把社会看作规范体系的实例。在本文中,我们将演示如何将该框架应用于指定和执行合同网协议。该规范以两种动作语言形式化,即C+语言和事件演算,并使用各自的软件实现、因果计算器和社会可视化工具来执行。我们根据所提出的案例研究来评估我们的可执行规范,讨论用于开放agent社会规范的动作语言的优缺点。


zbMATH中的参考文献(参考 参考,1标准件)

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

  1. 完成时间:弗拉基米尔范利夫(2013年)
  2. Artikis,Alexander:开放代理系统的动态规范(2012)
  3. Dastani,Mehdi;Meyer,John Jules;Tinnemeier,Nick:编程规范变更(2012)
  4. d'Inverno,Mark;Luck,Michael;Noriega,Pablo;Rodriguez Aguilar,Juan A;Sierra,Carles:通信开放系统(2012)ioport公司
  5. Jeremy Pitt;Daniel Ramirez Cano;Draief,Moez;Alexander Artikis:多智能体系统和社会网络的交叉组合,以促进有组织适应(2011)ioport公司
  6. Ågotnes,Thomas;van der Hoek,Wiebe;Rodríguez Aguilar,Juan A;Sierra,Carles;Wooldridge,Michael:多模态CTL:完备性、复杂性和应用(2009)
  7. Alexander Artikis;Sergot,Marek;Pitt,Jeremy:指定规范管理的计算社会(2009)
  8. Bromuri,Stefano;Urovi,Visara;Stathis,Kostas:GOLEM agent环境中基于游戏的电子零售(2009)ioport公司
  9. Costantini,Stefania;Tocchio,Arianna;Tsintza,Panagiota:违反合同:通过论证证明理由(2009年)
  10. Alexander Artikis;Sergot,Marek;Pitt,Jeremy:形式论证协议的可执行规范(2007)