主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
李骏,王国俊.G?del n值命题逻辑中命题的α-真度理论.软件学报,2007,18(1):33-39
G?del n值命题逻辑中命题的α-真度理论
Theory of α-Truth Degrees in n-Valued G?del Propositional Logic
投稿时间:2005-09-15  修订日期:2006-05-24
DOI:
中文关键词:  α-真度  真度  α-相似度  伪距离
英文关键词:α-truth degree  truth degree  α-similarity degree  pseudo-metric
基金项目:Supported by the National Natural Science Foundation of China under Grant No.10331010 (国家自然科学基金); the Innovation Foundation for Doctors of Shaanxi Normal University of China (陕西师范大学博士创新基金); the Outstanding Youth Foundation of Lanzhou University of Technology of China (兰州理工大学优秀青年基金)
作者单位
李骏 陕西师范大学,数学与信息科学学院,陕西,西安,710062
兰州理工大学,理学院,甘肃,兰州,730050 
王国俊 陕西师范大学,数学与信息科学学院,陕西,西安,710062 
摘要点击次数: 2850
全文下载次数: 2860
中文摘要:
      为了在n值命题逻辑系统中建立一种程度化推理机制,并为其提供一个可能的近似推理框架,利用势为n的均匀概率空间的无穷乘积,在n值G?del命题逻辑系统中引入命题的α-真度概念.证明了一般真度推理规则,给出了判定α-重言式的充分必要条件,并利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统中展开近似推理成为可能.提出的程度化推理方法为近似推理的算法实现奠定了基础,并对知识推理的程度化有所启示.
英文摘要:
      In order to establish a graded reasoning mechanism and provide a possible framework for approximate reasoning in n-valued propositional logic, this paper introduces the concept of α-truth degrees of propositions in n-valued Gdel logical system by using the infinite product of uniformly distributed probability spaces of cardinal n. It is proved that the general inference rules with truth degrees hold, and a sufficient and necessary condition to judge α-tautology is obtained. Moreover, an intrinsic pseudo-metric on the set of propositions is defined by means of the similarity degree between propositions, which makes it possible to develop approximate reasoning in n-valued propositional logic. The graded method proposed in this paper lays a foundation for the algorithmic realization of approximate reasoning and serves as a guideline for the graded reasoning about knowledge.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利