可废除推理研究 |
| |
引用本文: | 于斌,石纯一.可废除推理研究[J].计算机科学,1996,23(2):11-16. |
| |
作者姓名: | 于斌 石纯一 |
| |
作者单位: | 汕头大学计算机科学系,汕头大学计算机科学系,清华大学计算机与技术系 汕头 515063,汕头 515063,北京 100084 |
| |
基金项目: | 国家八六三计划,国家自然科学基金,李嘉诚学术基金 |
| |
摘 要: | 非单调推理是针对常识推理而提出的,但是标准非单调逻辑都存在可计算性问题,如何提出一种
|
关 键 词: | 人工智能 可废除推理 非单调推理 |
本文献已被 CNKI 维普 等数据库收录! |
|
点击此处可从《计算机科学》下载全文 |
|