基于非修正方法的认识进程及其极限

• 作者: 张丽英 邓安生
• 来源期刊: 东北师大学报（自然科学版）
• 学科: 工学
• 关键词: 假说 推演 扩充 认识进程
• 年，卷（期）: 2000,（3）
• 所属期刊栏目: 国家自然科学基金资助项目布尔算子模糊逻辑及其自动推理研究
• 页码范围: 108-111
• 页数: 4页
• 分类号: TP301
• 字数: 2833字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-1832.2000.03.024

摘要

基于一阶逻辑,在对假说中的不一致信念不做任何修正的条件下,将根据已有的信念能够推出的没有相反信息的结论的集合作为假说的扩充,假说的扩充是单调的,当且仅当假说在增长过程中没有遇到相反的信息.如果将假说的无限增长过程理解为一个认识进程,则认识进程中假说的扩充收敛于一个确定的极限.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邓安生	东北师范大学计算机科学系	8	87	4.0	8.0
2	张丽英	吉林工业大学交通学院	2	38	2.0	2.0