普利乌什凯维奇乌斯,里贾曼塔斯;艾达,普留什凯维奇 可传递分布式知识逻辑片段中派生的终止。 (英语) Zbl 1178.68079号 维尔纽斯Informatica 19,第4期,597-616(2008). 摘要:考虑了一种可传递的分布式知识逻辑。所考虑的逻辑S4(_n)D是通过添加传递分布式知识算子从多模态逻辑S4获得的。对于这个逻辑片段,提出了无循环序列演算。所考虑的片段可以应用于基于知识的分布式系统的安全属性的规范和验证。基于构造的无环序列演算,提出了一个Pspace过程来确定逻辑S4(_n)D中所考虑片段中反向求导的终止。 引用于1文件 MSC公司: 64岁以下 分布式系统 68T27型 人工智能中的逻辑 关键词:知识逻辑;分布式知识;分布式系统的安全性和活性;基于演绎的决策过程;矢列演算;回路检查;回溯;PSPACE复杂性 PDF格式BibTeX公司 XML格式引用 \textit{R.Pliuškevićius}和\textit{A.Pliuökevičien},维尔纽斯Informatica 19号,第4期,第597-616页(2008年;Zbl 1178.68079)