四川师范大学学报（自然科学版）2012，Vol.35Issue(6)：791-795,5.DOI:10.3969/j.issn.1001-8395.2012.06.016
四值非全序逻辑系统中公式的条件随机真度
The Conditional Randomized Truth Degree of Formulas in R0-Type 4-valued Non-totally Ordered Propositional Logic
摘要
Abstract
Based on conditional probability, using the randomization method of valuation set, the concept of conditional randomized truth degree of formulas is introduced in the Ro-type 4-valued non-totally ordered propositional logic. The MP rule and HS rule of conditional randomized truth degrees are proved. The concepts of conditional randomized similarity and conditional pseudo-metric between formulas are introduced and conditional randomized logic metric space is built. Several properties of conditional pseudo-metric are deduced and it is proved that the logical operations are continuous on conditional randomized logic metric space. Finally the theory of approximate reasoning under certain information is given.关键词
非全序逻辑系统/条件随机真度/条件随机相似度/条件随机逻辑度量空间/近似推理Key words
non-totally ordered propositional logic/ conditional randomised truth degree/ conditional randomized similarity/ conditional randomized logic metric space/ approximate reasoning分类
数理科学引用本文复制引用
左卫兵,原胜利..四值非全序逻辑系统中公式的条件随机真度[J].四川师范大学学报（自然科学版）,2012,35(6):791-795,5.基金项目
河南省自然科学基金(112300410040)、河南省教育厅自然科学基金(2011A110012)和河南省高等学校青年骨干教师资助计划基金(2011GGJS-097)资助项目 （112300410040）
