一个开放的逻辑系统

来源 :中国科学(A辑数学物理学天文学技术科学) | 被引量 : 10次 | 上传用户：billguo

【摘要】

：

本文建立了一个可以刻画知识的增长、更新以及假说的进化的开放逻辑理论;给出了新假设、事实反驳、假说的重构及认识进程等概念的定义,讨论了它们的性质并证明了与之有关的定理.本文还定义了认识进程的极限概念并证明任何关于某一特定问题的经验模型都是一认识进程的极限.作为开放逻辑的应用,本文给出了Rei-ter缺省推理理论的一个模型论解释.

【作者】

：

李未

【机构】

：

北京航空航天大学

【出处】

：

中国科学(A辑数学物理学天文学技术科学)

【发表日期】

：

1992年10期

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

NF逻辑系统

会议

大学生思想政治教育管理模式在新时期高校的探析

【摘要】大学校园是大学生人生发展中，必不可少的重要场所，就目前我国情况而言，大学教育中，主要负责学生思想政治教育管理的工作，要注重培养学生的人生观、价值观、世界观等。思想教育的作用，主要是充分的发挥依赖思想政治教育管理的工作，我国目前并没有合理的有效的管理功能。这样一来，思想政治的教育活动就不能平稳的进行下来，思想政治的教学的效果也并没有办法达到。因此，我国教育事业对于当代的大学生必须进行扎实有效

期刊

大学生思想政治教育管理模式新时期

教师教育培养院校有效性德育研究

【摘要】古人有云：“百行德为首。”教师教育培养院校德育工作是促进学生全面发展教育的重要组成部分。而德育的发展是一个由内向外的过程，是诸多因素共同影响、作用的结果。所以要提高教师教育培养院校德育的有效性，应该从多个方面入手。　　【关键词】教师教育培养院校德育有效性　　【中图分类号】G651【文献标识码】A 【文章编号】2095-3089（2016）09-0060-01　　前言　　我国古代思想家司

期刊

教师教育培养院校德育有效性

在语文综合实践中学生提升朗读能力

【摘要】朗读：是一种出声的阅读方式，它是小学生完成阅读教育任务的一项重要的基本功。就语文学习而言，朗读是理解课文的重要手段，它有助于增强语感，以声传情。小学低年级孩子：一、由于识字量少，不能正确、流利地朗读好文本。二、孩子们还不懂得朗读技巧，重点词句语感也把握不好，因此无法体会文本所要表达的情感，丧失了朗读兴趣。　　【关键词】语文综合实践朗读　　【中图分类号】G623.2【文献标识码】A 【文

期刊

语文综合实践朗读

面向多推理者系统的逻辑框架——MRSL

该文论述了面向多推理者的逻辑体系的特点，提出了一个面向多推理者系统的逻辑框架MRSL（Mulit－Reasoner Reasoning System Logic）。该框架不同于在传统模态逻辑上建立的框架，如Kurt

会议

推理系统逻辑框架知识传播通讯方式模态逻辑逻辑体系公平

模拟非单调推理的多重模态逻辑系统

会议

模拟非单调推理模态

关于先进Ⅰ-3型和5型编码扫描发生器的改进

美国PELTON公司的Ⅰ－3型编码扫描器和5型编码扫描器与记录系统相配合有一定的条件，若记录系统在遥控启动和TB信号通路上带电源，3型编码扫描器就可与其配合使用，5型编码扫描器通过

期刊