×
汉斯·范·迪特马什;范德霍克，威比;巴特尔·库伊;Louwe B.Kuijer。

任意箭头更新逻辑。 （英语） Zbl 1392.68396号

Artif公司。智力。 242, 80-106 (2017).
摘要：本文介绍了任意箭头更新逻辑（AAUL）。逻辑AAUL采用箭头更新逻辑，这是一种动态认知逻辑，其中更新了代理的可访问性关系，而不是可能世界的集合，并在这种箭头更新上添加了一个量词。
我们研究了AAUL与其他逻辑（尤其是任意公告逻辑（APAL））相比的相对表达性。此外，我们还表明AAUL的模型检查问题是PSPACE-complete。最后，我们介绍了AAUL的一个证明系统，并证明了它是健全和完整的。

引用于1审查
引用于8文件

MSC公司：

68T27型 人工智能中的逻辑
03B42号 知识和信念的逻辑（包括信念变化）
68立方英尺 知识表示

关键词：

模态逻辑;知识表示;箭头更新逻辑;动态认知逻辑;任意箭头更新逻辑;任意公告逻辑
PDF格式BibTeX公司 XML格式引用
\textit｛H.van Ditmarsch｝等人，人工制品。智力。242、80-106（2017；Zbl 1392.68396）
全文： DOI程序

参考文献：

[1] GOAL：面向目标的代理语言
[2] 奥戈特内斯，T。；巴尔比亚尼，P。；van Ditmarsch，H.等人。；Seban，P.，《集团公告逻辑》，J.Appl。日志。，8, 1, 62-81 (2010) ·Zbl 1200.03015号
[3] 奥戈特内斯，T。；范德霍克，W。；Rodríguez-Aguilar，J.A。；塞拉，C。；Wooldridge，M.，《论规范系统的逻辑》，（第二十届国际人工智能联合会议论文集。第二十届国际人工智能联合会议论文集，IJCAI07（2007）），1175-1180
[4] Aucher，G。；Schwarzentruber，F.，《论动态认知逻辑的复杂性》，（《理性与知识的理论层面：理性与知识理论层面》，TARK 2013，印度钦奈（2013）），19-28
[5] 巴尔比亚尼，P。；Baltag，A。；van Ditmarsch，H。；Herzig，A。；Hoshi，T。；de Lima，T.，“Knowable”，“发布公告后即为人所知”，Rev.Symb。日志。，1, 3, 205-334 (2008) ·Zbl 1208.03019号
[6] 巴尔比亚尼，P。；van Ditmarsch，H.，APAL完整性的简单证明，Stud.Log。，8, 65-78 (2015)
[7] Baltag，A。；莫斯，L.S。；Solecki，S.，《公告、常识和私人怀疑的逻辑》（Gilboa，I.，《理性和知识的理论方面》，《理性与知识的理论层面》，TARK 1998（1998）），43-56
[8] Belardinelli，F。；Lomuscio，A.，多智能体系统中知识推理的量化认知逻辑，Artif。整数。，173, 9-10, 982-1013 (2009) ·Zbl 1191.68646号
[9] 贝拉迪内利，F。；van Ditmarsch，H。；van der Hoek，W.，《二阶命题公告逻辑》，（Thangarajah，J.；Tuyls，K.；Jonker，C.；Marsella，S.，《第十五届自治代理和多代理系统国际会议论文集》，第十五届国际自治代理和多重代理系统会议论文集，AAMAS 2016（2016）），635-643
[10] van Benthem，J.，《人们可能会知道什么》，《分析》，第64、282、95-105页（2004年）·兹比尔1073.03004
[11] van Benthem，J。；van Eijck，J。；Kooi，B.，《沟通与变革的逻辑》，Inf.Comput。，204, 11, 1620-1662 (2006) ·2012年3月11日
[12] 博泽利。；van Ditmarsch，H。；法语，T。；Hales，J。；Pinchinat，S.，精化模态逻辑，Inf.Comput。，239, 303-339 (2014) ·Zbl 1309.68175号
[13] 达坦，P。；梅耶，J.-J。；Wieringa，R.，《应对和应对约束的综合框架》，Artif。智力。法律，4，2，77-111（1996）
[14] van Ditmarsch，H.，《量化注释》，（Ong，L.；de Queiroz，R.，《第19届WoLLIC会议录》，《Lect.notes计算科学》，第7456卷（2012年），施普林格：施普林格柏林），89-109·Zbl 1362.03016号
[15] van Ditmarsch，H。；Ghosh，S。；Verbrugge，R。；Wang，Y.，《隐藏的协议：在不断变化的世界中改变我们的期望》，Artif。整数。，208, 18-40 (2014) ·Zbl 1334.68232号
[16] van Ditmarsch，H。；范德霍克，W。；Kooi，B.，《动态认识逻辑》（2007），《施普林格：施普林格·柏林》·Zbl 1156.03320号
[17] van Ditmarsch，H。；范德霍克，W。；Kuijer，L.B.，任意箭头更新逻辑的不可判定性（2016）·Zbl 1385.03012号
[18] 法语，T。；van Ditmarsch，H.，《任意公告逻辑的不确定性》，（Areces，C.；Goldblatt，R.，《模态逻辑的进展》，第7卷（2008）），23-42·Zbl 1244.03058号
[19] Hales，J.，任意动作模型逻辑和动作模型综合，（第28届ACM/IEEE计算机科学逻辑研讨会（2013），IEEE），253-262·Zbl 1366.68289号
[20] Halpern，J.Y。；Moses，Y.，《分布式环境中的知识和公共知识》，J.ACM，37，3，549-587（1990）·Zbl 0699.68115号
[21] Hindriks，K.V。；de Boer，F.S。；范德霍克，W。；Meyer，J.-J.C.，《具有声明性目标的代理编程》（Castelfranchi，C.；Lespérance，Y.，Intelligent Agents VII:Agent Theorys Architectures and Languages（2001）），228-243·兹比尔1056.68562
[22] Kooi，B。；Renne，B.，箭头更新逻辑，Rev.Symb。日志。，4, 4, 536-559 (2011) ·Zbl 1252.03034号
[24] Kuijer，L.B.，任意公告有多武断？，（Colinet，M.；Katrenko，S.；Rendsvig，R.K.，《逻辑、语言和计算的Pristine Perspectives on Logic，Language and Computation》（2014），第109-123页·兹比尔1417.03139
[25] Kuijer，L.B.，《基于箭头的规范动态逻辑》（第三届战略推理国际研讨会论文集（2015年））
[26] 麦克纳马拉，P。；Prakken，H.，《规范、逻辑和信息系统：道义逻辑和计算机科学的新研究》，《人工智能和应用的前沿》（1999），IOS出版社·Zbl 0918.00016号
[27] 佩奇，R。；Tarjan，R.E.，三分区优化算法，SIAM J.Compute。，16, 973-989 (1987) ·Zbl 0654.68072号
[28] Plaza，J.，《公共通信逻辑》，Synthese，158，2，165-179（2007）·Zbl 1126.03308号
[29] Rao，M。；Georgeff，P.，《BDI-agents:从理论到实践》，（《第一届多智能体系统国际会议论文集》，《第一届国际多智能体会议论文集，ICMAS’95（1995）》），312-319
[30] Sistla，A.，《时态逻辑中的安全、活力和公平》，Form.Asp。计算。，6, 5, 495-511 (1994) ·Zbl 0820.68077号
[31] 范德霍克，W。；查姆罗加，W。；Wooldridge，M.，《走向意图修正理论》，Synthese，155，2，265-290（2007）·Zbl 1120.03013号
[32] Wang，Y.，认知建模与协议动力学（2010），阿姆斯特丹大学博士论文
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。