次协调的模态逻辑  

Paraconsistent Modal Logic

作　　者：程晓春[1] 孙吉贵[1] 姜云飞[1] 

机构地区：[1]吉林大学计算机科学系

出　　处：《软件学报》1998年第11期833-838,共6页Journal of Software

基　　金：国家自然科学基金;国家攀登计划基金;国家教委博士点基金

摘　　要：将次协调模糊推理方法推广到模态逻辑，提出次协调的模态逻辑，其逻辑推理关系是次协调模糊蕴含的模态推广，既可处理不一致信息，又可表示多世界模型．给出了次协调模态逻辑的正确而且完备的Ｇｅｎｔｚｅｎ型推理系统．Generalize the methods of paraconsistent fuzzy reasoning into modal logic, propose a paraconsistent modal logic, whose logical consequence is a modal extension of a paraconsistent fuzzy implication, which has the abilities of both handling inconsistency and representing multi world modals, and present its sound and complete Gentzen style inference system.

关 键 词：模态逻辑 次协调逻辑 推理系统 知识库 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]