论文部分内容阅读
利用常规逻辑中的归结原理给出了命题组具值指派的相容性判定的一个算法，并在其中使用了删除策略以提高归结原理的效率；从而获得了确定命题组相容真值指派集的一种行之有效的方法．
命题组相容真值指派集的自动生成
【摘 要】
：
利用常规逻辑中的归结原理给出了命题组具值指派的相容性判定的一个算法，并在其中使用了删除策略以提高归结原理的效率；从而获得了确定命题组相容真值指派集的一种行之有效的方
【机 构】
：
宁波大学自动化与计算机技术系
【出 处】
：
宁波大学学报(理工版)
【发表日期】
：
1998年4期
其他文献
通过分析宁波城市主要滨水地区所存在的问题，阐述了进行演水地区开发建设的必要性，并介绍了其各类滨水地区的开发特点和规划思路。
鲍氏不动杆菌（ABA）属于莫拉菌科（Moraxellaceae）不动杆菌属（Acinetobacter），为专性需氧、革兰染色阴性、无动力的双球菌或球杆菌，过氧化氢酶阳性、过氧化酶阴性。近年来关于多药耐药
The clash between the Brazilian president and the local authorities sent confusing signals regarding the COVID-19 pandemic to the population.Many debates were r
从显示的基本原理出发，对高彩模式下的显示特技和兼容性问题作了讨论，提出了显卡识别、虚拟显卡的实施方法，很好的解决了软件的兼容性问题，同时也大大提高了doS环境下的图形界面
目的分析比较肾脏CT灌注成像(CTP)与CT血管造影(CTA)的图像质量和辐射剂量,以探讨低剂量肾脏CTP显示肾脏血管的价值。方法前瞻性搜集行CT肾动脉检查患者252例。随机分为A、B
患者女,61岁。体检B超发现盆腔肿块1周,患者平素自觉偶有腹胀,无明显腹痛,无不规则阴道出血,既往月经规律,量多,绝经11年,无明显痛经史,无子宫肌瘤病史。专科检查:外阴已产型
用全细胞水介皂化及甲酯法的方法，通过气相色谱仪检测了几株食品微生物细胞长链脂肪酸构成。结果表明在食品微生物领域中，利用细胞脂肪酸差异性进行菌种的快速鉴别是可行的，其鉴
为了提高阀座研磨质量从而提高阀门的密封性和使用性能,对阀门的研磨工具进行探讨。对阀门研磨可以手动研磨,也可以使用机器研磨。就手动研磨过程中存在的问题提出解决方案。
袁编第三版本章第三节第四节文字(44-50页)问题很多,需要细致分析批评。课堂只是点到为止,启发诸生思考而已,据此,对学习之道展开分析。
韩国铁路改革与重组方案的研究和制定,注意认真总结国外经验,同时特别重视本国特点;政府积极鼓励民间参与铁路改革方案的制订,并严格遵守立法和行政程序;铁路重组的方向明确,