张再岳;隋、岳飞;曹存根 基于模糊命题模态逻辑的形式化推理系统。 （英语） Zbl 1076.68093号 J.软件。 16，第8期，1359-1377（2005）. 摘要：研究了基于似然度的模糊命题模态逻辑的形式化推理，并给出了相关Kripke语义的描述。引入模糊约束并用作基本表达式。给出了基于模糊约束的推理规则集，并建立了形式化推理系统，其中引入了可满足性的概念。研究了模糊推理与相关模糊约束集的可满足性之间的关系。证明了基于可满足性的模糊推理的正确性和完备性。 MSC公司： 68层37 人工智能背景下的不确定性推理 03B52号 模糊逻辑；模糊逻辑 关键词：模糊命题模态逻辑;似真性;克里普克语义学;模糊约束;形式推理系统;可满足性;模糊推理 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zhang}等人，J.Softw。16，第8号，1359--1377（2005；Zbl 1076.68093）