论文部分内容阅读
通过把n-值Lukasiewicz命题逻辑中公式的概率真度函数抽象为模态词，把概率真度函数的基本恒等式抽象为关于模态词的公理，建立一个模态化的形式推理系统，构建其语构理论及语义理论，证明该系统关于概率真度函数的完备性定理，从而为概率计量逻辑奠定逻辑基础．
基于n-值Lukasiewicz命题逻辑的概率计量化推理系统
【摘 要】
：
通过把n-值Lukasiewicz命题逻辑中公式的概率真度函数抽象为模态词，把概率真度函数的基本恒等式抽象为关于模态词的公理，建立一个模态化的形式推理系统，构建其语构理论及语义理
【机 构】
：
陕西师范大学数学与信息科学学院
【出 处】
：
模式识别与人工智能
【发表日期】
：
2013年6期
【基金项目】
：
国家自然科学基金项目（No.61005046）、教育部高等学校博士学科点专项科研基金项目（No.20100202120012）资助
其他文献
为减少人工免疫识别系统（AIRS）的记忆细胞数量并提高AIRS的分类准确率，提出一种基于记忆细胞剪切和非线性资源分配的人工免疫识别系统（PNAIRS）．PNAIRS采用样本属性离散化来压缩训练
最大流问题在许多领域有广泛的应用，然而随着网络规模的增加，传统的算法无法快速高效地求解最大流问题．对一个给定的有向网络，文中提出一种收缩邻居节点集的方法（CNA）求解其最大流．
知识管理不仅是政府、企业成功运营的重要手段，同时也是非政府组织持续发展的动力所在。非政府组织知识管理是以知识资源为基础、以知识工作者为核心、以知识创新为目标的管理
在现实问题中，相似性学习的样本对存在不平衡现象，即相似性样本对的数量会远小于不相似性样本对的数量．针对此问题，文中提出两种样本对构造方法——不相似K近邻-相似K近邻（DKNN—S
在分析已有不完备信息熵的基础上，提出一种基于相似关系的不完备信息熵，并证明该信息熵的若干性质．给出一个不完备数据特征选择算法，算法以改进的不完备信息熵作为特征选择准则，直