×
维托·马查多;贝内维迪斯，马里奥

总体公告逻辑（PPAL）。 （英语） Zbl 1495.03023号

Felty，Amy（编辑）等人，第14届逻辑和语义框架及其应用国际研讨会，2019年8月于巴西纳塔尔举行。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。348, 105-123 (2020).
摘要：人口公告逻辑（PPAL）是标准公共公告逻辑（PAL）的一个变体，具有模糊语义，其中没有特定的代理，而是人口和组。定义了语义和公告逻辑，并提供了一个示例。我们展示了类似于PAL公理及其证明的有效性，并提供了可判定性的证明。我们简要讨论了模型检查，并将该框架与概率逻辑进行了比较。我们得出的结论是，与PAL相比，PPAL的主要优势是可以灵活地使用先前定义的代理。
关于整个系列，请参见[Zbl 1436.68027号].

MSC公司：

03B42号 知识和信念的逻辑（包括信念变化）
68立方英尺 知识表示

关键词：

认知逻辑;模态逻辑;知识表示

软件：

MCMAS公司;MCK公司;演示;SMCDEL公司
PDF格式BibTeX公司 XML格式引用
\textit{V.Machado}和\textit{M.Benevedis}，电子。注释Theor。计算。科学。348105-123（2020年；Zbl 1495.03023）
全文： 内政部

参考文献：

[1] Akers，S.B.，二进制决策图，IEEE Trans。计算。，27, 509-516 (1978) ·Zbl 0377.94038号
[2] Baltag，A。；Moss，L.S.，《认知程序的逻辑》，Synthese，139，165-224（2004）·Zbl 1100.03010号
[3] Baltag，A。；莫斯，L.S。；Solecki，S.，《公开声明、常识和私人怀疑的逻辑》（1998年《TARK会议记录》），43-56
[4] 埃斯特娃，F。；戈多，L。；Noguera，C.，《基于一阶t-范数的真常量模糊逻辑：区分语义和完备性属性》，《纯粹逻辑和应用逻辑年鉴》，161185-202（2009）·Zbl 1222.03027号
[5] 费金，R。；Halpern，J.Y.，《关于知识和概率的推理》，J.ACM，41，340-367（1994）·Zbl 0806.68098号
[6] 费金，R。；Halpern，J.Y。；Megiddo，N.，《概率、信息和计算推理逻辑》，87，78-128（1990），特刊：1988年IEEE计算机科学逻辑研讨会精选。网址·兹伯利0811.03014
[7] 费金，R。；Halpern，J.Y。；摩西，Y。；Vardi，M.Y.，《知识推理》（1995）·Zbl 0839.68095号
[8] 配件，M。；Thalmann，L.公司。；Voronkov，A.，《模态逻辑》，Studia Logica，69，133-169（2001）·Zbl 0992.03026号
[9] Gammie，P。；范德梅登，R.，MCK：模型检验知识逻辑，计算机辅助验证，311479-483（2004）·Zbl 1103.68614号
[10] 杰布兰迪。；Groneveld，P.W.，《关于信息变化的推理》，《逻辑、语言与信息杂志》，147-169（1997）·Zbl 0873.03029号
[11] Hájek，P.，《论模糊模态逻辑s5（c），模糊集与系统》，1612389-2396（2010），在乌尔里希·霍勒65岁生日之际向他致敬。URL地址·Zbl 1210.03020号
[12] Harel，D.，《动态逻辑》，497-604（1984），施普林格：施普林格荷兰，多德雷赫特·Zbl 0875.03076号
[13] Kooi，B.，《动态模态逻辑》（A Meeting of the Minds，2007），173-186
[14] Kooi，B.P.，概率动态认知逻辑，《逻辑、语言与信息杂志》，第12期，第381-408页（2003年）·Zbl 1031.03044号
[15] 刘易斯，C.I.，《符号逻辑概览》（1918）
[16] Lomuscio，A。；Raimondi，F.，MCMAS:多智能体系统的模型检查器，用于构建和分析系统的工具和算法，3920，450-454（2006）·Zbl 1459.68121号
[17] Plaza，J.A.，公共传播逻辑，Synthese，158165-179（1989）·Zbl 1126.03308号
[18] 夏皮罗，S.C.，《知识表征》，认知科学百科全书，2671-680（2003）
[19] Smets，S。；Velázquez-Quesada，F.R.，《社交网络的创建和变化：基于群体规模的逻辑研究》（计算机科学讲义（LNCS）（2017））
[20] van Benthem，J。；van Eijck，J。；加廷格，M。；Su，K.，动态认知逻辑的符号模型检查，（van der Hoek，W.；Holliday，W.H.；Wang，W.-f.，《逻辑、理性和交互》，《逻辑，理性和交互，计算机科学讲义》，第9394卷（2015），施普林格：施普林格-柏林-海德堡），366-378·Zbl 1410.68241号
[21] van Ditmarsch，H。；van Eijck，J。；Hernández-Antón，I。；Sietsma，F。；西蒙，S。；Soler-Toscano，F.，用演示在动态认知逻辑中建模密码密钥，（第十届代理和多代理系统实际应用国际会议，第156卷（2012）），155-162
[22] 冯·赖特，G.H.，《模态逻辑论文》，《哲学》，第28期，第76-79页（1953年）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。