两种推理方法QIP和FSI的鲁棒性结果及其比较

作者:王媛媛; 裴道武
来源:高校应用数学学报A辑(中文版), 2019, 34(02): 218-226.
DOI:10.13299/j.cnki.amjcu.002075

摘要

基于逻辑相似度和剩余蕴涵,研究了五蕴涵推理方法(QIP)和相似度推理方法(FSI)的鲁棒性,给出了在四个常用蕴涵下QIP的鲁棒性的具体结果,以及基于修正的Kleene蕴涵的FSI的鲁棒性结论,并且对这两种推理方法的鲁棒性进行了初步的比较.

全文