作者：邱晓春; 裴道武模糊描述逻辑修正的kleene蕴涵可满足性一致性tableau算法
摘要：基于三角模的模糊描述逻辑的提出，使得模糊描述逻辑的框架更一般化，为知识处理提供了更理想的方法．在此基础上，提出基于修正的Kleene蕴涵的模糊描述逻辑，在建立该模糊描述逻辑的语法，语义与知识库形式后，进一步讨论相关的推理问题，包括这个逻辑中的可满足性问题，Tableau算法及一致性问题．
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《高校应用数学学报A辑》（CN：33-1110/O）是一本有较高学术价值的大型季刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《高校应用数学学报A辑》是综合性应用数学学术刊物。主要刊登应用数学的创造性研究成果，包括应用数学理论研究，应用数学新理论、新方法在现代科学技术中的应用以及专题综述等。
杂志详情
