论文部分内容阅读
基于逻辑公式定义了逻辑型决策蕴涵。设计了逻辑型决策蕴涵的语义框架,包括定义了逻辑型决策蕴涵的模型,以及逻辑型决策蕴涵集的完备性和无冗余性。在进行知识推理时,该框架可以过滤掉矛盾的结论。语构方面提出了闭包缩小推理规则,并证明了该推理规则相对于语义的合理性和完备性。
逻辑型决策蕴涵
【摘 要】
：
基于逻辑公式定义了逻辑型决策蕴涵。设计了逻辑型决策蕴涵的语义框架,包括定义了逻辑型决策蕴涵的模型,以及逻辑型决策蕴涵集的完备性和无冗余性。在进行知识推理时,该框架
【机 构】
：
山西大学计算机与信息技术学院,山西大学计算智能与中文信息处理教育部重点实验室
【出 处】
：
郑州大学学报:理学版
【发表日期】
：
2020年1期
【基金项目】
：
国家自然科学基金项目(61672331,61573231,61972238,61806116),山西省重点研发计划项目(201803D421024,201903D421041),山西省自然科学基金项目(201801D221175),山西省高等学校科技创新项目(201802014,2019SK036),山西省研究生创新项目(2018BY006,2019SY006)
其他文献
为认真贯彻落实国家、省市和滕州市委、市政府指示精神，滕州市规划局将送温暖、献爱心捐助活动作为一项以实际行动贯彻党的十七大精神，解决民生问题，帮助贫困地区困难群众安全过
利用特征函数展开法对摇板式造波机作周期运动生成的长峰规则波流场作了二阶分析 ,得到了速度势和波形二阶解的解析表达式。通过对二阶波传播模式的分析 ,确定造波机响应特性曲线 (一阶波幅摇幅比 )和规则波最大波高曲线 ,给出能在水池中生成二阶意义上纯正的Stokes波的造波机运动形式。上述有关造波特性的理论分析是研制造波软件 ,确保在水池中生成高品质Stokes波的基础 ,具有重要的应用价值。
中国证券市场年会于2009年11月29日－30日在北京钓鱼台国宾馆举行，“中国建筑”以其市场表现和评价，作为大蓝筹公司代表，荣获了上市公司金鼎奖。
浙江是我国潮汐能资源丰富的省份之一，潮汐能的利用可追溯到１９５８年，我国目前最大的江厦潮汐试验电站于１９８５年冬建成，运行良好，取得了显著的经济效益和社会效益，本文就浙江省潮能利用历史作
从1893年Sir．James Dewar（杜瓦爵士）发明保温瓶后，“真空保温”逐渐进入千家万户，在金属或玻璃的真空杯中即使盛上刚烧开的水．握在手里也不会烫手，说明“热传不出来”。反之．杯中放上
Ｔ形墩消力池是在平底池内加设平面上呈“Ｔ”形，前墩用支腿与尾坎相联的辅助消能工消力池，这种消力池由课题组于１９７８年在国内率先研究并应用于三江口水电站溢流坝。其显著特点是能缩短
以大连经典生活工程的深基坑支护工程为背景，通过设计软件进行结构计算分析，对设计参数取值进行研究，采用桩锚支护设计方案，并对灌注桩的弯距及坑壁位移进行验算。在施工过程中密
本文对用于推力轴承的弹性金属塑料瓦（简称塑料瓦）的机理作用了简要说明，列举了塑料瓦的优点，汇总了我国部分水电站塑料瓦的运行情况与数据，对运行中出现的一些问题作了简要分析，提
伴随着卵石推移质输移量沿程递减，卵石推移质粒径随之减小。粒径减小的物理成因十分复杂，因此原型观测非常重要。测验工作量很大，因此本文提出了一种在取得上、下游两测点粒径资