杰弗里·凯恩；帕维尔·瑙莫夫 超图常识的Ryo-an-ji公理。 （英语） Zbl 1310.03028号 合成 191，第14号，3407-3426（2014）. 摘要：本文研究具有固定拓扑结构的通信网络中的公共知识。它引入了一个非平凡的原理，称为Ryo an-ji公理，它捕获了具有给定网络拓扑的所有协议的公共知识的逻辑属性。由Ryo-an-ji公理和另外两个公理组成的逻辑系统被证明是健全和完整的。 MSC公司： 03B42号 知识和信念的逻辑（包括信念变化） 05C65号 Hypergraphs（Hypergraph） 90B18号机组 运筹学中的通信网络 关键词：常识；超图；公理化；完整性 PDF格式BibTeX公司 XML格式引用 \textit{J.Kane}和\textit{P.Naumov}，综合191，第14期，3407--3426（2014；Zbl 1310.03028） 全文： 内政部 参考文献： [1] Berge，C.（1989）。超图，诺思霍兰德数学图书馆，第45卷。阿姆斯特丹North-Holland出版公司。（有限集组合数学，法语翻译）·Zbl 0674.05001号 [2] Donders，M.S.、More，S.M.和Naumov，P.（2011年）。有向非循环图上的信息流。L.D.Beklemishev&R.de Queiroz（编辑）WoLLIC。计算机科学讲义，第6642卷（第95-109页）。施普林格·Zbl 1326.68208号 [3] Fagin，R.、Halpern，J.Y.、Moses，Y.和Vardi，M.Y.（1995）。关于知识的推理。马萨诸塞州剑桥：麻省理工学院出版社·Zbl 0839.68095号 [4] Halpern，J.Y.和Moses，Y.（1990年）。分布式环境中的知识和常识。美国医学会杂志，37（3），549-587·Zbl 0699.68115号 [5] Holbrook，S.和Naumov，P.（2012年）。信念形成网络中的容错。收录于：L.F.del Cerro、A.Herzig和J.Mengin（编辑）JELIA，《计算机科学讲义》，第7519卷（第267-280页）。施普林格·Zbl 1361.68274号 [6] Kane，J.和Naumov，P.（2013年）。通信链的认识逻辑。2013年1月，在印度钦奈举行的第14届理性与知识理论方面会议（TARK’13）上（第131-137页）。 [7] Lewis，D.（1969年）。约定：哲学研究。马萨诸塞州剑桥：哈佛大学出版社。 [8] More，S.M.和Naumov，P.（2011年a）。秘密超图上的函数依赖关系。收录于：J.Leite、P.Torroni、T.Au gotnes、G.Boella和L.van der Torre（编辑），CLIMA，计算机科学讲稿，第6814卷（第29-40页）。施普林格·Zbl 1348.68265号 [9] More，S.M.和Naumov，P.（2011年b）。多方秘密的超图。数学与人工智能年鉴，62（1-2），79-101·Zbl 1238.68156号 ·doi:10.1007/s10472-011-9252-z [10] More，S.M.和Naumov，P.（2011年c）。协作网络中的秘密逻辑。《纯粹逻辑与应用逻辑年鉴》，162（12），959-969·Zbl 1241.03012号 ·doi:10.1016/j.apal.2011.06.001 [11] Studer，T.（2009）。常识没有贝思的属性。《信息处理快报》，109（12），611-614·Zbl 1214.03013号 ·doi:10.1016/j.ipl.2009.02.011 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。