论文部分内容阅读
通过把n-值Lukasiewicz命题逻辑中公式的概率真度函数抽象为模态词，把概率真度函数的基本恒等式抽象为关于模态词的公理，建立一个模态化的形式推理系统，构建其语构理论及语义理论，证明该系统关于概率真度函数的完备性定理，从而为概率计量逻辑奠定逻辑基础．
基于n-值Lukasiewicz命题逻辑的概率计量化推理系统
【摘 要】
：
通过把n-值Lukasiewicz命题逻辑中公式的概率真度函数抽象为模态词，把概率真度函数的基本恒等式抽象为关于模态词的公理，建立一个模态化的形式推理系统，构建其语构理论及语义理
【机 构】
：
陕西师范大学数学与信息科学学院
【出 处】
：
模式识别与人工智能
【发表日期】
：
2013年6期
【基金项目】
：
国家自然科学基金项目（No.61005046）、教育部高等学校博士学科点专项科研基金项目（No.20100202120012）资助
其他文献
为减少人工免疫识别系统（AIRS）的记忆细胞数量并提高AIRS的分类准确率，提出一种基于记忆细胞剪切和非线性资源分配的人工免疫识别系统（PNAIRS）．PNAIRS采用样本属性离散化来压缩训练
新世纪教育实验展望中央教育科学研究所丰力即将到来的２１世纪，激励着人们对教育作跨世纪的思考，这种思考集中在对未来人才素质的培养上。目前，已制订出一大批面向新世纪人才素质培
最大流问题在许多领域有广泛的应用，然而随着网络规模的增加，传统的算法无法快速高效地求解最大流问题．对一个给定的有向网络，文中提出一种收缩邻居节点集的方法（CNA）求解其最大流．
【正】 世界上所有美好的事物都是创造力的果实。米尔永葆教学的青春一门课,三五年讲下来,如果只是简单重复,将第一次讲过的内容一次又一次地反复讲,不用多久,就会产生一种厌
知识管理不仅是政府、企业成功运营的重要手段，同时也是非政府组织持续发展的动力所在。非政府组织知识管理是以知识资源为基础、以知识工作者为核心、以知识创新为目标的管理
斯密的价值理论具有五个重要的方法论特点和理论特色:价值理论体系上的抽象-演绎分析法、抽象分析法、意义重大的稀缺价值论、独具特色的自然秩序论和承前启后的价值理论;研
针对基于信息熵求核算法效率不理想的情况，给出信息观下的二进制差别矩阵定义，理论上证明基于信息熵的核属性与基于二进制差别矩阵的核属性等价；并将决策表划分为相容的对象集和
在现实问题中，相似性学习的样本对存在不平衡现象，即相似性样本对的数量会远小于不相似性样本对的数量．针对此问题，文中提出两种样本对构造方法——不相似K近邻-相似K近邻（DKNN—S
在分析已有不完备信息熵的基础上，提出一种基于相似关系的不完备信息熵，并证明该信息熵的若干性质．给出一个不完备数据特征选择算法，算法以改进的不完备信息熵作为特征选择准则，直