卡尔·施莱赫塔 逻辑、拓扑和集成。 （英语） Zbl 0822.03020号 J.自动化。推理 14，第3期，353-381（1995）. 摘要：本文提出的核心概念是两种理论之间的接近性（或差异性）。在第一部分中，我们给出了支持或考虑拓扑的直观论据，包括理论集、连续逻辑和两个逻辑之间的平均差异（即差异的积分）。我们认为理论之间的差异在广泛的应用和问题中的重要性。在第二部分中，我们给出了一类拓扑的一些基本定义和结果。特别地，讨论了分离性质和紧性，并给出了示例。用于构造拓扑的技术还用于定义理论集上可测集的σ-代数，从而得到勒贝格积分的通常定义和两个逻辑的平均差的精确定义。 引用于1文件 MSC公司： 03C99号 模型理论 68T99型 人工智能 54小时99 一般拓扑与其他结构、应用程序的连接 第28页，共15页 与逻辑和集合论的其他联系 关键词：两种理论的接近性;理论集合上的拓扑;连续逻辑;两种逻辑的区别;分离特性;密实度;\理论集上可测集的（sigma）-代数;勒贝格积分 PDF格式BibTeX公司 XML格式引用 \textit{K.Schlechta}，J.Autom（汽车杂志）。推理14，No.3，353--381（1995；Zbl 0822.03020） 全文： 内政部 参考文献： [1] Birnbaum，L.：《僵尸》，《人工智能》47（1991），57-77·doi:10.1016/0004-3702（91）90050-T [2] Dalal，M.：《知识库修订理论调查：初步报告》，Proc。第七届国际自然科学大会，明尼阿波利斯，1988年，第475-479页。 [3] Engelking，R.：《一般拓扑》，华沙，1977年·Zbl 0373.54002号 [4] Halmos，P.：《测量理论》，纽约，1950年·Zbl 0040.16802号 [5] Jech，T.：《集合论》，学术出版社，纽约，1978年·Zbl 0419.03028号 [6] Kelley，J.L.：《一般拓扑》，柏林斯普林格出版社，1975年·Zbl 0306.54002号 [7] Kraus，S.、Lehmann，D.和Magidor，M.：非单调推理、优先模型和累积逻辑，人工智能44（1-2）（1990），167-207·Zbl 0782.03012号 ·doi:10.1016/0004-3702（90）90101-5 [8] Lehmann，D.和Magidor，M.：有条件的知识库需要什么？，人工智能55（1）（1992），1-60·Zbl 0762.68057号 ·doi:10.1016/0004-3702（92）90041-U [9] Michalski，R.S.和Winston，P.H.：《可变精度逻辑》，《人工智能》29（1986），121-146·Zbl 0623.68077号 ·doi:10.1016/0004-3702（86）90016-0 [10] 新泽西州尼尔森：《逻辑与人工智能》，《人工智能》第47期（1991年），第31-56页·doi:10.1016/0004-3702（91）90049-P [11] Schlechta，K.：关于经典优先模型的一些结果，《逻辑与计算》2（6）（1992），675-686·Zbl 0785.03014号 ·doi:10.1093/logcom/2.6.675 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。