曼弗雷德·施密特·肖斯 子句的含义是不可确定的。 （英语） Zbl 0657.03006号 西奥。计算。科学。 59，第3期，287-296（1988）. 作者研究了自动演绎系统中子句含义的判定问题。两个子句A和B的隐含意义（A\右箭头B\）被解释为公式\（（对于所有x_1…x_nA）\右箭头（对于所有y_1…y_mB）\）。因此，如果（A\wedge\neg B\）不可满足，则子句A暗示子句B。子句蕴涵问题等价于由一个子句A和一些基本单位子句（B_i）组成的子句集类是否可判定的问题。利用自由项上有限生成的稳定传递关系的不可判定性，作者证明：（1）（A\Rightarrow B\）是可判定的，前提是A是2-子句；（2） 如果A是包含四个或更多文字的子句，则（A\右箭头B\）是不可判定的。（3） 如果A最多有三个字面值，那么决定\（A\右箭头B\）仍然是一个悬而未决的问题。审核人：李翔 引用于2评论引用于10文件 MSC公司： 03B35型 证明和逻辑操作的机械化 03B25号 理论和句子集的可决定性 03天35分 句子集的不确定性和程度 68吨15 定理证明（演绎、解析等）（MSC2010） 关键词：决策问题;条款的含义;自动扣除系统 PDF格式BibTeX公司 XML格式引用 \文本{M.Schmidt-Schauss}，Theor。计算。科学。59，第3号，287--296（1988；Zbl 0657.03006） 全文： 内政部 参考文献： [1] Ackerman，W.，《决策问题的可解决案例》（1954），北荷兰：北荷兰阿姆斯特丹·Zbl 0056.24505号 [2] Börger，E.、Berechenbarkeit、Komplexität、Logik（1985）、Vieweg&Sohn:Vieweg和Sohn Braunschweig/威斯巴登·Zbl 0593.03001号 [3] Chang，L.C。；Lee，R.C.T.，《符号逻辑与机械定理证明》（1973），学术出版社：纽约学术出版社·Zbl 0263.68046号 [4] Clocksin，W.F。；梅利什，C.S.，《PROLOG编程》（1981），《施普林格：柏林施普林格》·Zbl 0466.68009号 [5] Dixon，J.，（Z）-归结：用编译公理证明定理，J.ACM，20，1，127-147（1973）·Zbl 0269.68051号 [6] Dreben，B。；Goldfarb，W.，《决策问题：量化公式的可解类》（1979），Addison-Wesley：Addison-Whesley Reading，MA·兹比尔0457.03005 [7] 艾宾浩斯，H.-D。；Flum，J.等人。；Thomas，W.，Einführung，《数学逻辑》（1978），《维森沙夫利希-布赫杰塞尔学院：维森沙夫利希-布赫杰塞尔学校达姆施塔特》（Wissenschaftliche Buchgesellschaft Darmstadt）·Zbl 0399.03001号 [8] Eder，E.，替换和统一的性质，J.符号计算。，1, 31-46 (1985) ·Zbl 0589.68063号 [9] Eisinger，N.，《吸积和连接图》（Proc.IJCAI 1981）。程序。IJCAI 1981，温哥华（1981）），480-486 [10] Goldfarb，W.，《量化理论的决策问题》（哈佛大学博士论文（1974））。（哈佛大学博士论文（1974），Notices Amer。数学。Soc.，21，4，380（1974），公告于 [11] Goldfarb，W.，《具有同一性的哥德尔类的不可解性》，J.符号逻辑，49，4，1237-1252（1984）·Zbl 0576.03008号 [12] W.Goldfarb，《私人通信》（1986年）。；W.Goldfarb，《私人通信》（1986年）。 [13] Gottlob，G.，《推定与暗示》，《信息》。过程。莱特。，24, 2, 109-111 (1987) ·Zbl 0629.68091号 [14] 霍普克拉夫特，J.E。；Ullmann，J.，《自动机理论、语言和计算导论》（1979），Addison-Wesley:Addison-Whesley Reading，MA·Zbl 0426.68001号 [15] Huet，G。；Oppen，D.C.，方程式和重写规则，SRI技术报告CSL-111。（R.V.著，《形式语言：观点和开放问题》（1982年），学术出版社：纽约学术出版社（1980年），另见 [16] Joyner，W.H.，《自动理论证明和决策问题》（报告#7-73（1973），哈佛大学计算技术研究中心：计算技术研究院，哈佛大学剑桥，马萨诸塞州） [17] 卡普尔，D。；Narendran，P.，集统一和匹配问题的NP-完备性，（第八届CADE会议，第八届CAD会议，计算机科学讲稿，230（1986），施普林格：施普林格-柏林），489-495·Zbl 0643.68054号 [18] Lewis，H.R.，《量化公式的不可解类》（1979），Addison-Wesley：Addison-Whesley Reading，MA·Zbl 0423.03003号 [19] 刘易斯，H.R。；Goldfarb，W.，《含有少量原子子公式的公式的决策问题》，J.符号逻辑，38，3，471-480（1973）·Zbl 0276.02029号 [20] Loveland，D.，《自动定理证明：逻辑基础》，（计算机科学基础研究，6（1978），北荷兰：北荷兰阿姆斯特丹）·Zbl 0364.68082号 [21] Manna，Z.，《计算数学理论》（1974），McGraw-Hill:McGraw-Shill纽约·Zbl 0353.68066号 [22] Ohlbach，H.J.，Ein regelbasiertes Klauselgraphh-Beweisverfahren，（Neumann，B.，第七届德国人工智能研讨会，第七期德国人工智能讲习班，Informatik-Fachberichte，76（1983），Springer:Springer Berlin）·Zbl 0539.68086号 [23] Robinson，J.A.，《基于分辨原理的面向机器的逻辑》，J.ACM，12，1，23-41（1965）·Zbl 0139.12303号 [24] Siekmann，J.H.，统一理论，Proc。ECAI 86，第二卷，vi xxxv（1986） [25] Taylor，W.，赤道逻辑，（Cákány，B.；Schmidt，J.，对普遍代数的贡献。对普遍代数的贡献，学术讨论会数学社会János Bolyai，17（1975），北荷兰：北荷兰阿姆斯特丹），465-501·兹比尔0421.08003 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。