论文部分内容阅读
将经典逻辑中的结构保留子句转换方法应用到带符号的多值公式中，产生输入规模是线性的范式，并引入极性的概念，减少冗余子句的产生．利用多值子句tableau方法证明该方法。并对适合于经典子句的包含删除、分解子因子等策略修改后，应用到多值子句tableau。提高了该方法的推理效率。
转换成带符号子句的多值逻辑推理方法
【摘 要】
：
将经典逻辑中的结构保留子句转换方法应用到带符号的多值公式中，产生输入规模是线性的范式，并引入极性的概念，减少冗余子句的产生．利用多值子句tableau方法证明该方法。并对适合
【机 构】
：
大庆石油学院计算机科学与工程学院,大庆油田有限责任公司采油工程研究院
【出 处】
：
大庆石油学院学报
【发表日期】
：
2004年1期
其他文献
近年来我国的经济大幅提升,人民的生活水平也不断提高,面对人们日益增长的物质文化需求,建筑行业取得了长足的发展,切在未来也有很广阔的发展空间。建筑业的发展也促进了国民
古代合同经历了一个由重形式到重合意的过程。近代，无论是英美法，还是大陆法，合同均以不要式为原则，书面合同限于法律有明文规定的情形。计划经济时代的社会主义国家，因把合同视为
在农机的运行过程中,由于本身的损耗及人为的因素,常常会发生各种故障,给农机的顺利运行带来困难,本文主要针对农机在使用过程中的高压油泵及电路故障的检修方法进行分析,希
针对遗传算法局部搜索能力差的缺点，提出了一种带局部搜索策略的遗传算法，它是遗传算法与反向传播算法的有机结合；应用马尔克夫链理论证明了新算法的全局收敛性，对油田非线性系统
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
会议
为能与网络中存在的TCP数据共存，改进组播拥塞控制算法，设计了一种新型的组播拥塞控制和避免机制ECAM(Efficient Congestion Avoidance Mechanism)．该方法采用SQ(Source Quench)
氟喹诺酮类药物在临床上被广泛使用。病原微生物对大多数喹诺酮类药物的耐药率达10％以上，有的甚至达到40％～70％。很多资料表明，沙门氏菌对氟喹诺酮类药物的耐药现象也很严重，且耐药率
研究了以１０ｘ分子筛为吸附剂，在大豆溶剂油吸附脱芳烃的过程中破眯与透过曲线的关系。分别考察了在一定的实验条件下，吸附温度、溶剂油中芳烃的体积分数、流量、分子筛再生时间及吸
为了提高因瓦合金的高温抗氧化性能,课题组利用光纤激光器以添加不同成分纳米粒度的碳化物和钴的复合粉末作为熔覆材料,在因瓦合金表面制备2种不同复合涂层。通过扫描电子显