【摘 要】
：
经典命题演算形式系统（CPC）中的公式只是一些形式符号,其意义是由具体的解释给出的。逻辑代数和集合代数都是布尔代数,都是CPC的解释。集合代数是CPC的集合语义,其中对联结词的
论文部分内容阅读
经典命题演算形式系统（CPC）中的公式只是一些形式符号,其意义是由具体的解释给出的。逻辑代数和集合代数都是布尔代数,都是CPC的解释。集合代数是CPC的集合语义,其中对联结词的解释就是集合运算;对形式公式的解释就是集合函数;对逻辑蕴涵、逻辑等价的解释就是集合包含和集合相等=。标准概率逻辑是在标准概率空间上建立的逻辑体系,命题表示随机事件,随机事件是集合,概率空间中的事件域是集合代数,概率逻辑就是CPC集合语义的实际应用。CPC完全适用于概率命题演算。
其他文献
针对如何在对象和关系数据库之间建立一种高效的映射关系的问题,在深入研究数据持久层的核心功能的基础上,分析和比较了当前流行的解决数据持久层问题的典型技术方案及其各自
以往的聚类算法能够减少道路交通网络中移动对象与中心数据库的通信开销,但聚类粒度的大小是根据经验设定的。分析了影响距离聚类粒度大小的因素,提出用BP网络来训练历史数据
覆盖网络的组织与维护对于P2P流媒体直播系统的性能有着极其重要的影响。根据覆盖网络拓扑组织形式的不同，分别研究了基于单树结构、多树结构、随机拓扑结构的现有P2P流媒体直
传统火灾探测技术存在许多缺陷。提出了一种基于图像的火焰识别方法。首先将图像由RGB模式转换为YCbCr模式,以Cb,Cr为轴建立坐标系并绘出火焰样本的Cb,Cr值。用一个椭圆将绘出的坐标点包括起来,并创建椭圆方程和二维正态分布函数,使正态分布函数在椭圆外部的值为零,并用L-M算法对正态分布函数中的参数进行优化。对火焰的识别转换为判断正态分布函数在像素对应的Cb,Cr处的值是否大于零。该方法具有很好
随着互联网的高速发展,网络服务对于内容传输的质量要求也越来越高,内容分发网(Content Delivery/Dis-tribution Networks,CDN)被证明是一种提高网络性能和加速网络业务的有
相似性查询是一种非常重要的数据挖掘应用。由于数据流具有无限、高速等特性,传统的查询算法不能直接应用于数据流。提出了一种基于小波滑动窗口的多数据流相似性查询算法。
提出了基于可逆函数复杂性的正反控制（PNC,Positive/Negative Control）门可逆网络综合方法。该方法根据可逆函数的输出排列,逐次交换输出向量,在交换过程中减少函数的复杂性,直
具有概念漂移的含噪数据流的分类问题成为数据流挖掘领域研究的热点之一。提出了一种基于C4.5和Nave Bayes混合模型的数据流分类算法CDSMM。它以C4.5作为基分类器,采用朴素
传统人脸识别对人脸图像光照要求与人脸训练库差异不大,这提高了人脸识别系统运行的环境条件,限制了应用范围。为了降低人脸识别对环境条件的要求,克服光照对人脸识别的影响,分析了人脸图像的相频特性与光照的无关性,提出了基于相频特性的人脸识别,保留了人脸之间的可区分性。由于人脸之间可区分的信息量较少,运用最小非零特征向量作为人脸特征。实验仿真表明,与传统方法相比,提出的基于相频特性的人脸识别对光照变化具有鲁