×

具有多估值和内涵逻辑运算的多代理逻辑。 (英语) Zbl 1486.03054号

摘要:我们考虑一种基于线性时序逻辑的多智能体逻辑。该逻辑用作具有多个估值的语义关系时态模型——这些模型对所有代理都有单独的估值。我们在逻辑语言中引入了两种新的内涵逻辑运算——貌似有理的占主导地位–捕捉不确定性的特征。我们正在处理的主要数学问题是可满足性问题。我们对其进行了求解,并找到了判定算法。在论文的最后一部分,我们讨论了一些有趣的悬而未决的问题,以便进行进一步的研究。

MSC公司:

03B70号 计算机科学中的逻辑
03B44号 时间逻辑
68T27型 人工智能中的逻辑
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] M.Wooldridge和A.Lomuscio,“多代理VSK逻辑”,《第七届欧洲人工智能逻辑研讨会论文集》(JELIAI-2000)(施普林格,柏林,2000)·Zbl 0998.68164号
[2] M.Wooldridge,“多智能体规划的自动机理论方法”,《第一届欧洲多智能体系统研讨会论文集》(EUMAS 2003)(牛津大学出版社,纽约,2003)。
[3] 伍尔德里奇,M。;雨果,M.P。;费希尔,M。;Parsons,S.,模型检查多智能体系统:MABLE语言及其应用,国际人工制品杂志。智力。工具,15,195-225(2006)·doi:10.1142/S0218213006002631
[4] Belardinelli,F。;Lomuscio,A.,《多智能体系统一阶逻辑中知识与时间的相互作用:完备性结果》,J.Artif。智力。研究,45,1-45(2012)·Zbl 1267.68221号 ·doi:10.1613/jair.3547
[5] 巴贝尼舍夫,S。;Rybakov,V.,《多智能体环境决策算法中发现的合理性逻辑》,Lect。注释计算。科学。,5179, 210-217 (2008) ·doi:10.1007/978-3-540-85567-5_27
[6] Babenyshev,S。;Rybakov,V.,基于线性时序逻辑LTL的局部公共知识混合逻辑的可判定性,Lect。注释计算。科学。,5028, 32-41 (2008) ·Zbl 1142.03323号 ·doi:10.1007/978-3-540-69407-64
[7] Babenyshev,S。;Rybakov,V.,《发现和知识的逻辑:决策算法》,Lect。注释计算。科学。,5178, 711-718 (2008) ·doi:10.1007/978-3-540-85565-1_88
[8] Babenyshev,S。;Rybakov,V.,《描述多智能体系统的进化》,Lect。注释计算。科学。,5711, 38-45 (2009) ·doi:10.1007/978-3-642-04595-05
[9] Rybakov,V.V.,由具有交互代理的多智能体逻辑(K_n)扩展的线性时间逻辑(LTK_K\),J.Logic Comput。,19, 989-1017 (2009) ·Zbl 1208.03023号 ·doi:10.1093/log.com/exp027
[10] 费金,R。;Halpern,J。;摩西,Y。;Vardi,M.,《关于知识的推理》(1995),马萨诸塞州波士顿:麻省理工学院,波士顿·Zbl 0839.68095号
[11] D.M.Gabbay、I.M.Hodkinson和M.A.Reynolds,“时间逻辑”,“数学”。已找到。计算。天冬氨酸。1 (1994). ·Zbl 0921.03023号
[12] Gabbay,D.M。;Hodkinson,I.M.,实数上具有Until和Since的时态逻辑公理化,J.logic Comput。,1, 229-260 (1990) ·Zbl 0744.03018号 ·doi:10.1093/logcom/1.2.229
[13] 加巴伊,D。;Hodkinson,I.,《逻辑与现实》,《亚瑟·普赖尔遗产论文》(1995),纽约:牛津大学出版社,纽约
[14] M.Vardi,“线性时间逻辑的自动机理论方法”,载于《Y.Banff高阶研讨会论文集》,1995年,第238-266页。
[15] Vardi,M.Y.,《用双向自动机推理过去》,Lect。注释计算。科学。,1443, 628-641 (1998) ·Zbl 0909.03019号 ·doi:10.1007/BFb0055090
[16] 范·本特姆,J.F.A.K.,《时间的逻辑:对时间本体和时间话语多样性的模型理论研究》(1982),多德雷赫特:雷德尔·Zbl 0508.03008号
[17] Rybakov,V.V.,《整数上带有直到和之前的线性时序逻辑,判定算法》,Lect。注释计算。科学。,3967, 322-334 (2006) ·兹比尔1185.03022 ·doi:10.1007/11753728_33
[18] Babenyshev,S。;Rybakov,V.,线性时序逻辑LTL:容许规则的基础,J.逻辑计算。,21, 157-177 (2011) ·Zbl 1233.03026号 ·doi:10.1093/log.com/exq020
[19] Rybakov,V.,非传递线性时序逻辑和逻辑知识运算,J.逻辑计算。,26, 945-958 (2016) ·Zbl 1403.03028号 ·doi:10.1093/log.com/exv016
[20] Rybakov,V.,非敏感时态多智能体逻辑,知识和不确定性,合理性,Lect。注释计算。科学。,9537, 364-375 (2016) ·Zbl 1474.68340号 ·doi:10.1007/978-3-319-27683-0_25
[21] Rybakov,V.V.,《直到和下一个的线性时序逻辑,逻辑连续性》,《纯粹应用》。逻辑,155,32-45(2008)·兹比尔1147.03008 ·doi:10.1016/j.apal.2008.03.001
[22] Rybakov,V.V.,《可容许性到有效性和统一性的通用公式还原的多模态和时序逻辑》,《逻辑计算杂志》。,18, 509-519 (2008) ·Zbl 1149.03017号 ·doi:10.1093/log.com/exm078
[23] Ghilardi,S.,《直觉主义逻辑的统一》,J.Symbol。逻辑,64,859-880(1999)·Zbl 0930.03009号 ·doi:10.2307/2586506
[24] 艾姆霍夫,R。;梅特卡夫,G.,《可容许规则的证明理论》,《纯粹应用》。逻辑,159171-186(2009)·Zbl 1174.03024号 ·doi:10.1016/j.apal.2008年10月1日
[25] Jerabek,E.,Lukasiewicz逻辑的可容许规则,J.逻辑计算。,20, 425-447 (2010) ·Zbl 1216.03042号 ·doi:10.1093/log.com/exp078
[26] Jerabek,E.,《可接受规则的独立基础》,Logic J.IGPL,16,249-267(2008)·Zbl 1146.03008号 ·doi:10.1093/jigpal/jzn004
[27] 巴德,F。;Küsters,R.,《角色传递闭包描述逻辑中的统一》,Lect。注释计算。科学。,2250, 217-232 (2001) ·Zbl 1275.68134号 ·doi:10.1007/3-540-45653-8_15
[28] 巴德,F。;Morawska,B.,《描述逻辑中的统一》,《逻辑》。方法计算。科学。,6, 1-31 (2010) ·Zbl 1214.68379号
[29] Ghilardi,S.,通过投射统一,J.逻辑计算。,7, 733-752 (1997) ·Zbl 0894.08004号 ·doi:10.1093/logcom/7.6.733
[30] Rybakov,V.,《通过交互代理进行知识和发现的逻辑》。真实和可满足语句的决策算法,Inform。科学。,179, 1608-1614 (2009) ·Zbl 1179.68151号 ·doi:10.1016/j.ins.2008.12008
[31] Rybakov,V.,具有多值的多智能体时间逻辑,兄弟。数学杂志。,59, 710-720 (2018) ·Zbl 1469.03047号 ·doi:10.1134/S0037446618040134
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。