| 标记模态归结的推广 |
| |
| 引用本文： | 孙吉贵,刘瑞胜,陈荣. 标记模态归结的推广[J]. 计算机学报, 1999, 22(2): 113-119 |
| |
| 作者姓名： | 孙吉贵 刘瑞胜 陈荣 |
| |
| 作者单位： | 吉林大学计算机科学系,长春,130023;吉林大学符号计算与知识工程开放实验室,长春,130023 |
| |
| 摘 要： | 本文将作者提出的高效的命题模态Ｄ逻辑的标记模态归结方法推广到了命题模态逻辑Ｋ，Ｋ４，Ｄ４，Ｔ，Ｓ４系统，建立了上述命题模态逻辑的标记归结形式系统ＭＲＫ，ＭＲＫ４，ＭＲＤ４，ＭＲＴ，ＭＲＳ４，并用转移子句模式的方法，借助于标记模态归结对命题模态Ｄ逻辑的可靠性结果，证明了标记模态归结系统ＭＲＫ，ＭＲＫ４，ＭＲＤ４，ＭＭＲＴ，ＭＲＳ４分别关于命题模式逻辑Ｋ，Ｋ４、Ｄ４，Ｔ，Ｓ４的可靠性，进而得到了它们的
|
| 关 键 词： | 模态逻辑 模态推理 标记模态归结 |
| 修稿时间： | 1998-02-23 |
AN EXTENSION ON MARKED MODAL RESOLUTION |
| |
| SUN Ji-gui,LIU Rui-Sheng,CHEN Rong. AN EXTENSION ON MARKED MODAL RESOLUTION[J]. Chinese Journal of Computers, 1999, 22(2): 113-119 |
| |
| Authors: | SUN Ji-gui LIU Rui-Sheng CHEN Rong |
| |
| Abstract: | The marked modal resolution for propositional modal logic D is extended to modal systems K,K 4,D 4,T,S 4 in this paper. The marked modal resolution systems on the above modal systems are called as MRK, MRK 4, MRD 4, MRT, MRS 4 respectively.By using the transform of clause scheme and the result of marked modal resolution for logic D,this paper proves the soundness of the modal resolution systems MRK,MRK 4,MRD 4,MRT,MRS 4 with respect to modal systems K, K 4,D 4,T,S 4.Furthermore, the completeness of them are obtained. |
| |
| Keywords: | Modal logic modal reasoning marked modal resolution. |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
