社会可视化者 swMATH ID: 20845 软件作者： 亚历山大·阿提基斯；马雷克·塞尔戈特（Marek Sergot）；杰里米·皮特 说明： 指定规范控制的计算社会。电子市场、争端解决和谈判协议是三种可被视为开放代理社会的应用领域。这种社会的主要特征是代理人的异质性、相互冲突的个人目标和不可预测的行为。这些社会的成员可能无法，甚至选择不遵守规范他们的互动。有人认为，这种类型的系统应该具有形式的、声明的、可验证的和有意义的语义。我们提出了一个正在为开放代理社会的可执行规范开发的理论和计算框架。我们采用外部观点，将社会视为规范体系的实例。在本文中，我们将演示如何将该框架应用于指定和执行contract-net协议。该规范以两种动作语言（C++语言和事件演算）形式化，并使用各自的软件实现（因果计算器和社会可视化器）执行。我们根据所提供的案例研究评估了我们的可执行规范，讨论了用于开放代理社会规范的操作语言的优缺点。 主页： http://dl.acm.org/citation.cfm？doid=1459010.1459011 关键词： 动作语言;代理人;合同网;事件演算;可执行规范;规范;政策 相关软件： 岛国;CCalc公司;NuSMV公司;莫伊斯+;杰森;2APL公司;DiVinE公司;自旋蛋白;足球服务器;考拉;重新规范;玉;石灰 引用于： 8文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 指定规范控制的计算社会。 兹比尔1367.68320亚历山大·阿蒂基斯;马雷克·塞尔戈特;杰里米·皮特 2009 全部的 前5名23位作者引用 三 亚历山大·阿蒂基斯 2 梅迪·达斯坦尼（Mehdi M.Dastani）。 2 杰里米·皮特 2 马雷克·塞尔戈特。 1 托马斯·奥戈特内斯 1 娜塔莎·亚历奇纳 1 尼克·巴西利亚德斯 1 斯特凡妮娅·科斯坦蒂尼 1 玛丽娜·德沃斯 1 弗拉基米尔·利夫希茨 1 布赖恩·洛根 1 塞尔吉奥·梅拉 1 约翰·朱尔斯·查尔斯·梅耶 1 安德烈亚萨·莫里斯·马汀 1 罗德里格斯-阿吉拉尔，胡安·安东尼奥 1 费尔南多·沙帕奇尼克 1 卡莱斯·塞拉 1 Nick Tinnemeier 1 阿里安娜·托奇奥 1 巴拿马琴察 1 范德霍克，威比 1 迈克尔·伍尔德里奇。 1 杨芳凯 5篇连载文章中引用 2 应用非经典逻辑杂志 1 人工智能 1 逻辑研究 1 逻辑与计算杂志 1 ACM计算逻辑汇刊 在2个字段中引用 8 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的引文