论文部分内容阅读
利用条件概率的思想在Lukasiewicz三值命题逻辑中引入公式的条件真度概念,并给出条件真度的一些性质;以条件真度定义公式相似度,进而导出全体公式集上的一种伪距离,这为三值Lukasiewicz逻辑系统中给出在信息Γ下的近似推理理论提供了一种可能的框架。
三值Lukasiewicz逻辑中命题的条件真度理论
【摘 要】
：
利用条件概率的思想在Lukasiewicz三值命题逻辑中引入公式的条件真度概念,并给出条件真度的一些性质;以条件真度定义公式相似度,进而导出全体公式集上的一种伪距离,这为三值L
【机 构】
：
陕西师范大学数学研究所,西安交通大学基础科学研究中心
【出 处】
：
黑龙江科技学院学报
【发表日期】
：
2008年3期
【基金项目】
：
国家自然科学基金资助项目（10331010）,陕西师范大学211工程建设基金资助项目（10771129）
其他文献
12月15日中国航天科研人员历时近5年的科研攻关，现已成功研发出一款名为Anovo的卫星通信系统产品，这标志着中国很多行业长期依靠进口VSAT设备进行卫星通信系统组网的局面即将终
针对传统方法清扫绝缘子污秽的弊端，提出了利用BP神经网络预测绝缘子污秽的方案。通过BP神经网络的输入、输出和参数的选取，在实验室进行数据验证。结果表明：该方法可以准确有效
工业和信息化部部长苗圩5月21至23日赴浙江省进行信息消费专题调研。他实地考察了浙江电信、华数数字电视传媒集团、阿里巴巴集团、网易杭州研发中心、海康威视公司和东风裕
针对NARX模型中一步时滞控制算法不完全适用于多重时滞的情形,提出一种在工作点处用线性的动态切平面逼近一般的非线性系统的方法,结合一种准则函数和预测器算法,提出一种自
讨论了一类多目标优化问题的区间斜率方法,其中目标函数是一阶连续可微的。结合评价函数法将多目标优化问题转化为无约束的minimax问题,通过构造目标函数的区间扩张无解区域
根据现有的水务局网应用信息资源现状进行分析,推进水务信息资源整合工作势在必行。充分分析水务信息资源整合的需求,建立信息资源整合硬件集中和数据应用相融合的体系模式。
应用锥拉伸与压缩不动点定理,研究一类半正二阶三点边值问题向下凸正解的存在性,引入辅助函数讨论了更一般的奇异二阶三点边值问题,得到向下凸正解的存在性定理。该定理允许