×
亚历山大·巴尔塔格;尼娜·吉拉西姆祖克;艾比克·厄兹根;安娜·露西亚·巴尔加斯·桑多瓦尔;斯梅茨，索尼娅

学习理论的动态逻辑。 （英语） Zbl 1435.68310号

J.日志。阿尔盖布。方法计划。 109，文章ID 100485，第20页（2019）.
总结：在以前工作的基础上[第一作者，“信念修正是一个追踪真相的过程”，载于：第13届理性和知识理论方面会议论文集，TARK’11。纽约州纽约市：计算机协会（ACM）。187–190 (2011;doi:10.1145/2000378.2000400); “关于归纳问题的可解性：认知拓扑学研究”，电子。程序。西奥。计算。科学。（EPTCS）21581-98（2016年；doi:10.4204/EPTCS.215.7)] 为了在拓扑环境中桥接形式学习理论和动态认识逻辑，我们引入了一个学习理论的动态逻辑（DLLT），扩展子集空间逻辑[L.S.莫斯和R.帕里克，“拓扑推理和知识的逻辑”，载于：关于知识推理理论方面的第四次会议论文集，TARK'92。马萨诸塞州伯灵顿：Morgan Kaufmann。95–105 (1992);A.达布罗夫斯基等，Ann.Pure Appl。《逻辑78》，第1-3期，第73-110页（1996年；Zbl 0861.68092号)] 使用动态观察模式\（[o]\varphi\），以及学习运算符\（L（overset{\rightarrow}{o}）\），它对学习者的猜想观察到有限的数据序列后（overset{rightarrow}{o}）。我们完全公理化了DLLT，研究了它的表达性，并用它来描述各种知识、信仰和学习的概念。

引用于2文件

MSC公司：

68T27型 人工智能中的逻辑
03B42号 知识和信念的逻辑（包括信念变化）
68问题32 计算学习理论
68立方英尺 知识表示

关键词：

学习理论;动态认知逻辑;模态逻辑;子空间语义;归纳知识;认识论

引文：

Zbl 0861.68092号
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}等人，J.Log。阿尔盖布。方法计划。109，文章ID 100485，20 p.（2019；Zbl 1435.68310）
全文： 内政部 链接

参考文献：

[1] M.Aiello。；Pratt-Hartmann，I。；van Benthem，J.，《空间逻辑手册》，第4卷（2007），施普林格出版社·兹比尔1172.03001
[2] 巴尔比亚尼，P。；van Ditmarsch，H。；Kudinov，A.，《具有任意公告的子集空间逻辑》（第五届ICLA会议纪要（2013），施普林格），233-244·Zbl 1303.03038号
[3] Baltag，A。；Gierasimczuk，N。；奥兹根，A。；Vargas Sandoval，A.L。；Smets，S.，《学习理论的动态逻辑》（dynamic logic.New Trends and Applications，2017），Springer International Publishing，35-54·Zbl 1502.68283号
[4] Baltag，A。；Gierasimczuk，N。；Smets，S.，《信念修正是一个追踪真相的过程》（《第十三届理性与知识理论方面会议论文集》（2011年），美国医学会），187-190年
[5] Baltag，A。；Gierasimczuk，N。；Smets，S.，《归纳问题的可解性：认知拓扑学研究》（Ramanujam，R.，《第十五届TARK会议论文集》（2015）），81-98·Zbl 1483.68367号
[6] Baltag，A。；莫斯，L.S。；Solecki，S.，《公开声明、常识和私人怀疑的逻辑》（《第七届TARK会议论文集》（1998年），摩根考夫曼出版社），43-56
[7] Baltag，A。；奥兹根，A。；Vargas Sandoval，A.L.，《作为动态认知逻辑的拓扑逻辑》（Baltag，A.；Seligman，J.；Yamada，T.，《逻辑、理性与互动》（2017），斯普林格·柏林-海德堡：斯普林格尔·柏林-海德堡-柏林，海德堡），330-346·Zbl 1496.03069号
[8] Bjorndahl，A.，用于公告的拓扑子集空间模型，（van Ditmarsch，H.；Sandu，G.，Jaakko Hintikka on Knowledge and Game Theory Semantics（2018），施普林格国际出版：施普林格国际出版商会），165-186·兹比尔1437.03059
[9] 布莱克本，P。；de Rijke，M。；Venema，Y.，《模态逻辑》，《剑桥理论计算机科学丛书》，第53卷（2001年），剑桥大学出版社：剑桥大学出版社·Zbl 0988.03006号
[10] 达布罗夫斯基，A。；莫斯，L.S。；Parikh，R.，《拓扑推理与知识逻辑》，Ann.Pure Appl。日志。，78, 1, 73-110 (1996) ·Zbl 0861.68092号
[11] Dégremont，C。；Gierasimczuk，N.，从认知更新的角度进行有限识别，Inf.Comput。，209, 3, 383-396 (2011) ·Zbl 1217.68117号
[12] Georgatos，K.，拓扑空间的知识论性质，（Masuch，M.；Pólos，L.，《不确定性下的知识表示和推理：工作中的逻辑》，《人工智能课堂讲稿》，第808卷（1994），Springer），147-159·Zbl 0875.00049号
[13] Georgatos，K.，《树状空间的知识》，Stud.Log。，59, 2, 271-301 (1997) ·Zbl 0889.03016号
[14] Gierasimczuk，N.，《了解自己的极限》。归纳推理的逻辑分析（2010），荷兰阿姆斯特丹大学博士论文
[15] Gierasimczuk，N。；de Jongh，D.，关于结论更新的复杂性，计算。J.，56，3，365-377（2013）
[16] Gold，E.M.，《限额内的语言识别》，Inf.Control，10，5，447-474（1967）·Zbl 0259.68032号
[17] Kelly，K.T.，《可靠调查的逻辑》（1996），牛津大学出版社·Zbl 0910.03023号
[18] 莫斯，L.S。；Parikh，R.，《拓扑推理和知识逻辑》（《第四届TARK会议论文集》（1992年），摩根·考夫曼），95-105
[19] R·帕里赫。；莫斯，L.S。；Steinsvold，C.，拓扑和认知逻辑，（空间逻辑手册（2007），Springer-Verlag），299-341
[20] Plaza，J.，公共通信逻辑，（Emrich，M.；Pfeifer，M.；Hadzikadic，M.；Ras，Z.，第四届智能系统方法论国际研讨会论文集（1989）），201-216
[21] van Benthem，J.，《信息与交互的逻辑动力学》（2011），剑桥大学出版社：美国纽约州纽约市剑桥大学出版社，ISBN 11074171719781107417175·Zbl 1251.03003号
[22] van Ditmarsch，H。；奈特，S。；Özgün，A.，《拓扑空间的公告》，Synthese（2017）
[23] van Ditmarsch，H。；奈特，S。；Özgün，A.，拓扑子集空间的任意公告，（第十二届欧洲多智能体系统会议（EUMAS）（2014），施普林格），252-266
[24] van Ditmarsch，H。；奈特，S。；Özgün，A.，《拓扑空间的公告》（第15届TARK会议（2015）），95-102
[25] van Ditmarsch，H。；范德霍克，W。；Kooi，B.，《动态认识逻辑》（2007），施普林格出版公司，ISBN 1402058381 9781402058387·Zbl 1156.03320号
[26] Vickers，S.，《逻辑拓扑》，《剑桥理论计算机科学丛书》（1989），剑桥大学出版社·Zbl 0668.54001号
[27] Wang，Y.N。；Ågotnes，T.，多智能体子集空间逻辑，（第23届IJCAI会议记录，IJCAI/AAAI（2013）），1155-1161
[28] Weiss，硕士。；Parikh，R.，子集空间中某些双模逻辑的完备性，Stud.Log。，71, 1, 1-30 (2002) ·Zbl 1009.03015号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。