×
米歇尔·古兹曼;斯特凡·哈尔;萨利姆·珀西;卡米洛·鲁埃达;弗兰克·巴伦西亚。

在空间和挤压的代数中，信仰、知识、谎言和其他话语。 （英语） Zbl 1353.68203号

J.日志。阿尔盖布。方法计划。 86，第1期，107-133（2017）.
摘要：概念约束系统（cs）是陈述形式主义的核心并发理论例如并发约束编程（ccp）的过程计算。约束系统通常表示为格子：它们的元素，称为约束条件表示部分信息，其顺序与蕴涵相对应。最近一个概念n-agent空间cs引入了表示空间分布式多agent系统并发约束程序中的信息。来自计算的从观点来看，空间约束系统可用于指定在给定代理空间中保留的部分信息(本地信息). 来自认知的从观点来看，空间cs可用于指定给定代理认为正确的信息(信仰). 然而，空间约束系统并没有提供一种机制来指定信息/过程从一个空间到另一个空间的流动性。信息移动性是并发系统的一个基本方面。
在本文中，我们发展了空间约束系统理论，并使用操作符指定从一个空间移动到另一个空间的信息和过程。我们将研究这一新的约束系统族的性质，并说明它们的应用。从计算的角度来看，新的运算符提供了过程/信息挤压，形式主义的中心概念移动通信从认知的角度来看，挤压对应于一个我们将称之为言语；代理与其他人交流的信息，但可能与代理的信念不一致。然后，话语可以用来表达认知概念的实例，例如恶作剧或故意谎言.空间约束系统可以表达信仰通过空间函数指定本地信息我们将证明，空间约束也可以通过派生的空间操作符来表达知识的认知概念，该操作符指定全球信息.

引用于8文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
03B42号 知识和信念的逻辑（包括信念变化）
第68页第27页 人工智能中的逻辑
68T42型 Agent技术与人工智能

关键词：

代数结构;模态逻辑;认知逻辑;并发理论;移动性;谎言

软件：

SLMC公司;CC-Pi公司
PDF格式BibTeX公司 XML格式引用
\textit{M.Guzman}等人，J.Log。阿尔盖布。方法计划。86，第1号，107--133（2017；Zbl 1353.68203）
全文： 内政部

参考文献：

[1] Abramsky，S。；Jung，A.，领域理论（计算机科学逻辑手册（1994）），1-77
[2] 阿里斯蒂扎巴尔，A。；Bonchi，F。；帕拉米德斯，C。；皮诺，L。；Valencia Frank，D.，并发约束编程的派生标签和双相似性，（《第14届软件科学和计算结构基础国际会议论文集》，第14届国际软件科学与计算结构基础会议论文集，FOSSACS 2011。第14届软件科学和计算结构基础国际会议论文集。第14届软件科学和计算结构基础国际会议论文集，FOSSACS 2011，Lect。注释计算。科学。（2011），施普林格），138-152·Zbl 1326.68196号
[3] 本特森，J。；约翰逊，M。；帕罗，J。；Victor，B.，《Psi-calculi：移动过程、标称数据和逻辑》，（第24届IEEE计算机科学逻辑研讨会论文集。第24届EEE计算机科学逻辑会议论文集，LICS 2009（2009）），39-48
[4] Bistarelli，S。；Santini，F.，一种安全的非单调软并发约束语言，Fundam。通知。，134, 261-285 (2014) ·Zbl 1315.68037号
[5] 布莱克本，P。；De Rijke，M。；Venema，Y.，模态逻辑（2002），剑桥大学出版社
[6] Boer，F.S。；迪·皮耶罗，A。；Palamidessi，C.，约束编程中的非确定性和无限计算，Theor。计算。科学。，37-78 (1995) ·Zbl 0872.68103号
[7] Bortolussi，L。；Wiklicky，H.，分布式和概率并发约束编程语言，（逻辑编程（2005），Springer），143-158·Zbl 1165.68325号
[8] Brim，L。；克雷廷斯基，M。；杰奎特，J.-M。；Gilbert，D.，将多智能体系统建模为同步并发约束过程，计算。通知。，21, 565-590 (2002) ·Zbl 1076.68043号
[9] Buscemi，M.G。；Montanari，U.，Cc-pi:一种用于指定服务级别协议的基于约束的语言，（第16届欧洲编程语言和系统研讨会论文集。第16届欧盟编程语言和体系研讨会论文集，ESOP 2007（2007）），18-32·Zbl 1187.68063号
[10] Caires，L。；Cardelli，L.，《并发的空间逻辑》（第二部分），（第十三届并发理论国际会议论文集。第十三届国际并发理论会议论文集，CONCUR 2002（2002）），209-225·Zbl 1012.68122号
[11] Caires，L。；Cardelli，L.，并发的空间逻辑（第一部分），Inf.Compute。，194-235 (2003) ·Zbl 1068.03022号
[12] Cardelli，L。；Gordon，A.D.，Mobile ambients，（《第一届软件科学和计算结构基础国际会议论文集》，《第一届国际软件科学与计算结构基础会议论文集，FoSSaCS’98（1998）》），140-155·Zbl 0889.00031号
[13] 库索特，P。；库索特，R.，《抽象解释：通过构造或近似不动点对程序进行静态分析的统一格模型》，（第四届ACM编程语言原理研讨会会议记录（1977）），238-252
[14] Davey，B.A。；Priestley，H.A.，《格与序导论》（2002），剑桥大学出版社·兹比尔1002.06001
[15] 迪·皮耶罗，A。；帕拉米德斯，C。；Boer，F.S.，《约束逻辑编程的代数观点》，J.Log。计算。，1-38 (1997) ·Zbl 0865.68025号
[16] 迪亚斯，J.F。；Rueda，C。；Valencia，F.D.，《Pi+演算：具有约束的并发过程的演算》（1998），1998年12月，CLEI'97最佳论文特刊
[17] Fages，F。；Ruet，P。；Soliman，S.，《线性并发约束编程：操作和阶段语义》，Inf.Compute。，14-41 (2001) ·Zbl 1003.68065号
[18] 费金，R。；Halpern，J.Y。；摩西，Y。；Vardi，M.Y.，《知识推理》（Reasoning About Knowledge）（1995），麻省理工学院出版社：麻省理学院出版社剑桥·Zbl 0839.68095号
[19] 法拉斯基，M。；Olarte，C。；帕拉米德斯，C。；Valencia，F.D.，时间并发约束程序的声明性诊断（ICLP'07）。ICLP’07，莱克托。注释计算。科学。，第4670卷（2007），施普林格），271-285·Zbl 1213.68204号
[20] Gierz，G。；霍夫曼，K.H。；Keimel，K。；劳森，J.D。；Mislove，M。；Scott，D.S.，《连续格与域》（2003），剑桥大学出版社·Zbl 1088.06001号
[21] 吉尔伯特，D。；Palamidessi，C.，《具有过程移动性的并发约束编程》，（计算逻辑，计算逻辑，CL 2000（2000），Springer），463-477·Zbl 0983.68617号
[22] Gooderl，K.R.，部分有序阿贝尔群与插值（2010），美国数学学会
[23] 哈尔，S。；珀西，S。；Rueda，C。；Valencia，F.D.，并发/认知逻辑的空间/信念和挤压/话语的代数观点，（第17届ACM SIGPLAN国际声明性编程原理与实践研讨会论文集。第17届APM SIGPLAN国际声明性程序设计原理与实践会议论文集，PPDP 2015（2015）），161-172
[24] Halpern，J.Y。；萨梅特，D。；Segev，E.，《根据信念定义知识：模态逻辑视角》，Rev.Symb。日志。，469-487 (2009) ·Zbl 1186.03030号
[25] Hintikka，J.，《知识与信仰》（1962），康奈尔大学出版社
[26] 奈特，S。；帕拉米德斯，C。；帕南加登，P。；Valencia，F.D.，《基于约束的过程计算中的空间和认知模式》，（第23届并行理论国际会议论文集。第23届并发理论国际会议文献集，CONCUR 2012（2012），Springer），317-332·Zbl 1364.68290号
[27] Kripke，S.A.，模态逻辑的语义分析，正规模态命题计算，数学。日志。Q.，67-96（1963）·Zbl 0118.01305号
[28] Manna，Z。；Pnueli，A.，《反应和并发系统的时间逻辑：规范》（1992），施普林格科学与商业媒体
[29] 麦肯锡，J.C.C。；塔斯基，A.，《拓扑代数》，《数学年鉴》。，141-191 (1944) ·Zbl 0060.06206号
[30] Mendler，N.P。；帕南加登，P。；斯科特·P·J。；Seely，R.，并发约束编程的逻辑视图，Nord.J.Compute。，181-220 (1995) ·Zbl 0839.68020号
[31] Olarte，C。；Valencia，F.D.，通用时间CCP的表达：一元FLTL和安全闭包算子的不可判定性，（《第十届ACM SIGPLAN国际声明性编程原理与实践会议论文集》，第十届AC M SIGPLAN国际声明性程序设计原理与实践大会论文集，PPDP 2008（2008）），8-19
[32] Olarte，C。；Nigam，V。；Pimentel，E.，并发约束编程中的动态空间，（逻辑和语义框架第八次研讨会论文集。逻辑和语义架构第八次会议论文集，LSFA 2013（2013），Elsevier），103-121·兹比尔1335.68180
[33] 帕南加登，P。；萨拉斯瓦特，V。；斯科特·P·J。；Seely，R.，并发约束编程的超理论观点，（语义研讨会：基础与应用，REX（1993），Springer），457-476
[34] 菲利普斯一世。；Ulidowski，I.，《一种具有反向模式的历史-保护双向模拟逻辑》，（第18届并发表达性国际研讨会论文集。第18届并行表达性国际会议论文集，EXPRESS’11（2011）），104-118·Zbl 1457.68193号
[35] Popkorn，S.，《模态逻辑的第一步》（1994），剑桥大学出版社·Zbl 0921.03019号
[36] Réty，J.，分布式并发约束编程，Fundam。通知。，323-346 (1998) ·Zbl 0943.68025号
[37] Ryan，M。；Schobbens，P.-Y.，《反事实与反模式更新》，J.Log。《语言情报》，123-146（1997）·Zbl 0921.03035号
[38] Sakama，C。；卡米纳达，M。；Herzig，A.，《谎言的逻辑解释》（《第十二届欧洲人造逻辑会议论文集》，第十二届人造逻辑欧洲会议论文集，JELIA 2010（2010），Springer），286-299·Zbl 1306.68196号
[39] 萨拉斯瓦特，V.A。；里纳德，M。；Panangaden，P.，并发约束编程的语义基础，（第十八届ACM编程语言原理年会会议记录（1991）），333-352
[40] Van Ditmarsch，H.，《说谎的动力学》，Synthese，745-777（2014）·Zbl 1310.03031号
[41] Van Ditmarsch，H。；Van Eijck，J。；Sietsma，F。；Wang，Y.，《谎言的逻辑》（游戏、动作和社交软件（2012），施普林格出版社），第41-72页
[42] Vickers，S.，《逻辑拓扑》（1996），剑桥大学出版社·Zbl 0922.54002号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。