×
扎伊纳布·巴赫蒂亚里;汉斯·范·迪特马什;翁贝托·里维奇奥

认知行为和知识的双态度逻辑。 （英语） Zbl 1481.03005号

Ann.纯粹应用。逻辑 171，第6号，文章ID 102790，27页（2020年）.
总结：A.Baltag公司等[Springer Grad.Texts Philos.1773–812（2016；Zbl 1386.03019号)]提出了经典模态逻辑的扩展，称为认知行为与知识的逻辑(EAK公司)其中可以推理知识和知识的变化。Kurz和Palmigiano展示了对偶理论如何为建模这种认知变化提供了一个灵活的框架，允许人们在比经典逻辑（例如直觉主义基础）更弱的命题基础上发展动态认知逻辑。在本文中，我们展示了如何进一步扩展Kurz和Palmigiano的技术来定义和公理化认知行为与知识的双态度逻辑(喙). 我们的命题基础是著名的Belnap和Dunn四值逻辑的模式展开，这是一个用于处理不一致以及潜在冲突信息的系统。我们相信，从计算机科学的角度来看，这些特征使我们的框架特别有前景。

引用于1文件

理学硕士：

03B42号 知识和信念的逻辑（包括信念变化）
03B50 多值逻辑
03B45号 模态逻辑（包括规范逻辑）

关键词：

动态认知逻辑;双瓣;模态逻辑;代数模型;二元性

引文：

Zbl 1386.03019号
PDF格式BibTeX公司 XML格式引用
\textit{Z.Bakhtiari}等人，Ann.Pure Appl。逻辑171，第6号，文章ID 102790，27页（2020；Zbl 1481.03005）
全文： 内政部 哈尔

参考文献：

[1] 奥费尔·阿列利；Avron，Arnon，《逻辑双态推理》，J.Log。语言信息，5，1，25-63（1996）·Zbl 0851.03017号
[2] 奥费尔·阿列利；Avron，Arnon，四个值的值，Artif。智力。，102, 1, 97-141 (1998) ·Zbl 0928.03025号
[3] 罗伯特·奥曼（Robert J.Aumann），《同意不同意》（Agreeting to disconsure），《美国国家统计年鉴》，第4卷，第1236-1239页（1976年）·Zbl 0379.62003号
[4] 塞缪尔·巴尔科；萨宾·弗里特拉；朱塞佩·格雷科；亚历山大·库兹（Alexander Kurz）；Palmigiano，Alessandra，动作模态逻辑中模块化推理的软件工具支持，（Avigad，Jeremy；Mahboubi，Assia，《第九交互式定理证明程序》，LNCS，第10895卷（2018），Springer），48-67·Zbl 1511.68301号
[5] 亚历山大·巴尔塔格；劳伦斯·S·莫斯。；Solecki，Slawomir，《公开声明、常识和私人怀疑的逻辑》（Gilboa，I.，《第七届TARK会议纪要》（1998），摩根·考夫曼），43-56·Zbl 1386.03019号
[6] 贝尔纳普，努尔，《计算机应该如何思考》（Ryle，G.，《当代哲学》（1977），奥利尔出版社）·Zbl 0424.03012号
[7] 贝尔纳普，纽尔，《有用的四值逻辑》（Dunn，J.M.；Epstein，G.，《多值逻辑的现代应用》（1977），雷德尔），5-37·Zbl 0424.03012号
[8] 费利克斯·布；弗朗西斯科·埃斯特瓦；戈多，Lluís；Oscar Rodríguez，Ricardo，关于有限剩余格上的最小多值模态逻辑，J.Log。计算。，21, 5, 739-790 (2011) ·Zbl 1252.03040号
[9] 卡布雷尔，莱昂纳多；翁贝托·里维奇奥；奥斯卡·罗德里格斯（Oscar Rodríguez）、里卡多（Ricardo）、乌卡西维奇（ukasiewicz）公开宣布逻辑（卡瓦略（Carvalho）、圣保罗（Joáo Paulo）、莱索特（Lesot）、玛丽·珍妮（Marie-Jeanne）、凯马克（Kaymak）、尤扎伊（Uzay）、维埃拉（Vieira）、苏珊娜（Susana M.）、布琼·梅尼尔（Bouchon-Meunier）、伯纳黛·Zbl 1455.03017号
[10] 亚历山大·查尔戈夫（Alexander Chargov）；Michael Zakharyaschev，《模态逻辑》（1997），牛津大学出版社·Zbl 0871.03007号
[11] David W.Etherington，《不完全信息推理》（1988），专著集（Matt-Pseudo）·兹比尔0694.68003
[12] 罗纳德·费金；Joseph Y.Halpern，《信念、意识和有限推理》，Artif。智力。，34, 1, 39-76 (1988) ·Zbl 0634.03013号
[13] 菲尔茨，梅尔文，《比拉提斯与真理理论》，J.菲洛斯。日志。，18, 3, 225-256 (1989) ·Zbl 0678.03028号
[14] Fitting，Melvin，Bilattices和逻辑编程语义，J.Log。程序。，11, 2, 91-116 (1991) ·Zbl 0757.68028号
[15] Fitting，Melvin，多值模态逻辑，Fundam。通知。，15, 235-254 (1992) ·Zbl 0745.03018号
[16] Fitting，Melvin，多值模态逻辑II，Fundam。通知。，17, 1-2, 55-73 (1992) ·Zbl 0772.03006号
[17] Fitting，Melvin，Bilattices是件好事（Bolander，T.；Hendricks，V.；Pedersen，S.A.，Self-Reference（2006），CSLI Publications）·Zbl 1157.03308号
[18] 萨宾·弗里特拉；朱塞佩·格雷科；亚历山大·库兹（Alexander Kurz）；亚历山德拉·帕尔米吉亚诺；Sikimić，Vlasta，《动态认知逻辑的证明理论语义分析》，J.Log。计算。(2014) ·Zbl 1403.03026号
[19] 萨宾·弗里特拉；朱塞佩·格雷科；亚历山大·库兹（Alexander Kurz）；亚历山德拉·帕尔米吉亚诺；Sikimic，Vlasta，动态认知逻辑的多类型显示演算，J.Log。计算。，26, 6, 2017-2065 (2016) ·兹比尔1403.03027
[20] Frittella、Sabine；朱塞佩·格雷科；亚历山大·库兹（Alexander Kurz）；亚历山德拉·帕尔米吉亚诺；《动态认知逻辑的证明理论语义分析》，J.Log。计算。，26, 6, 1961-2015 (2016) ·Zbl 1403.03026号
[21] 杰勒·D·格布兰迪。；Willem Groeneveld，《关于信息变化的推理》，J.Log。语言信息，6147-169（1997）·Zbl 0873.03029号
[22] 金斯伯格，马修，《多值逻辑：人工智能推理的统一方法》，《计算》。智力。，4, 3, 265-316 (1988)
[23] Robert Goldblatt，《复代数的多样性》，Ann.Pure Appl。日志。，44, 3, 173-242 (1989) ·Zbl 0722.08005号
[24] 朱塞佩·格雷科；帕尔米吉亚诺（Palmigiano），亚历山德拉（Alessandra），《正确显示晶格逻辑》（Lattice logic properly displayed），（肯尼迪（Kennedy），朱丽叶（Juliette）；德奎罗斯（de Queiroz），鲁伊（Ruy J.G.B.），《第24届WoLLIC议事录》（Proc.of 24th WoLLIC），《LNCS议事录》，第10388卷（2017·Zbl 1496.03103号
[25] 杰罗恩·格罗恩南迪克（Jeroen Groenendijk）；马丁·斯托霍夫（Martin Stokhof），《问题》（van Benthem，J.；ter Meulen，A.），《逻辑与语言手册》（1997），爱思唯尔出版社，1055-1124·Zbl 0874.03001号
[26] Joseph Y.Halpern。；Moses，Yoram，《分布式环境中的知识和常识》，J.ACM，37，3，549-587（1990）·Zbl 0699.68115号
[27] Joseph Y.Halpern。；Zuck，Lenore D.，《一点知识可以大有帮助：一系列协议的基于知识的推导和正确性证明》，J.ACM，39，3，449-478（1992）·Zbl 0799.68024号
[28] 阿希姆·荣格（Achim Jung）；Rivieccio，Umberto，《模态双参数逻辑的Kripke语义》，（第28届LICS会议（2013），IEEE），438-447·Zbl 1366.03187号
[29] 亚历山大·库兹（Alexander Kurz）；Palmigiano，Alessandra，代数认识论更新，Log。方法计算。科学。，4, 17 (2013) ·Zbl 1330.03035号
[30] Lakemeyer，Gerhard，《信念命题逻辑中的可追踪元推理》，（McDermott，John P.，第十届IJCAI会议记录（1987），Morgan Kaufmann），402-408
[31] Hector J.Levesque，《内隐和外显信仰的逻辑》（Brachman，R.J.，《第四届AAAI学报》（1984年），AAAI出版社），198-202年
[32] 马明辉；亚历山德拉·帕尔米吉亚诺；Sadrzadeh，Mehrnoosh，直觉主义公告逻辑的代数语义和模型完整性，Ann.Pure Appl。日志。，165, 4, 963-995 (2014) ·兹比尔1320.03050
[33] 乔治·E·摩尔（George E.Moore），《对我的批评者的回应》（Schilpp，P.A.，《G·E·穆尔的哲学》（The Philosophy of G.E.Moore.）
[34] Moss，Lawrence S.，《动态认知逻辑》，（van Ditmarsch，H.；Halpern，J.Y.；van der Hoek，W.；Kooi，B.，《认知逻辑手册》（2015），大学出版社），261-312·Zbl 1392.03009号
[35] 拉尼·内尔肯；Francez，Nissim，Bilattices and the semantics of natural language questions，语言学家。菲洛斯。，25, 1, 37-64 (2002)
[36] 谢尔盖·奥丁佐夫；Wansing，Heinrich，《带Belnapian真值的模态逻辑》，J.Appl。非类别。日志。，20, 3, 279-304 (2010) ·Zbl 1242.03050号
[37] Reichgelt，Han，关于知识和信仰推理的逻辑学，Knowl。工程修订，4，2，119-139（1989）
[38] Rivieccio，Umberto，《双关公开宣告逻辑的代数语义》，（《逻辑趋势学报》第十三期（2014年），罗兹大学出版社），199-215·Zbl 1385.03008号
[39] Rivieccio，Umberto，Bilattice公告逻辑，（模态逻辑进展，第10卷（2014）），459-477·Zbl 1385.03008号
[40] 翁贝托·里维奇奥；阿希姆·荣格（Achim Jung）；Jansana，Ramon，《四值模态逻辑：克里普克语义和二元性》，J.Log。计算。，27, 1, 155-199 (2017) ·Zbl 1444.03073号
[41] 桑托斯，尤里·戴维（Yuri David Santos），《动态信息认知逻辑》（A dynamic informational-eptiemic logic），（马德拉（Madeira），亚历山大（Alexandre）；贝内维迪斯（Benevides），马里奥·R·F（Mario R.F.），《动力学逻辑程序、新趋势和应用。程序。动态逻辑，新趋势和应用（DALI），LNCS，第10669卷（2018年），Springer，64-81·Zbl 1503.68253号
[42] Sim，Kwang Mong，信念和双边态度，（智能系统方法论国际研讨会（1994），Springer），594-603
[43] Sim，Kwang Mong，《认识逻辑和逻辑全知：一项调查》，《国际情报杂志》。系统。，12, 1, 57-81 (1997) ·Zbl 0890.03006号
[44] van Ditmarsch Wiebe van der Hoek，汉斯；Iliev，Petar，《一切都是可知的——如何知道一个命题是否正确》，Theoria，78，2，93-114（2012）
[45] van Ditmarsch，Hans；范德霍克，威比；Kooi，Barteld，《动态认识逻辑》，综合图书馆，第337卷（2008），施普林格出版社·Zbl 1156.03015号
[46] Vardi，Moshe Y.，《论认知逻辑和逻辑全知》（Halpern，Joseph Y.，第一次TARK会议记录（1986），Morgan Kaufmann），293-305
[47] 王洋晶；曹钦祥，论公告逻辑的公理化，综合，1 Supp.，103-134（2013）·Zbl 1310.03029号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。