Index Conditions of Resolution

来源 :International Journal of Automation and Computing | 被引量 : 0次 | 上传用户:ttytty
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
In this paper, the following results are proved: (1) Using both deletion strategy and lock strategy, resolution is complete for a clause set where literals with the same predicate or proposition symbol have the same index. (2) Using deletion strategy, both positive unit lock resolution and input lock resolution are complete for a Horn set where the indexes of positive literals are greater than those of negative literals. (3) Using deletion strategy, input half-lock resolution is complete for a Horn set. In this paper, the following results are proven: (1) Using both deletion strategy and lock strategy, resolution is complete for a clause set where literals with the same predicate or proposition symbol have the same index. (2) Using deletion strategy, both positive unit lock resolution and input lock resolution are complete for a Horn set where the indexes of positive literals are greater than those of negative literals. (3) Using deletion strategy, input half-lock resolution is complete for a Horn set.
其他文献
在平时,创伤是致死的第四位原因,在战时,因枪炮等武器所造成的创伤占战伤中的绝大部分。预测今后不论平时或战时,创伤均有增加的趋势。因此,创伤是现代医学中一个很重要的研
本刊讯6月21日至24日,由国家发展改革委价检司陈志江副司长率领的国家监察部、国务院纠风办、卫生部、中医药管理局、解放军总后勤部等六部门督查组,在陕西省物价局副局长张
含有氧化还原酶的WW结构域(WW domain containing oxidoreductase,WWOX)基因是由Bednarek等[1]在染色体脆性位点FRA16D(16q23.3-24.1)区域克隆出的一个新的基因。近年研究发
股票的特征是高收益与高风险并存,投资者和投机者同在。世界各地的股市都是一样,既是聚宝盆,又可能是“吃人的市场”。是充满陷阱、险象环生的生财之路。规避风险,取得收益,
本刊讯“七·一”前夕,陕西省物价局召开机关党委成立暨庆祝建党90周年歌咏大会。会议由副局长、局党总支书记白竹兰同志主持,117名党员出席会议,省发展改革委党组副书记 On
虎啸雄风辞旧岁,玉兔纳福迎春来。值此全国“两会”召开之际,我谨代表公司,向一年来为公司发展做出巨大贡献、奋战在一线的同志及公司管理人员表示衷心的感谢!向给予公司发展
探讨乳腺多发性纤维腺瘤的手术方式,为手术治疗乳腺多发纤维腺瘤提供参考依据。 方法 对2009年1月至2012年4月郑州大学人民医院(河南省人民医院)乳腺外科诊治97例乳腺多发性
“亲,要看一下细节图吗?发给你看一下你再做决定吧!”网友乐乐在淘宝上看中了一件毛衣,卖家的热情服务让她觉得十分贴心,于是接收了卖家发来的实物细节图片压缩包文件,当乐乐
目的:研究子宫颈癌及癌前病变与人乳头状瘤病毒(HPV)负荷量的关系。方法:选择2011年1月~2012年6月在该院门诊行宫颈癌前病变筛查的4 258例妇女为研究对象,采用第2代杂交捕获试
1 背景 无症状菌尿定义为泌尿道持续性的菌落存在, 但缺乏特有的症状。在所有孕妇中的发生率在5%- 10%之间(Whalley 1967)。感染大多与社会经济地 位密切相关,此在孕妇和非孕期