论文部分内容阅读
基于逻辑相似度和剩余蕴涵,研究了五蕴涵推理方法(QIP)和相似度推理方法(FSI)的鲁棒性,给出了在四个常用蕴涵下QIP的鲁棒性的具体结果,以及基于修正的Kleene蕴涵的FSI的鲁棒性结论,并且对这两种推理方法的鲁棒性进行了初步的比较.
两种推理方法QIP和FSI的鲁棒性结果及其比较
【摘 要】
：
基于逻辑相似度和剩余蕴涵,研究了五蕴涵推理方法(QIP)和相似度推理方法(FSI)的鲁棒性,给出了在四个常用蕴涵下QIP的鲁棒性的具体结果,以及基于修正的Kleene蕴涵的FSI的鲁棒
【机 构】
：
浙江理工大学理学院
【出 处】
：
高校应用数学学报:A辑
【发表日期】
：
2019年2期
【基金项目】
：
国家自然科学基金(11171308,51305400,61379018,61472471).
其他文献
近年来,随着我国公路建设的迅速发展,人们对公路行驶舒适度也提出了要求,路基施工是公路建设最重要的环节之一,它的好坏直接影响着公路的使用寿命。所以有必要加强这方面的学
如何科学准确地评价现代矿井的通风难易程度已成为当今通风学者研究的课题,本文有针对性地研究了目前矿井通风难易程度评价中存在的两个主要问题:等积孔分级方法失效和如何准
润滑油集中循环过滤系统是一套润滑油循环利用系统。适用于齿轮箱、车桥试验时,磨合试验用油的循环、集中净化、过滤;本文通过举例、对比介绍了润滑油集中循环过滤系统的原理
在风险中性假设下,通过建立以外币计价的股票价格服从带跳扩散过程的随机微分方程和外币汇率的随机微分方程,考虑到影响外汇汇率的因素和影响股票价格因素的相关性,得到了与
首先基于电荷泵原理提出了一种新的无源电子标签电源产生电路结构，并提出了结构简化的算法,然后基于提出的电路结构和算法，给出了特高频无源电子标签电源产生电路的设计实例．设
近些年来,关于民国广播史的研究日趋活跃,讨论关注之问题也十分广泛,主要体现在红色广播、国民党及日伪广播、宏观及区域视角下的广播三个方面。这一领域虽然取得了令人瞩目
上市公司造假舞弊已成为中国社会主义市场经济发展和完善的巨大阻碍,一旦出现上市公司造假舞弊行为,国家、社会、上市公司、投资人和消费者都将成为利益受损的一方,虽然当前
基于对软件框架的研究,提出了一种面向构件的电信软件框架(COSFoTS);阐述了COSFoTS的整体框架结构和关键设计;以基于此框架的IP多媒体子系统(IMS)的呼叫会话控制功能(CSCF)模
对准静态衰落信道、快衰落信道以及介于两者之间的时变衰落信道下的空时码设计准则进行了研究.考察了空时码的首事件差错概率,并基于首事件差错概率提出一种新的用于时变衰落
装配式建筑是在我国建筑行业飞速发展下产生的一种新建筑模式,主要是在建筑开始前就预先生产所需配件。BIM技术在装配式建筑中的应用可以提高预构件的设计效率和精度,大大降