| 模态K4、D4系统的归结推理 |
| |
| 引用本文： | 孙吉贵,李乔,刘叙华.模态K4、D4系统的归结推理[J].软件学报,1995,6(12):742-750. |
| |
| 作者姓名： | 孙吉贵 李乔 刘叙华 |
| |
| 作者单位： | 吉林大学计算机科学系,长春,130023;吉林大学计算机科学系,长春,130023;吉林大学计算机科学系,长春,130023 |
| |
| 基金项目： | 本课题受国家自然科学基金和863计划国家攀登计划资助. |
| |
| 摘 要： | 本文将Ｐ．Ｅｎｊａｌｂｅｒｔ和Ｌ．ＦａｒｉｎａｓｄｅｌＣｅｒｒｏ提出的模态归结推理方法推广到命题模态逻辑K4和D4系统，建立了K4逻辑的归结推理ＲK4；D4逻辑的归结推理R D4，分别证明了ＲK4和ＲD4关于K
|
| 关 键 词： | 模态逻辑K4和D4系统，模态归结，自动推理 |
| 收稿时间： | 6/6/1994 12:00:00 AM |
| 修稿时间： | 1994/11/28 0:00:00 |
MODAL RESOLUTION FOR MODAL SYSTEMS K4 AND D4 |
| |
| Sun Jigui,Li Qiao and Liu Xuhua.MODAL RESOLUTION FOR MODAL SYSTEMS K4 AND D4[J].Journal of Software,1995,6(12):742-750. |
| |
| Authors: | Sun Jigui Li Qiao and Liu Xuhua |
| |
| Abstract: | In this paper, the modal resolution method presented by P. Enjalbert and L.Farinas del Cerro is extended to modal systems K4 and D4. Then, the soundness and completeness of R K4 relative to K4 is proved, and also for R D4 relative to D4. |
| |
| Keywords: | Modal systems K4 and D4 Modal resolution Automated reasoning |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
