|
|||||
|
|
| 基于析取逻辑程序设计的诱导推理 | |
| 引用本文： | 王克文,陈火旺.基于析取逻辑程序设计的诱导推理[J].中国科学(E辑),1998,28(1):0-96. |
| 作者姓名： | 王克文 陈火旺 |
| 作者单位： | 国防科技大学计算机学院!长沙410073 |
| 基金项目： | 国家“八六三”高技术计划资助项目 |
| 摘 要： | 利用辨论推理模式，将负文字的析取式作为诱导推理的假设，建立了析取逻辑程序设计的一种诱导语义框架ＤＡＳ。它不仅是实现辩论推理（诱导）的一种简单直观语义而且为析取程序的语义了一个统一的框架。特别地，证明了著名的良基语义和ＥＧＣＷＡ等都可以嵌入ＤＡＳ。 |
| 关 键 词： | 逻辑程序设计 常识推理 辩论推理 诱导推理 |
| 本文献已被 CNKI 维普 等数据库收录！ | |