| 命题模态归结的一种变型 |
| |
| 引用本文： | 周萍,孙吉贵.命题模态归结的一种变型[J].计算机学报,1994,17(9):662-668. |
| |
| 作者姓名： | 周萍 孙吉贵 |
| |
| 作者单位： | 吉林大学计算机科学系 |
| |
| 基金项目： | 国家自然科学基金,博士点基金,863计划国家攀登计划项目资助 |
| |
| 摘 要： | 本文给出了模态子句集的标准子句集概念，提出了一种基于标准子句集的模态归结方法的变型，称之为标准模态归结，证明了任意模态子句集恒假当且仅当存在从它的标准子句集出发，使用标准模态归结推出空子句的演绎，从而证明了对于不可满足标准子句集、标准模态归结是完备的，这种标准模态归结，揄规则简单、直观且容易实现。
|
| 关 键 词： | 模态逻辑 模态归结 命题模态 归结 |
A VARUNT OF PROPOSITIONAL MODAL RESOLUTION |
| |
| Zhou Ping,Tang Rikun,Sun Jigui and Liu Xuhua.A VARUNT OF PROPOSITIONAL MODAL RESOLUTION[J].Chinese Journal of Computers,1994,17(9):662-668. |
| |
| Authors: | Zhou Ping Tang Rikun Sun Jigui and Liu Xuhua |
| |
| Abstract: | This paper gives the notion of standard clause set of marked medal clause set.A method,called standard medal resolution t is presented,which is a variant of medal resolution method based on standard clause set.The soundness and completeness of standard medal resolution with respeCt to modal clause set is proved. |
| |
| Keywords: | Modal logic medal resolution |
| 本文献已被 CNKI 维普 等数据库收录！ |
