| 标记逻辑的TABLEAU判定过程 |
| |
| 引用本文： | 程晓春,刘叙华.标记逻辑的TABLEAU判定过程[J].软件学报,1996,7(11):698-705. |
| |
| 作者姓名： | 程晓春 刘叙华 |
| |
| 作者单位： | 吉林大学计算机系,长春,130023; 吉林大学符号计算与知识工程开放实验室,长春,130023;吉林大学计算机系,长春,130023; 吉林大学符号计算与知识工程开放实验室,长春,130023 |
| |
| 基金项目： | 本文研究得到国家自然科学基金和国家863高科技项目基金资助. |
| |
| 摘 要： | 标记逻辑是一种重要的次协调逻辑，和｜≈是标记逻辑中的２种推理关系．二者都是次协调的，可以用统一的方法处理一致的知识与不一致的知识，是单调的，有基于归结的证明论，但不能保持经典逻辑中合理的推理，如三段论．｜≈是非单调的，在前提一致时等价于经典逻辑的推理关系，但缺少有效的证明论．本文将给出推理关系和｜≈基于Ｔａｂｌｅａｕ演算的可靠而且完备的判定方法.
|
| 关 键 词： | 标记逻辑 Tableau方法 择优蕴涵 次协调逻辑 |
| 修稿时间： | 1995/9/13 0:00:00 |
TABLEAU CALCULUS FOR ANNOTATED LOGIC |
| |
| Cheng Xiaochun and Liu Xuhua.TABLEAU CALCULUS FOR ANNOTATED LOGIC[J].Journal of Software,1996,7(11):698-705. |
| |
| Authors: | Cheng Xiaochun and Liu Xuhua |
| |
| Affiliation: | Cheng Xiaochun Liu Xuhua (Department of Computer Science Jilin University Changchun 130023) (Open Laboratory for Symbolic Computation and Knowledge Engineering Jilin University Changchun 130023) |
| |
| Abstract: | |
| |
| Keywords: | Annotated logic tableaux preferential entailment paraconsistent logic |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
