一类基于可能世界的非精确推理  

A Kind of Non-exact Inferences Bassed on the Model of Possible Worlds

作　　者：朱玉堦 

机构地区：[1]湖州师专数学系,浙江湖州313000

出　　处：《湖州师专学报》1998年第5期1-5,共5页

摘　　要：借助于可能世界模型,讨论了一类非精确推理。This paper attempts to discuss a kind of non - exact inferences bassed on the model of possible worlds and explains their application in propositional logic and syllogism inference.

关 键 词：可靠度 非精确推理 命题逻辑 可能世界模型 

分 类 号：O141[理学—数学]