| 专家系统的逻辑基础 |
| |
| 引用本文： | 柏家球.专家系统的逻辑基础[J].天津大学学报(自然科学与工程技术版),1990(3):22-27. |
| |
| 作者姓名： | 柏家球 |
| |
| 作者单位： | 天津大学计算机工程与科学系 |
| |
| 摘 要： | 从“若、则”表示充分条件关系出发指出:(1)狭谓词演算F系统的局限性,(2)制约式如实地反映了充分条件关系。探讨专家系统的逻辑基础。
|
| 关 键 词： | 专家系统 逻辑 蕴涵 制约 人工智能 |
LOGIC-FUNDAMENTALS OF EXPERT SYSTEMS |
| |
| Bai Jiaqiu.LOGIC-FUNDAMENTALS OF EXPERT SYSTEMS[J].Journal of Tianjin University(Science and Technology),1990(3):22-27. |
| |
| Authors: | Bai Jiaqiu |
| |
| Institution: | Dept. of Computer Engring. & Sci. |
| |
| Abstract: | Based on the relation of representing the sufficient condition by "if, then", this paper points out: (1) the limitation of orthodox predicate calculus system F, (2)Entailment logic trthfully gives expression to the relation of the sufficient condition. It also reseaches into a logic-fundamentals of expert systems. |
| |
| Keywords: | logic implicate entailment expert system |
| 本文献已被 CNKI 维普 等数据库收录！ |
