×

决策问题的解决方法。 (英语) Zbl 0789.03013号

计算机科学课堂讲稿人工智能课堂讲稿。柏林:Springer-Verlag。八、 205 p.DM 52.00/sc(1993年)。
对于带有函数符号的一阶逻辑,作者用证明理论的、本质上基于解析的方法来处理决策问题。在这本专著中,他们收集并扩展了自己早期的研究成果。
在两章介绍之后,第三章(Leitsch)讨论了语义冲突解决。第4章(由Tammet撰写)详细讨论了排序精化及其完备性。第5章(Fermüller著)描述了基于(A)-排序细化和饱和的各种决策过程。同样基于排序细化的是Maslov(K)类的决策过程,这在第6章中给出(Zamov)。在第7章(Tammet)中,将分辨率和收缩方法应用于自动有限元建模。
最后的第8章介绍了一些额外的应用,例如知识表示语言中的一致性问题,并讨论了实现专著中决策方法的实验结果。

MSC公司:

03B25号 理论和句子集的可决定性
03-02 与数学逻辑和基础相关的研究展览(专著、调查文章)
第68页第15页 定理证明(演绎、解析等)(MSC2010)
03-04 数学逻辑和基础相关问题的软件、源代码等
03B35型 证明和逻辑运算的机械化
PDF格式BibTeX公司 XML格式引用
全文: 内政部