期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

Tableau Systems for Paraconsistency and Minimal Inconsistency 被引量：1

Tableau Systems for Paraconsistency and Minimal Inconsistency
原文传递
导出
摘要 In this paper, the sematics of a paraconsistent logic and its nonmonotonic extension by minimal inconsistency are presented first. And then signed tableaux for paraconsistelit logic and minimal tableaux for logic of minimal inconsistency is proposetl. Finally the reduction of logic of paraconsistency and minimal inconsistency on ordinary semantics which provides new approach to proof procedure and implementation of paraconsistency and minimal inconsistency are provided. In this paper, the sematics of a paraconsistent logic and its nonmonotonic extension by minimal inconsistency are presented first. And then signed tableaux for paraconsistelit logic and minimal tableaux for logic of minimal inconsistency is proposetl. Finally the reduction of logic of paraconsistency and minimal inconsistency on ordinary semantics which provides new approach to proof procedure and implementation of paraconsistency and minimal inconsistency are provided.
作者 林作铨 sxx0.math.pku.edu.cn
出处 《Journal of Computer Science & Technology》 SCIE EI CSCD 1998年第2期174-188,共15页 计算机科学技术学报（英文版）
关键词 Tableaux logic of paradox paraconsistent logic minimal inconsistency nonmonotonic logic CIRCUMSCRIPTION Tableaux,logic of paradox, paraconsistent logic, minimal inconsistency, nonmonotonic logic, circumscription
分类号 TP181 [自动化与计算机技术—控制理论与控制工程]
  • 相关文献

参考文献1

  • 1林作铨，Lecture Note in Artificial Intelligence，1994年

同被引文献13

  • 1林作铨,李未.悖论逻辑的表演算[J].软件学报,1996,7(6):345-353. 被引量：3
  • 2Berners Lee T, Hendler J, Lassila O. The Semantic Web [M]. Scientific American, 2001,284 (5) : 35-43.
  • 3Schlobach S,Cornet R. Non-standard reasoning services tor the debugging of description logic terminologies[C]//Proceedings of the 8^th International Joint Conference on Artificial Intelligence. Acapulco, Mexico: Morgan Kaufmann, 2003: 355 362.
  • 4Huang Z, van Harmelen F, ten Teije A. Reasoning with inconsistent ontogies[C]//Proceedings of the 19^th International Joint Conference on Artificial Intelligence. Edinburgh, Scotland, UK: Professional Book Center, 2005 : 454 459.
  • 5Qi G,Du J. Model-based revision operators terminologies in description logics[C]//Proceedings of the 21^ stInternational Joint Conference on Artificial Intelligence. Pasadena, California, USA: Morgan Kanfmann, 2009 : 891-897.
  • 6Ma Y, Hitzler P, Lin Z. Algorithms for paraconsistent reasoning with OWL[C]//Proceedings of the 4^th European Semantic Web Conference. LNCS 4519. Innsbruck, Austria: Springer-Verlag, 2007:399-413.
  • 7Motik B. Reasoning in description logics using resolution and deductive databases[D]. University Karlsruhe,Germany, 2006.
  • 8Zhang X, Xiao G, Lin Z. A Tableau Algorithm for Handling Inconsistency in OWL[C]//Proceedings of the 6^th European Semantic Web Conference. LNCS 5554. Heraklion, Greece: Sprin- ger-Verlag, 2009 : 399 413.
  • 9Zhang X, I.in Z, Wang K. Towards a Paradoxical Description I.ogic for the Semantic Web[C]//Proceedings of the 6^th International Symposium on Foundations of Information and Knowledge Systems. LNCS 5956. Sofia, Bulgaria: Springer-Verlag, 2010~306 325.
  • 10Sirin E,Parsia B, Grau B, et al. Pellet: A practical ()WITDL rea soner[J]. Journal of Web Semantics,2007,5(2) :51-53.

引证文献1

Journal of Computer Science & Technology
1998年 第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部