Tableau approach of fuzzy propositional modal logic

被引：0
|
作者：
Liu L. [1 ]
Wang Q. [1 ]
Lyu S. [1 ,2 ]
机构：
[1] College of Computer Science and Technology, Jilin University, Changchun
[2] College of Mathematics, Jilin University, Changchun
来源：
Lyu, Shuai (lus@jlu.edu.cn) | 1600年 / Editorial Board of Journal of Harbin Engineering卷 / 38期
关键词：
Consistency checking; Fuzzy propositional modal logic; Modal logic; Tableau approach; Uncertainty reasoning;
D O I：
10.11990/jheu.201603080
中图分类号：
学科分类号：
摘要：
In order to improve the reasoning ability of fuzzy propositional modal logic (FPML), we propose a tableau approach to FPML, including a reduction strategy and tableau rules based on FPML. We also propose a method known as tableau approach of fuzzy propositional modal logic (TFPML) to check the consistency of FPML, and a computing method known as CID to determine the degree of inconsistency of a fuzzy assertion set. The soundness and completeness of these two methods are proven, and their correctness and effectiveness are illustrated. © 2017, Editorial Department of Journal of HEU. All right reserved.
引用
收藏
页码：914 / 920
页数：6
相关论文
共 19 条
  • [1] Goliska-Pilarek J., Munoz-Velasco E., Mora A., Deterministic tableau-decision procedure via reductions for modal logic K, Advances in Intelligent Systems and Computing, 239, pp. 429-438, (2014)
  • [2] Schmidt R.A., Tishkovsky D., Using tableau to decide description logics with full role negation and identity, ACM Transactions on Computational Logic, 15, 1, pp. 136-156, (2012)
  • [3] Reynolds M., A tableau for temporal logic over the reals, Advances in Modal Logic, 10, pp. 439-458, (2014)
  • [4] Nalon C., Dixon C., Clasusal resolution for normal modal logics, Journal of Algorithms, 62, pp. 117-134, (2007)
  • [5] Angelo M., Alberto P., Matteo S., Alternative translation techniques for propositional and first-order modal logics, Journal of Automated Reasoning, 28, 4, pp. 397-415, (2002)
  • [6] Mark K., Tobias T., InKreSAT: Modal reasoning via incremental reduction to SAT, Proceedings of the 24th International Conference on Automated Deduction, pp. 436-442, (2013)
  • [7] Hajek P., Harmancova D., A many-valued modal logics, International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, pp. 1021-1024, (1996)
  • [8] Hajek P., On fuzzy modal logics S5(C), Fuzzy Sets and Systems, 161, 18, pp. 2389-2396, (2010)
  • [9] Liu Q., Cui Z., Gao Y., Et al., Tableau reasoning method based on logical reinforcement learning, CAAI Transactions on Intelligent Systems, 3, 4, pp. 355-360, (2008)
  • [10] Hao G., Ma S., Sui Y., An extended dynamic description logic language and its Tableau algorithm, CAAI Transactions on Intelligent Systems, 4, 3, pp. 226-233, (2009)
12