命题逻辑中理论的条件真度  

The conditional truth degree of theory in proposition logic

作　　者：张乐[1] 裴道武[1] 

机构地区：[1]浙江理工大学理学院,浙江杭州310018

出　　处：《山东大学学报（理学版）》2012年第2期82-85,92,共5页Journal of Shandong University(Natural Science)

基　　金：国家自然科学基金资助项目(10871229;60863002);浙江理工大学科研资助项目(YJG-Z07001)

摘　　要：探讨了理论真度的性质后基于条件概率的思想,给出了理论的条件真度的概念,并用它建立了一种可以在公式集之间展开的近似推理模式,用于探寻最优推理结论和最优推理前提,最后给出了理论的和谐度的概念,刻画理论内部公式和谐共存的程度。The properties of truth degree of theory are discussed.Then,the conditional truth degree of theory in proposition logic is proposed on the ideal of conditional probability.Based on the conditional truth degree of theory,a new approximate reasoning mode between formula sets is proposed,which can be used to search for the best reasoning conclusion and premise.Finally,the harmonious degree of theory is proposed for characterizing the extent of the internal harmony of the theory.

关 键 词：计量逻辑 真度 条件真度 近似推理 理论和谐度 

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