基于n-值(L)ukasiewicz命题逻辑的概率计量化推理系统

• 作者: 周红军
• 来源期刊: 模式识别与人工智能
• 学科: 工学
• 关键词: (L)ukasiewicz命题逻辑 概率计量逻辑 Borel型概率真度
• 年，卷（期）: 2013,（6）
• 所属期刊栏目: 论文与报告
• 页码范围: 521-528
• 页数: 8页
• 分类号: O142|TP181
• 字数: 7590字
• 语种: 中文

摘要

通过把n-值Lukasiewicz命题逻辑中公式的概率真度函数抽象为模态词,把概率真度函数的基本恒等式抽象为关于模态词的公理,建立一个模态化的形式推理系统,构建其语构理论及语义理论,证明该系统关于概率真度函数的完备性定理,从而为概率计量逻辑奠定逻辑基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周红军	陕西师范大学数学与信息科学学院	29	95	6.0	8.0