论文部分内容阅读
在命题逻辑中给出将re-Horn子句转化成Horn子句的条件与方法,用同态的方法证明转化前后2个子句集的可满足性或不可满足性的一致性,给出re-Horn子句集的可满足性的判定方法。
re-Horn子句集的Horn化及可满足性判定方法
【摘 要】
：
在命题逻辑中给出将re-Horn子句转化成Horn子句的条件与方法,用同态的方法证明转化前后2个子句集的可满足性或不可满足性的一致性,给出re-Horn子句集的可满足性的判定方法。
【机 构】
：
西南交通大学数学学院,西南交通大学智能开发中心
【出 处】
：
济南大学学报(自然科学版)
【发表日期】
：
2015年05期
【基金项目】
：
国家自然科学基金(61175055)
其他文献
在分析几种三维建模方法、城市地下管线管理的现状及进展的基础上,结合当前我校校园地下管线的管理状况,以校园地下给、排水管线为研究对象,提出了将三维可视化地理信息系统
<正> 动物学研究和其他学科的研究一样,就方法而论,可以大致划分为两种类型:观察性研究与实验性研究。所谓观察性研究是指对自然界已经发生和正在发生的现象进行描述和概括,
基于国内外文献调研和北京市VOCs污染源普查结果,总结出一套较为完整的城市尺度VOCs污染源排放清单编制方法,该方法概括VOCs污染源排放清单的编制范围、各类VOCs污染源排放量
介绍了项目教学法的概念,及项目教学法在工程测量课程教学中的实践。项目教学法是师生通过共同实施一个完整的项目工作而进行的教学活动,在整个教学过程中既发挥了教师的主导
提出了利用梯级水电厂远程集中监控系统提供的海量数据源实现水电厂远程状态监测与故障诊断的思路,规划了水电厂设备远程状态监测的主要功能,建立了状态监测子系统,设计了相
随着社会进步和城市化进程的加速,国家更加重视历史遗迹的保护利用。本文通过总结内蒙古自治区元上都遗址测绘的技术要求、仪器选用、制图标准和图件成果表达,论述了遗址测绘
模拟研究某拟建垃圾焚烧电厂排放的重金属汞、镉、铅以及二噁英类特征污染物对大气环境的影响和人群暴露的健康风险,进行项目选址方案的比选,探索健康风险评估在垃圾焚烧类建
采集太湖6个湖区水样,利用营养盐添加,现场培养实验研究了水华蓝藻在不同湖区水体中生长的氮、磷限制情况和蓝藻的生长潜力.结果表明,梅梁湾水体只有氮、磷同时添加才对蓝藻