论文部分内容阅读
本文给出了模态子句集的标准子句集概念,提出了一种基于标准子句集的模态归结方法的变型,称之为标准模态归结,证明了任意模态子句集恒假当且仅当存在从它的标准子句集出发,使用标准模态归结推出空子句的演绎,从而证明了对于不可满足标准子句集、标准模态归结是完备的,这种标准模态归结,揄规则简单、直观且容易实现。