节点文献
基于标准化表示的命题逻辑公式的D-随机真度
D-Stochastic Truth Degree of Formulas Based on Standardized Representation in Propositional Logic
【摘要】 根据命题逻辑公式的D-随机真度的概念,给出了基于主析取范式中所有极小项的上标向量集合的命题公式D-随机真度的计算公式,讨论了在基本逻辑运算下公式的D-随机真度关系以及逻辑推理的D-随机有效度问题。
【Abstract】 Based on the notion of D-stochastic truth degrees of formulas in propositional logic,the formula is presented to calculate the D-stochastic truth degrees of propositional formulas,which is based on the set of vectors of superscript of all minimal items in principal disjunctive normal form, the relations of D-stochastic truth degrees under the basic logical operations are discussed,and the D-stochastic effective degrees in logic reasoning are also investigated.
【关键词】 主析取范式;
D-随机真度;
D-随机有效度;
【Key words】 principal disjunctive normal form; D-stochastic truth degree; D-stochastic effective degree;
【Key words】 principal disjunctive normal form; D-stochastic truth degree; D-stochastic effective degree;
【基金】 国家自然科学基金项目(10272068)资助
- 【文献出处】 中国海洋大学学报(自然科学版) ,Periodical of Ocean University of China , 编辑部邮箱 ,2009年01期
- 【分类号】TP311.52
- 【下载频次】55