TOWARDS A THEORY OF EPISTEMIC PROCESSES

被引：0
|
作者：
LI, W
机构：
来源：
IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY | 1992年 / 19卷
关键词：
MATHEMATICAL LOGIC AND FORMAL LANGUAGES; ARTIFICIAL INTELLIGENCE; KNOWLEDGE REPRESENTATION FORMALISMS AND METHODS;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
A theory of epistemic processes is developed. Some concepts, such as new premise, rejection by facts, reconstruction of a hypothesis and epistemic process are defined. Their properties are studied and the related theorems are proved. The concept of the limit of an epistemic process is further defined. Every empirical model about a specific problem is proved to be the limit of an epistemic process. The work is compared with other nonmonotonic approaches, especially Reiter's default reasoning.
引用
收藏
页码：33 / 45
页数：13
相关论文
共 50 条
12345