模态逻辑论文

论文摘要关于本质主义的讨论几千年来不曾停息，特别是进入20世纪后，本质主义更是成为模态逻辑研究的焦点。本文首先谈到了以克里普克为代表的现代本质主义产生的历史背景：亚里士多德的古...

论文摘要在策梅洛-弗兰克尔的集合论公理系统ZF中,基础公理把集合的论域限制到良基集合。因此,不存在属于关系的无穷降链,也不存在属于自身的集合。1989年阿克采尔创立了非良基集合...

论文摘要模糊逻辑是对经典命题逻辑的改进和推广,它更能适应现实生活的需求.常见的模糊逻辑系统有逻辑系统Lukasiewicz,乘积逻辑系统∏,G（o|¨）del逻辑系统G,以及王...

论文摘要本论文讨论了基于模态逻辑的证据理论在信息系统的知识发现中的应用与基于覆盖广义粗集的模糊性。研究内容分为两大部分：第二、三章讨论了基于模态逻辑的证据理论在几种不同的信息系...

论文摘要本文主要讨论描述逻辑及其模态扩充的模型,分两方面进行:其一是考虑循环ALCN的Tbox具有模型的条件,指出了文献[1]中命题2.9的错误,并对命题2.9进行了一些修改;...

论文摘要自动定理证明自从二十世纪五十年代被提出,已经成为计算机科学中最重要的领域之一。归结方法是其中最著名、应用最广的方法之一。扩展规则方法将定理证明沿着归结的反方向进行,是一...

论文摘要随着计算机网络以及基于网络的分布式计算的发展,对于Agent技术的研究,已经成为人工智能领域以及分布式人工智能的一个热点和重要的研究方向。Agent技术,特别是多Age...

论文摘要模态逻辑作为一种非古典逻辑是与古典逻辑不同类型的逻辑。现代逻辑的研究大体上有两个目的:一是解决数学推理及理论体系建立中的逻辑问题,即给出数学的逻辑基础;另一是以一般的推...