• Article
  • | |
  • Metrics
  • |
  • Reference [1]
  • |
  • Related [20]
  • | | |
  • Comments
    Abstract:

    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.

    Reference
    1  Fitting M. First-order modal tableaux. Journal of Automated Reasoning, 1988,(4):191~213 2  Enjalbert P, Farinas Del Cerro L. Modal resolution in clausal form. Theoretical Computer Science, 1989,(65):1~34 3  Benferhat S, Cayrol C, Dubois D et al. Inconsistency management and prioritized syntax-based entailment. In: Selman B ed. Proceedings of the 13th International Joint Conference on Artificial Intelligence. San Mateo, California: Morgan Kaufmann Publishers, Inc., 1993. 640~645 4  Benferhat S, Dubois D, Prade H. How to infer from inconsistent beliefs without revising. In: Mellish Chris S ed. Proceedings of the 14th International Joint Conference on Artificial Intelligence. San Mateo, California: Morgan Kaufmann Publishers, Inc., 1995. 1449~1455 5  Cheng X C, Jiang Y F, Liu X H. The rationality and decidability of fuzzy implications. In: Mellish Chris S ed. Proceedings of the 14th International Joint Conference on Artificial Intelligence. San Mateo, California: Morgan Kaufmann Publishers, Inc., 1995. 1910~1915 6  孙吉贵,刘叙华.模态归结弱包含删除策略.计算机学报,1994,17(5):321~329 (Sun Ji-gui, Liu Xu-hua. Deletion strategy using weak subsumption relation for modal resolution. Chinese Journal of Computers, 1994,17(5):321~329) 7  周萍,唐日昆,孙吉贵等.命题模态归结的一种变形.计算机学报,1994,17(9):662~668 (Zhou Ping, Tang Ri-kun, Sun Ji-gui et al. A variant of propositional modal resolution. Chinese Journal of Computers, 1994,17(9):662~668)
    Cited by
    Comments
    Comments
    分享到微博
    Submit
Get Citation

程晓春,孙吉贵,姜云飞.次协调的模态逻辑.软件学报,1998,9(11):833-838

Copy
Share
Article Metrics
  • Abstract:4076
  • PDF: 4457
  • HTML: 0
  • Cited by: 0
History
  • Received:April 04,1997
  • Revised:November 05,1997
You are the first2032833Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063