科研之友
微信
新浪微博
Facebook
分享链接
摘要
<正> 数理逻辑,又称"符号逻辑",是数学的一门分科,主要研究推理、计算等逻辑问题。它按一定的方式,将问题形式化,然后根据事实进行推理演算,得到新的结论。它是人工智能领域中最早表达人的知识的一种方法,在知识表达上具有精确性(模糊逻辑例外)和模块性的优点,并具有一般的推理方法,通用性强;但对有些知识表达比较繁琐,且难以引入启发式知识,推理效率较低,目前只用于小型的知识库中。本文拟就知识中的逻辑、不精确性、主观性和与时性等特性,分别介绍人工智能领域中常见的谓词逻辑、多值逻辑、模糊逻辑、模态逻辑和时序逻辑的基本概念,以及它们在知识表达与使用方面的特点。
- 出版日期1990
- 单位上海交通大学
