作者:王国俊; 刘保翠命题逻辑性质伪距离近似推理
摘要:基于广义重言式理论,在四种重要的命题逻辑系统Lukasiewicz系统,L*系统,G(o)del系统和Ⅱ系统中,引入了公式的相对Γ-重言度概念,给出了相对Γ-重言度的若干性质.利用公式的相对Γ-重言度,定义了公式间的Γ-相似度,进而导出了命题集F(S)上的一种伪距离.最后讨论了命题集F(S)上统一的近似推理理论,得到了三种类型的近似推理模式之间的内在联系.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《工程数学学报》(CN:61-1269/O1)是一本有较高学术价值的大型双月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《工程数学学报》是数学的理论方法与信息科学、现代工程、高新技术相结合的综合性学术刊物,侧重数学在科学技术及社会经济发展中的应用,主要刊登工业、应用数学方面的研究论文和相关的数学建模与计算方法、以及应用数学理论与方法方面的学术论文与综述。
北大期刊、统计源期刊
人气 542452 评论 58
人气 229096 评论 63
省级期刊
人气 186506 评论 72
北大期刊
人气 162504 评论 69