| 基于溯因解释的信念修正 |
| |
| 引用本文： | 陈保平,孙吉贵.基于溯因解释的信念修正[J].吉林大学学报(理学版),1996(2). |
| |
| 作者姓名： | 陈保平 孙吉贵 |
| |
| 作者单位： | 吉林大学计算机科学系，吉林大学符号计算与知识工程开放实验室 |
| |
| 摘 要： | 给出了一个基于溯因推理信念修正的逻辑框架，并提出一个使用溯因方法，对带有约束条件的信念进行修正的算法．该算法得到的是优化解．
|
| 关 键 词： | 信念修正，逻辑程序，归结，约束条件 |
Belief Updating Using Abduction |
| |
| Chen Baoping,Sun Jigui.Belief Updating Using Abduction[J].Journal of Jilin University: Sci Ed,1996(2). |
| |
| Authors: | Chen Baoping Sun Jigui |
| |
| Abstract: | The problem of intensional knowledge based on updating and incremental concept-learningcan all be understood as the instances of belief updating,and these two problems are more interesting in the fields of logic programming and machine learning.In this paper,we present a logic frame of belief updating using abduction, and give an abductive method to update belief with constraints,from which we obtain a better solution. |
| |
| Keywords: | belief updating logic program SLD-resolution constraints |
| 本文献已被 CNKI 等数据库收录！ |
