论文部分内容阅读
首先，我们构造以目的和背景知识为双条件的条件句系统AKC，给出它的一些证明论结果。其次，我们引入有序邻域语义，给出描述AKC的特征公理和推理规则的框架条件，证明AKC相对这些框架条件是框架可靠的。最后，我们证明AKC相对这些框架条件也是框架完全的。
以目的与背景知识为双条件的逻辑AKC
【摘 要】
：
首先，我们构造以目的和背景知识为双条件的条件句系统AKC，给出它的一些证明论结果。其次，我们引入有序邻域语义，给出描述AKC的特征公理和推理规则的框架条件，证明AKC相对这些框架
【机 构】
：
西南大学逻辑与智能研究中心
【出 处】
：
西南大学学报：社会科学版
【发表日期】
：
2007年3期
【基金项目】
：
教育部人文社科研究基地重大项目“归纳逻辑及其应用”（05JJD720,40001）,项目负责人：李小五.
其他文献
挤密砂桩法是指用振动或冲击荷载在软基中压入砂，形成大直径的密实砂桩。用同一施工机械及施工系统，不但适用于砂质土的处理，也适用于粘性土的处理，本文主要结合相关的应用工程案
本文分析电气自动化专业职业岗位群及其工作领域,将工作任务中常接触的电气设备、产品手册、工作场景、企业介绍等与英语相融合,使专业英语教学从内容上、教学方法与手段上、
地基施工建设是工程建设的重要组成部分,本文描述了地基对建筑可能产生的一系列问题并分析了问题产生原因,以及解决这类问题常采用的地基施工方法。为加强建筑地基施工,创造
本文通过分析网络体育信息资源的特点及其与学校体育的内在关联，阐述了网络体育信息资源与学校体育的内在关联，阐述了网络体育信息资源整合的必要性，并对网络体育信息资源整合与
在和谐校园创建中需要充分发挥高校管理人才的作用。完善高校管理人才价值转换的前提有：高校管理人才的自身素质、管理胜任力及人际关系协调能力。必须建构基于管理胜任力的绩
科技园区与产业集群的发展之间紧密关联,但二者并不是充要关系。本文通过对商丘市科技园区与产业集群发展类型的总结比较,构建了二者互动发展的模式,以期借助科技园区更好的
本文介绍了数字化语言室的特点,比较了数字化音频课件与传统媒体的优点;重点阐述了数字化语音室的采集与处理,从数字音频的收集、处理、存储和回放四个方面来说明,从模/数转
20世纪90年代以来，随着Internet等信息技术的发展与普及，我国信息化建设得到了迅速发展。信息化已成为发展社会生产力、提高经济实力和竞争优势的重要保证，并成为国民经济发展和