论文部分内容阅读
一个逻辑系统在实际应用中,推理规则的选取往往很重要.本文基于语言真值格值命题逻辑系统ípl,提出了几种推理规则,这些推理规则包含有语义和语法,且它们之间具备协调水平的特性,证明了推理规则在一定程度上具备闭性特性.
基于语言真值格值命题逻辑系统(e)vpl的推理规则
【摘 要】
：
一个逻辑系统在实际应用中,推理规则的选取往往很重要.本文基于语言真值格值命题逻辑系统ípl,提出了几种推理规则,这些推理规则包含有语义和语法,且它们之间具备协调水平
【机 构】
：
西南交通大学信息科学与技术学院,西南交通大学智能控制开发中心
【出 处】
：
计算机科学
【发表日期】
：
2004年期
其他文献
设计了一种明弧焊接视频监控系统.通过采用特定的大动态范围的CCD相机、辅助光源和滤光减光片组成的光路系统,拍摄明弧焊接状态,包括:熔池、熔心、焊丝、钨针以及前端焊道,并
目前水平定向钻施工中的数据长期依赖人工记录,容易出现人为误差、漏记现象,造成所记录的数据不能直观反映施工状况,不能科学高效地指导下一级扩孔施工.水平定向钻施工数据采
研究了HR3C钢管试样在不同内压蠕变试验时间下显微组织和力学性能的变化,分析了HR3C钢析出相对力学性能的影响.结果表明:内压蠕变试验后,HR3C钢管试样晶内和晶界上均析出弥散
针对本科英语写作教学中出现的种种问题以及本科英语专业学生写作中出现的“费时低效”现象,从教材、教学思路和教学方法等方面提出了相应的对策与措施。
In view of the pr
关涉是从逻辑视角出发,包容系统因素且容纳情境因素的相关性定义.目前常用的定义方法是形式化一组关涉属性,以这组属性来表示关涉.关涉属性的选择是一个IR逻辑体系所用语言的
针对中小型图书馆的数字资源特点和中小型图书馆的实际状况,介绍外文数字资源馆藏、中文数字资源馆藏、特色数字资源馆藏长期保存的具体策略。在详细分析特色数字馆藏的保存
[目的]了解择业对理工类毕业生心理因素情绪状况的影响,分析其原因,提出对策,为择业指导提供依据.[方法]对4年级理工类学生在进行择业期问心理健康、抑郁焦虑水平的测试,与国
目的 探讨非限制性外支架防治移植静脉再狭窄的可能作用机制. 方法新西兰白兔随机分为支架组和对照组,每组18只.均实施颈外静脉-颈总动脉移植术,支架组在移植静脉外套以外支
佩妃延腹小蜂Philotrypesis pilosa和Philotrypesis sp.是寄生在对叶榕Ficus hispida L.上的同属非传粉榕小蜂,二者可能拥有最近共同祖先.榕小蜂利用嗅觉对寄主榕树的专一性
目的 使护理人员真切理解关怀要素,满足住院患者的关怀需求,更好地实施关怀护理服务.方法 制订角色扮演活动方案,由护理人员扮演住院患者,亲身体验并记录患者的关怀需求、真