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

共 50 条

[1] Improved Destructive Extension Rule in Propositional Modal Logic S5 System
Huang, Pei
Yang, YuTing
Tan, Xi
Gao, Yuan
2015 INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING APPLICATIONS (CSEA 2015), 2015, : 38 - 42
[2] Base-extension semantics for S5 modal logic
Eckhardt, Timo
Pym, David
LOGIC JOURNAL OF THE IGPL, 2025,
[3] Destructive extension rule in proposition modal logic K
Wu, X.
Sun, J. G.
COMPUTATIONAL METHODS, PTS 1 AND 2, 2006, : 1087 - +
[4] A deep inference system for the modal logic S5
Stouppa P.
Studia Logica, 2007, 85 (2) : 199 - 214
[5] On Satisfiability Problem in Modal Logic S5
Salhi, Yakoub
PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), 2020, : 948 - 955
[6] Knowledge Compilation in the Modal Logic S5
Bienvenu, Meghyn
Fargier, Helene
Marquis, Pierre
PROCEEDINGS OF THE TWENTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-10), 2010, : 261 - 266
[7] REWRITE RULE SYSTEMS FOR MODAL PROPOSITIONAL LOGIC
FORET, A
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 343 : 147 - 156
[8] REWRITE RULE SYSTEMS FOR MODAL PROPOSITIONAL LOGIC
FORET, A
JOURNAL OF LOGIC PROGRAMMING, 1992, 12 (03): : 281 - 298
[9] A simple propositional S5 tableau system
Fitting, M
ANNALS OF PURE AND APPLIED LOGIC, 1999, 96 (1-3) : 107 - 115
[10] Evidence reconstruction of epistemic modal logic S5
Rubtsova, Natalia
COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2006, 3967 : 313 - 321

← 1 2 3 4 5 →