位置:成果数据库 > 期刊 > 期刊详情页
逻辑系统G3中命题的D-条件真度与近似推理
  • ISSN号:1671-9352
  • 期刊名称:《山东大学学报:理学版》
  • 时间:0
  • 分类:O141[理学—数学;理学—基础数学] O159[理学—数学;理学—基础数学]
  • 作者机构:[1]盐城师范学院数学科学学院,江苏盐城224051
  • 相关基金:国家自然科学基金资助项目(10371106);江苏省高校A然科学基础研究项目(08KJD11l0008).
作者: 崔美华[1]
中文摘要:

基于条件概率的思想,利用赋值集的随机化方法,在三值G6del命题逻辑系统中引入公式的D-条件真度,证明了D-条件真度的MP规则和HS规则。引入公式问的D-条件相似度和D-条件伪距离,建立了D.条件逻辑度量空间,推导出D-条件伪距离的若干性质,证明了D-逻辑度量空间中二元运算“∨”,“∧”,“→”关于D-条件伪距离的连续性。在D-条件逻辑度量空间中提出了三种不同类型的近似推理模式并研究了它们之间的关系。

英文摘要:

Based on conditional probability, using the randomization method of valuation set, the concept of D-condi- tional truth degree of formulas is introduced in the 3-valued G6del propositional logic system. The MP rule and HS rule of D-conditional truth degrees are proved. The concepts of D-conditional similarity and D-conditional pseudo-distances between formulas are introduced and D-conditional logic metric space is built. Several properties of D-conditional pseu- do-distances are deduced and it is proved that the D-conditional pseudo-distances is continuous on the logical operation of "∨","∧","→"in D-conditional logic metric spaces. Three different types of approximate reasoning patterns are discussed in D-conditional logic metric space, and the relationships between them are studied.

同期刊论文项目
同项目期刊论文
期刊信息
  • 《山东大学学报:理学版》
  • 北大核心期刊(2011版)
  • 主管单位:中华人民共和国教育部
  • 主办单位:山东大学
  • 主编:刘建亚
  • 地址:济南市经十路17923号
  • 邮编:250061
  • 邮箱:xblxb@sdu.edu.cn
  • 电话:0531-88396917
  • 国际标准刊号:ISSN:1671-9352
  • 国内统一刊号:ISSN:37-1389/N
  • 邮发代号:24-222
  • 获奖情况:
  • 国内外数据库收录:
  • 美国化学文摘(网络版),美国数学评论(网络版),波兰哥白尼索引,德国数学文摘,中国中国科技核心期刊,中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版),英国英国皇家化学学会文摘
  • 被引量:6243