弗兰兹·巴德;西尔维奥·吉拉尔迪 连接多种理论。 (英语) Zbl 1136.03012号 J.塞姆。日志。 72,第2期,535-583(2007). 作者开发了一种有趣且有用的方法,用于合并复杂逻辑系统中的决策过程族。例如,很好地利用了著名的普雷斯伯格型程序/算法用于逻辑算术系统。实际上,他们的方法似乎可以用于合并用于证明线性规划问题多项式时间可解性的几种不同类型的算法/过程。他们提出了一种新的方案来合并多种分类理论,并展示了在什么条件下,组成理论的“普遍碎片”的可判定性转移到它们的组合中。如果他们的方法延续到成分理论的“普遍碎片”的不可判定性转移到其组合的情况,那么重要的新结果将有助于更好地理解(1)不可判定理论和(2)递归可枚举的不可解程度。对于对人工智能深层问题感兴趣的古典逻辑学家来说,作者的论文将特别有价值。审核人:Albert A.Mullin(麦迪逊) 引用于7文件 MSC公司: 03B25号 理论和句子集的可决定性 03B35型 证明和逻辑运算的机械化 03B45号 模态逻辑(包括规范逻辑) 03D40号 可计算性和递归理论中的单词问题等 68T27型 人工智能中的逻辑 关键词:多种理论;自动演绎;人工智能;模态逻辑;逻辑单词问题 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{S.Ghilardi},J.Symb。日志。72,第2号,535--583(2007;Zbl 1136.03012) 全文: 内政部 参考文献: [1] 一阶范畴逻辑611(1977) [2] ACM程序设计语言与系统汇刊1第245–257页-(1979) [3] 模态逻辑53(2001)·Zbl 0998.03015号 [4] 信息与计算178 pp 346–390–(2002) [5] 第十四届自动扣减国际会议记录1249页第19–33页–(1997) [6] 《人工智能研究杂志》,16页,第1-58页,(2002年) [7] DOI:10.1016/j.ic.2005.005.009·Zbl 1098.03048号 ·doi:10.1016/j.ic.2005.005.009 [8] 第二届国际自动推理联合会议记录(IJCAR’04)3097 pp 183-197–(2004) [9] 《纯粹与应用逻辑年鉴》71第131-188页(1995年) [10] 第20届自动扣减国际会议记录(CADE-05)3632 pp 278–294–(2005) [11] 第18届自动扣款国际会议记录(CADE’18)2392第363–376页(2002年) [12] 第五届组合系统前沿国际研讨会论文集(FroCoS 2005)3717 pp 31–47–(2005) [13] 模态逻辑进展pp 361–379–(1998) [14] 第十四届逻辑程序设计国际会议记录第331–345页–(1997) [15] 理论计算机科学290页291–353–(2003) [16] 《自动推理杂志》,30页,第1–31页,2003年 [17] 独立公理化双模逻辑的性质56 pp 1469–1485–(1991) [18] 模型理论42(1993) [19] 滑轮,游戏和模型完成14(2002) [20] 《自动推理杂志》,第33页,第221–249页,2005年 [21] 计算机科学的逻辑:自动定理证明的基础(1986)·Zbl 0605.03004号 [22] 理论计算机科学294 pp 103–149–(2003) [23] 第十二届自动扣减国际会议记录814 pp 267–281–(1994) [24] 模型理论(1990) [25] 自动定理证明:25年后29页201–211–(1984) [26] 第三届国际自动推理联合会议记录4130 pp 513–527–(2006) [27] 符号计算杂志8第51–100页–(1989) [28] 工薪奴隶数学协会(Comptes rendu congrès de mathematiciens des pays slaves)(1929年) [29] 数学座谈会30第15–25页–(1974) [30] 理论计算机科学12页291–302–(1980) [31] 符号计算杂志12页633–653–(1991) [32] 人工智能156 pp 1–73–(2004)·兹比尔1106.68377 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。