一种基于片段的时态逻辑及其应用

来源 :中国第三届知识工程研讨会 | 被引量 : 0次 | 上传用户：yaocjs

【摘要】

：

用逻辑形式来表示时态信息的方法之一是用被称之为具体化的（reified）命题来表示，该文将讨论几种用此方法表示时态信息的逻辑形式，在此基础上提出一种基于片段的时态逻辑系统，并介

【作者】

：

陈文丹招兆铿

【机构】

：

复旦大学

【出处】

：

中国第三届知识工程研讨会

【发表日期】

：

1990年期

【关键词】

：

时态逻辑推理规则时态信息逻辑形式逻辑基础数据库系统逻辑系统方法表示演绎体化理论

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

用逻辑形式来表示时态信息的方法之一是用被称之为具体化的（reified）命题来表示，该文将讨论几种用此方法表示时态信息的逻辑形式，在此基础上提出一种基于片段的时态逻辑系统，并介绍在此逻辑基础上提出的T－归结——一种时态推理规则，而这个推理规则正是我们已在Micro VAX－Ⅱ上实现的一个时态演绎数据库系统的理论基础。（本刊录）

其他文献

中介逻辑系统MF[*^**]的Gentzen系统

会议

中介逻辑系统

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型编码扫描器通过

期刊