Jonker，天主教M。;Martijn C.舒特。;简·特雷尔;尤姆，帕纳 通过形式化、模拟和验证分析会议协议。 （英语） Zbl 1132.68783号 计算。数学。器官。理论 13，第3号，283-314（2007）. 总结：组织依靠定期会议来执行日常任务。会议成功举行后，为与会者交流想法和作出决定提供了一个共同的媒介。然而，许多会议的讨论没有重点或对话不相关。为了详细研究会议，我们首先将会议的一般属性和一般会议协议形式化，以指定会议中的角色应该如何交互以实现这些属性。这一通用协议被用作研究真实会议的起点。接下来，使用通用会议协议模拟了一个示例会议。一般属性在模拟跟踪中得到正式验证。接下来，这些属性还将根据同一背景下真实会议的经验数据进行正式验证。对这两条轨迹的比较表明，真正的会议更健壮，因为当发生异常且违反协议规则时，这些异常都会得到有效处理。鉴于这一观察结果，我们指定了一个更精细的协议，其中包括异常处理策略。基于这种改进的协议，模拟了一个与真实会议非常相似的会议。然后根据另一次实际会议的另一组数据验证该协议。通过反复添加异常处理规则，该协议得到了增强，可以成功地处理各种情况。 MSC公司： 68T50型 自然语言处理 关键词：会议协议;动态特性;时序逻辑形式化;模拟;验证;组织建模 软件：ACL2型;METATEM公司 PDF格式BibTeX公司 XML格式引用 \textit{C.M.Jonker}等人，《计算》。数学。器官。理论13，第3号，283--314（2007；Zbl 1132.68783） 全文： 内政部 链接 参考文献： [1] Barringer H、Fisher M、Gabbay D、Owens R、Reynolds M（1996）《势在必行的未来：可执行时序逻辑的原则》。研究出版社John Wiley&Sons [2] Bosse T、Jonker CM、van der Mey L、Treur J（2005）《领导：模拟动力学分析的语言和环境》。In:Eymann T等人（编辑）。第三届德国多Agent系统技术会议，MATES’05 vol 3550。《人工智能课堂讲稿》，斯普林格·弗拉格出版社，第165-178页 [3] Carley KM，Gasser L（1999）《多智能体系统中的计算组织理论：分布式人工智能的现代方法》。第7章。格哈德·魏斯（编辑）。麻省理工学院出版社 [4] Clarke EM、Grumberg O、Peled DA（2000）《模型检查》。麻省理工学院出版社 [5] Cornelissen F、Jonker CM、Treur J（2003）《基于知识的任务模型和问题解决方法的组合验证》。知识信息系统J 5:337–367·Zbl 05685330号 ·doi:10.1007/s10115-002-0083-4 [6] Creighton JL，使用小组处理技巧提高会议效率。网址：网址：//www。effectivemeetings.com/teams/teamwork/creighton.asp [7] Croston JD，Goulding HB（1966）《会议沟通的有效性：案例研究》。运营成本季度17（1）：47–57·doi:10.1057/jors.1966.6 [8] van Eck PAT、Engelfriet J、Fensel D、van Harmelen F、Venema Y、Willems M（2001）《指定动力学的语言调查：知识工程视角》。IEEE Trans Knowl数据工程13:462–496·Zbl 05109082号 ·数字对象标识代码：10.1109/69.929903 [9] Fasli M（2003）正式系统和基于代理的社会模拟等于零？艺术社会模拟杂志7（4）。网址：<http://jass.soc.surrey.ac.uk/7/4/7.html > ·Zbl 1043.68892号 [10] Fisher M（1994）对并发元语言及其应用的调查。In:Gabbay DM，Ohlbach HJ（eds）时间逻辑——第一届国际会议记录，AI课堂讲稿，第827卷，第480-505页·Zbl 0949.68532号 [11] Forbus KD（1984）定性过程理论。Artif Intell 24（1-3）：85–168·doi:10.1016/0004-3702（84）90038-9 [12] Gamboa R，Kaufmann M（2001）《ACL2中的非标准分析》。J Autom原因27:323–351·Zbl 0991.03018号 ·doi:10.1023/A:1011908113514 [13] Garfinkel H（1967）《民族方法学研究》。恩格尔伍德克利夫斯，新泽西州，普伦蒂斯·霍尔 [14] 戈夫曼E（1961）《邂逅》。Bobs Merrill公司 [15] Goffman E（1963）《公共场所的行为》。伦敦Collier-MacMillan [16] Henzinger T、Nicollin X、Sifakis J、Yovine S（1994）《实时系统的符号模型检查》。通知计算111（2）：193–244。学术出版社·Zbl 0806.68080号 ·doi:10.1006/inco.1994.1045 [17] Jonker CM，Treur J（2002）《多智能体系统的组合验证：主动性和反应性的形式分析》。摘自：de Roever WP，Langmaack H，Pnueli A（eds）1997年国际合成研讨会论文集。《计算机科学讲义》，第1536卷，斯普林格出版社，1998年，第350-380页。扩展版本：国际J Coop信息系统11:51–92 [18] Kelso JAS（1995）《动态模式：大脑和行为的自我组织》。麻省理工学院出版社，马萨诸塞州剑桥。 [19] Law AD，Kelton WD（2000）《仿真建模与分析》。麦格劳·希尔 [20] Manna Z，Pnueli A（1995）《反应系统的时间验证：安全性》。Springer Verlag公司·Zbl 0844.68079号 [21] Moss S、Gaylard H、Wallis S、Edmonds B（1998）《SDML：组织建模的多代理语言》。计算数学器官理论4（1）：43–70·Zbl 05470617号 ·doi:10.1023/A:1009600530279 [22] Niederman F、Beise CM、Beranek PM（1996）《计算机支持会议的问题和关注：主持人的观点》。MIS季刊20（1）：1–22·doi:10.2307/249540 [23] Port RF，van Gelder T（eds）（1995），《思维作为运动：认知动力学的探索》。麻省理工学院出版社，马萨诸塞州剑桥。 [24] Reiter，R（2001）《行动中的知识：指定和实现动态系统的逻辑基础》。麻省理工学院出版社，2001年·Zbl 1018.03022号 [25] Robert HM（2000）《Robert’s Rules of Order（最新修订）》，第10版，哈珀柯林斯出版社 [26] de Roever WP，Langmaack H，Pnueli A（eds）（1998），《国际成分研讨会论文集》，1997年。计算机科学讲稿，第1536卷，斯普林格出版社 [27] Serman CB，Basili VR（1998）《沟通与组织：检查会议讨论的实证研究》。IEEE Trans软件工程24（6）：559–572·Zbl 05114154号 ·doi:10.1109/32.708569 [28] Stirling C（2001）过程的模态和时间特性。Springer Verlag公司·Zbl 0978.68102号 [29] Wolf K（2002）《一次好会议的意义》。网址：http://members.dcn.org/kjwolf 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。