|
|||||
|
|
| 析取稳定模型和大胆辩论推理 | |
| 引用本文： | 王克文,陈火旺.析取稳定模型和大胆辩论推理[J].中国科学(E辑),1998,28(3):68-273. |
| 作者姓名： | 王克文 陈火旺 |
| 作者单位： | 湖南师范大学计算机系!长沙410081(王克文)，国防科学技术大学计算机学院!长沙410073(陈火旺，吴泉源，肖侬) |
| 基金项目： | 国家“八六三”高技术计划资助项目 |
| 摘 要： | 将任意析取逻辑程序自然转化为一个辩论推理框架，大胆辩论推理的实现则由所有极大可接受假说刻画，从而提出了一种实现大胆辩论推理的析取逻辑程序系统，并得到了一些有意思的结果，特别是证明大胆辩论推理可由析了稳定语义实现。 |
| 关 键 词： | 辩论推理 析取稳定模型 人工智能 大胆辩论推理 |
| 本文献已被 CNKI 维普 等数据库收录！ | |