| 基于非修正方法的认识进程及其极限 |
| |
| 引用本文： | 张丽英,邓安生.基于非修正方法的认识进程及其极限[J].东北师大学报(自然科学版),2000,32(3):108-111. |
| |
| 作者姓名： | 张丽英 邓安生 |
| |
| 作者单位： | 1. 吉林工业大学交通学院,吉林,长春,130025
2. 东北师范大学计算机科学系,吉林,长春,130024 |
| |
| 基金项目： | 国家自然科学基金资助项目!( 6970 3 0 1 0，69983 0 0 2 ) |
| |
| 摘 要： | 基于一阶逻辑，在对假说中的不一致信念不做任何修正的条件下，将根据已有的信念能够推出的没有相反信息的结论的集合作为假说的扩充，假说的扩充是单调的，当且仅当假说在增长过程中没有遇到相反的信息。如果将假说的无限增长过程理解为一个认识进程，则认识进程中假说的扩充收敛于一个确定的极限。
|
| 关 键 词： | 认识进程 假说 极限 无限增长过程 非修正方法 |
| 文章编号： | 1000-1832(2000)03-0108-04 |
| 修稿时间： | 2000-03-01 |
Epistemic process and its limit based on nonrevision approach |
| |
| ZHANG Li-ying,DENG An-sheng.Epistemic process and its limit based on nonrevision approach[J].Journal of Northeast Normal University (Natural Science Edition),2000,32(3):108-111. |
| |
| Authors: | ZHANG Li-ying DENG An-sheng |
| |
| Institution: | ZHANG Li-ying
(College of Transportaion, Jilin University of Technology, Change. Hun 130025, China)DENG An-sheng
(Department of Computer .Science, Northeast Normal University, Changehun 130024, China) |
| |
| Abstract: | In this paper, a nonrevision approach to reasoning with inconsistency in the first order logic is provided. The extension of a premise is defined as the set of derived conclusions that have no negative information. It is proved that the extensions of premises are monotonic if and only if no conflicting information are encountered. When the premise increases, its extension will converge to a definite limit. |
| |
| Keywords: | premise deduction extension epistemic process |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
