| 一个在弗协调逻辑中的限制 |
| |
| 引用本文： | 林作铨. 一个在弗协调逻辑中的限制[J]. 软件学报, 1995, 6(5): 290-295 |
| |
| 作者姓名： | 林作铨 |
| |
| 作者单位： | 汕头大学计算机科学系，汕头515063;国家智能计算机研究开发中心，北京,100080 |
| |
| 基金项目： | 本文是国家863计划,国家基础研究攀登计划,国家自然科学基金资助项目. |
| |
| 摘 要： | 本文通过应用限制到一个弗协调逻辑给出一种弗协调限制，弗协调限制是一种弗协调非单调逻辑，它能被极小化语义所刻划，并具有两方面优点：非单调逻辑在包含矛盾时是不平凡的；弗协调逻辑在矛盾没有影响时等价于经典逻辑．
|
| 关 键 词： | 弗协调逻辑，非单调逻辑，限制，极小模型 |
| 收稿时间： | 1993-07-24 |
| 修稿时间： | 1993-10-22 |
CIRCUMSCRIPTION IN A PARACONSISTENT LOGIC |
| |
| Lin Zuoquan. CIRCUMSCRIPTION IN A PARACONSISTENT LOGIC[J]. Journal of Software, 1995, 6(5): 290-295 |
| |
| Authors: | Lin Zuoquan |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
