摘要
从“若、则”表示充分条件关系出发指出:(1)狭谓词演算F系统的局限性,(2)制约式如实地反映了充分条件关系。探讨专家系统的逻辑基础。
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.
出处
《天津大学学报》
EI
CAS
CSCD
1990年第3期22-27,共6页
Journal of Tianjin University(Science and Technology)
