论文部分内容阅读
以基本真度为基础，引入二值命题逻辑系统中基于前提信息Г的公式A到B的蕴涵度概念，由此定义了公式A到B的Г-蕴涵距离，并通过Г-蕴涵距离的基本真度表示式，对二值命题逻辑中基于前提信息的近似推理问题进行讨论．
二值命题逻辑中Г-的蕴涵距离和近似推理
【摘 要】
：
以基本真度为基础，引入二值命题逻辑系统中基于前提信息Г的公式A到B的蕴涵度概念，由此定义了公式A到B的Г-蕴涵距离，并通过Г-蕴涵距离的基本真度表示式，对二值命题逻辑中基于前
【机 构】
：
青岛大学师范学院数学系
【出 处】
：
德州学院学报
【发表日期】
：
2008年6期
其他文献
研究一类系数矩阵相互交错的二元复矩阵方程组，给出其有解的充要条件和适当定义的最优近似解，并给出一个应用背景的实例.
早在１９２１年，文坛巨人鲁迅以《阿Ｑ正传》震惊中国和世界。阿Ｑ形象不仅有其中国文学史上的地位，而且在世界文学史上也被评论家称道。阿Ｑ被公认为是没有国籍的艺术典型。几十年后的高晓声
城中村问题是指人与自然、人与社会以及人与人之间关系严重失调或冲突的现象。城中村改造涉及各方特别是村民的利益，需要社会各方共同参与来解决这一长期困扰我国城市化的天字
利用BP神经网络进行预测已经取得了很大的进展，但BP神经网络易形成局部极值，算法收敛的速度相对较慢，将遗传算法结合到BP神经网络中可以改善算法收敛速度较慢的问题，利用改进的BP
本文就液化天然气的储罐安全技术应用做进一步探究,分析其具体应用方法,以将安全事故发生率降到最低,从而为天然气储罐安全应用提供一定的技术保障.
目前所使用的大部分大学物理教材，在阐述磁场对载流导线的作用———安培力时，很少涉及电流回路对自身电流元（或部分导体）的作用力。教材中设计的许多例题或习题，在计算安培力时，要
通过将变尺度小波分解滤噪与特征信息提取相结合，提出一类新的多元光度分析算法－小波基主成分回归（ＰＣＲＷ）方法。该法可有效地减小主成分向量残留噪声所引 误差显著提高多元校正准确性