论文部分内容阅读
基于文（１）定义的ｃｏｎｔｅｘｔ逻辑ＣＬ，本文分别引入限制理论和缺省理论到ｃｏｎｔｅｘｔ推理中，给出有关的定义和定理。
Context的非单调推理
【摘 要】
：
基于文（１）定义的ｃｏｎｔｅｘｔ逻辑ＣＬ，本文分别引入限制理论和缺省理论到ｃｏｎｔｅｘｔ推理中，给出有关的定义和定理。
【机 构】
：
计算机系
【出 处】
：
国防科技大学学报
【发表日期】
：
1996年4期
其他文献
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
基于实际激光除冰过程对光斑尺寸与作用距离的需求，根据激光器功率与抗激光损伤阈值的工艺参数，确定激光除冰光学系统的纵向长度与横向尺寸，据此设计了作用距离为100～500m且光斑
许多人本本里都有重要数据，商务机密或私人照片，为了不让别人窥探，往往要对它们进行加密，以此保护自己的隐私不被侵犯，许多软件都具有数据加密功能，但要么使用复杂，要么兼容性不好，应
语言测试的真实性问题是语言测试一个重要的概念,大学英语四、六级口语（CET-SET）在社会越来越引起大家的关注,最近几年来一些学者和研究人员对语言测试的真实性问题有所研究,却
随着世界竞争日趋加剧和各国教育急速发展,追求公平、优质的基本公共教育服务均等化已经成为当前乃至今后相当长时期内教育领域关注的重大政策、理论和实践问题。全纳教育倡
为了做好1995年度注册会计师考试辅导教材及参考用书的征订、发行工作,现将有关情况通知如下:一、1995年度注册会计师考试辅导教材共五册:1.《会计》,40万字,定价16.00元;2.
金秋十月,龙江大地到处洋溢着丰收的喜悦。很高兴来到美丽的建三江,参加北大荒(农垦集团)建三江分公司和碧桂园(集团)农业控股有限公司联合举办的"无人化农场项目—农机无人
2,4-二羟基苯甲酸甲酯(MDB)是对羟基苯甲酸甲酯在高级氧化过程中形成的较稳定的中间产物,具有比甲酯更强的毒性,其在环境中的存在对水资源及生态系统具有较高的潜在风险.文中
本文阐述了H_2不能作为正氢和仲氢的混合物处理的理由,提出了从光谱熵的定义出发解释H_2的残余熵的方法。
本文对载人飞船上升段轨道的一种工程设计方法进行了探讨。该方法的特点是根据上升段飞行的特征,运用飞行力学原理选定其控制规律的数学模型,然后根据上升段轨道的中间约束条