论文部分内容阅读
主要讨论中介逻辑命题演算系统MP中等值意义下的完全析取范式的存在性和唯一性,同时举例说明该范式的作用.该范式分为真值项与矛盾项两部分,形式简洁,为规范化研究该系统中的合式公式提供了一种工具.此外,还给出了构造中介逻辑命题演算系统MP的联结词的归约.
MPM中的等值完全析取范式
【摘 要】
：
主要讨论中介逻辑命题演算系统MP中等值意义下的完全析取范式的存在性和唯一性,同时举例说明该范式的作用.该范式分为真值项与矛盾项两部分,形式简洁,为规范化研究该系统中的
【机 构】
：
南京航空航天大学信息科学与技术学院(江苏南京)
【出 处】
：
第七届中国人工智能联合学术会议
【发表日期】
：
2003年1期
其他文献
基于106个自动气象站的逐分钟雨量数据，对深圳短时强降水时空分布特征进行了分析。分析表明：①深圳的短时强降水多发生在西部沿海的宝安区、东部的大鹏新区山地，以及罗湖、福田
建立反相高效液相色谱法测定Vismodegib含量。采用DiamonsilC18色谱柱（250mm×4．6mm，5μm），以乙腈-水（50：50）为流动相，检测波长：230nm，流速：1．0mL·min^-1，进样体积为20μL，柱温为室
臭氧总量测绘分光仪(TOMS)和臭氧监测仪(OMI)是两个重要的已成功发射且涉及到紫外辐射波长的传感器,为紫外研究工作提供了重要的数据信息。但由于两者紫外产品的反演过程有资料和算法的一些区别使其在同一天的正午地表紫外辐射数据有一定差异,这使通过它们进行长时间尺度上的紫外辐射时空变化分析的精度和准确性受到一定影响。通过对相同时间段的两者正午地表紫外辐射数据进行对比分析,找到一个简单可行的方法使两者差
采用N离子束对谷氨酸棒杆菌进行诱变处理，筛选磺胺胍抗性突变菌株，将突变菌株进行摇瓶发酵实验，选育出一株L-精氨酸产量较高和产酸性能比较稳定的突变菌株。该菌株L-精氨酸产量
顶煤块度是放顶煤开采的关键，以往的块度预测方法主要是考虑节理裂隙影响的原始块度预测；而顶煤块度还与地应力及煤体的力学性质有关。以放顶煤开采的顶煤为研究对象，通过构建三
采用批式吸附法研究河体底泥对活性艳蓝X-BR的吸附特性．吸附动力学试验结果表明吸附可划分为高速吸附(小于6h)和缓慢吸附(6h以上)两个阶段．活性艳蓝X-BR吸附等温线符合Freundli
目前的数据挖掘技术大多只针对单一数据库进行挖掘.当数据库有多个时,需要用到多数据库挖掘技术.应用聚类思想,提出一种独立于应用的数据库分类方法,并给出了相关的算法,最后
通过对慢性浅表性胃炎脾虚证与正常人、慢性浅表性胃炎脾虚证与脾胃湿热证两组胃肠粘膜配对样本的基因表达谱进行分析，在特征提取阶段分别利用Wilcoxon符号秩检验、组间和组内
在现有的水位视觉检测技术中,光照和水面倒影的干扰是不可避免的。针对这一问题,利用水面具有镜面反射现象提出一种水位检测的新方法。首先,采集不同水位高度的10幅图像作为训练样本,建立图像像素坐标与相应的实际水位高度之间映射关系的神经网络模型;然后,利用辅助光源照射在岸边产生镜面反射现象,采集水位图像并提取水位高度相应的图像坐标;最后,根据建立的神经网络模型,以200幅水位图像作为测试样本,计算出水位实