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 条

[41] On fuzzy modal logics S5(C)
Hajek, Petr
FUZZY SETS AND SYSTEMS, 2010, 161 (18) : 2389 - 2396
[42] Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5
Huang, Pei
Li, Rundong
Liu, Minghao
Ma, Feifei
Zhang, Jian
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2021, 2021, 12831 : 225 - 241
[43] AN ALGEBRAIC STUDY OF THE LOGIC S5'(BL)
Wang, Juntao
He, Xiaoli
Wang, Mei
MATHEMATICA SLOVACA, 2022, 72 (06) : 1447 - 1462
[44] Dempster's rule of conditioning translated into modal logic
Tsiporkova, E
De Baets, B
Boeva, V
FUZZY SETS AND SYSTEMS, 1999, 102 (03) : 371 - 383
[45] Sequent Calculi for the Modal μ-Calculus over S5
Alberucci, Luca
JOURNAL OF LOGIC AND COMPUTATION, 2009, 19 (06) : 971 - 985
[46] Representation and reduction of decision system based on semantics of extended propositional modal logic
Zhang, Xiaoru
Zhang, Zaiyue
Cao, Cungen
Huang, Zhisheng
Journal of Computational Information Systems, 2011, 7 (11): : 4071 - 4081
[47] A CUT-FREE SEQUENTIAL SYSTEM FOR THE PROPOSITIONAL MODAL LOGIC OF FINITE CHAINS
NISHIMURA, H
PUBLICATIONS OF THE RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES, 1983, 19 (01) : 305 - 316
[48] A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic
Zhang, Zaiyue
Sui, Yuefei
Cao, Cungen
Wu, Guohua
THEORETICAL COMPUTER SCIENCE, 2006, 368 (1-2) : 149 - 160
[49] Did Medieval Logicians know the S5 Lewis Modal System? An answer from the Medieval Modal Octagon
Campos Benitez, Juan Manuel
OPEN INSIGHT, 2020, 11 (21): : 87 - 112
[50] A propositional system induced by Japaridze's approach to IF logic
Xu, Wenyan
LOGIC JOURNAL OF THE IGPL, 2014, 22 (06) : 982 - 991

← 1 2 3 4 5 →