Destructive Extension Rule in Propositional Modal Logic S5 System

被引：0

作者：

Ma, Li Zheng ^{[1
]}

Tan, Xi ^{[1
]}

Huang, Pei ^{[1
]}

Bai, Li ^{[1
]}

Wu, Zi Yan ^{[1
]}

机构：

[1] Jilin Univ, Coll Comp Sci & Technol, Changchun 130023, Peoples R China

来源：

MANUFACTURING, DESIGN SCIENCE AND INFORMATION ENGINEERING, VOLS I AND II | 2015年

关键词：

extension rule; destructive; S5; RDS5; DMS5;

D O I：

暂无

中图分类号：

T [工业技术];

学科分类号：

08 ;

摘要：

The extension rule reasoning algorithm as a new kind of reasoning algorithm has been constantly developed and improved; meanwhile, it is applied to the practical reasoning system. We mainly study how to apply the latest extension rule in the S5 to implement destructive reasoning. To start with, we put forward the RDS5 to reduce formulas, then use the K-pi Rule to prove the clause set unsatisfactory. From that, we present a DMS5 algorithm and prove the correctness of the algorithm.

引用

页码：1249 / 1255

页数：7