论文部分内容阅读
模态逻辑广泛应用于人工智能领域,但没有实际有效的推理机.针对上述问题,研究了模态逻辑中演绎推理的方法,该方法用必要的形式化方法将模态逻辑转换为卢卡西维茨多值逻辑,再将卢卡西维茨多值逻辑转换为布尔逻辑.结果表明和其他方法相比,该推理机在模态逻辑中具有普适性、计算简单性、推理规则应用的非限制性.
基于卢卡西维茨多值演算的模态逻辑推理机
【摘 要】
：
模态逻辑广泛应用于人工智能领域,但没有实际有效的推理机.针对上述问题,研究了模态逻辑中演绎推理的方法,该方法用必要的形式化方法将模态逻辑转换为卢卡西维茨多值逻辑,再
【机 构】
：
湖北民族学院科技学院
【出 处】
：
湖北民族学院学报(自然科学版)
【发表日期】
：
2015年3期
其他文献
随着互联网技术的发展和大数据时代的到来,广告业发生了翻天覆地的改变,进入了一个崭新的大数据时代下的广告产业。大数据技术对广告业的生态系统有着巨大的影响,对广告主的
在广西钦州地区小董镇大虫岭层状硅质岩剖面中,发现在乐平统底界附近,稀土元素地球化学Ce/Ce*值的高异常带、稀土元素分布模式中Ce正异常层段(背景为负异常)以及岩性特征的明
文中基于对认证系统、支付工具的讨论 ,通过对目前国际上流行的安全支付标准 SET、SSL的探讨与分析 ,阐明了用户如何选择适合自己的安全标准实现电子商务中的安全支付。
中国大陆科学钻探工程主孔（CCSD—MH，终孔深度5158．0m）位于南苏鲁东海县的毛北地区。锆石微区矿物包体的激光拉曼测试和阴极发光图象分析结果表明，主孔（CCSD—MH）副片麻岩中的锆石显
为更好地迎接互联网时代的全面到来,进一步推动湖北省传统媒体与新型媒体融合发展,促进学术期刊实现由"加"的阶段向"融"的阶段转变,充分利用线上和线下资源,大力研发新兴技术,湖北省期刊协会于2016年6月1-3日在恩施市华龙村大酒店召开了"从互联网+到媒体融合:学术期刊如何转型与提升"学术研讨会。会议开幕式由湖北省期刊协会副会长、自然科学专委会主任、《华中科技大学学报》副主编王听主持,湖北省期刊协会会
本实验以黑曲霉(Aspergillus niger)内源α-葡萄糖苷酶为基础,对黑曲霉菌株部分序列进行了克隆,构建了能够通过农杆菌介导法整合到黑曲霉基因组中的pSZH-10-6-agd C2表达载体
天然和人工地震动使地下孔隙流体瞬时产生相对于地层介质的加速运动趋势，即产生了作用于流体的瞬时冲力。在不考虑质量扩散力条件下，本文以岩石孔喉结构理想模型和充填其中的石
自生黄铁矿是海洋沉积物缺氧硫酸盐还原过程的主要产物。南海东北部的HD196A岩心中发现大量条状的自生黄铁矿,以中空或实心为主。含量分析表明,岩心500cm附近为黄铁矿富集带,
文章首先详细介绍了InformiX高可用性数据复制的原理、对计算机系统的要求和初始化过程。然后提出了建立人寿保险地市级分公司灾难备份中心和改善人寿保险计算机处理系统性能