免费论文摘要：BL*?情势体例与NM?情势体例的接洽

?????? 跟着人为智能与消息科学接洽的连接深刻，朦胧论理与多值论理的接洽已变成个中第一次主要热门。连年来，很多鸿儒全力于百般论理体例的接洽，并博得了一系列要害的接洽功效。吴洪博熏陶创造了BL*?体例，并证领会其完美性。王三民熏陶在MTL体例的普通上创造了NM?体例和NM?-代数，并证领会NM?体例的规范完美性定理。?????? 鉴于之上表面的接洽，正文的构造和重要实质安置如次：???????? 第1章 计划常识。本章给出了作品中将要用到的预序集，格，结余格和几类论理体例的基础观念和论断。?????? 第2章 BL*?体例中的广义与普遍广义?-MP题目的语构表面。开始在BL*?体例中提出了表面的?-根的观念，并对其本质举行了接洽。其次，计划了BL*?体例中的广义与普遍广义MP题目的三I解。结果，提出了广义与普遍广义？-MP题目，设置了上述题目在语构意旨下的解，并计划了其解与相映公式集的？-根之间的联系。?????? 第3章 NM?体例的有限强完美性。开始对NM?-链的本质作了进一步的接洽，证领会任一NM?-链都可局部嵌入到[0,1]J中。其次，运用这一本质证领会NM?体例的有限强完美性定理。结果指出在NM?体例中，对于无穷表面的强完美性定理是不可立的。?????? 第4章? NM?3n +1体例中公式的真度表面。开始在3n + 1-值NM?体例中引入了公式的真度观念，接洽了其重要本质。其次，证领会真度MP准则及真度HS准则。结果，运用真度设置了公式间的一致度与伪隔绝，并对其本质举行了接洽。

来源：半壳优胜育转载请保留出处和链接！

本文链接：http://www.87cpy.com/251133.html