期刊文献+

利用tableau方法修正DeepWeb中不相容知识

Using Tableau to Repair the Incomplete Knowledge of Deep Web
下载PDF
导出
摘要 在分析Deep Web中不相容知识的单调性、动态性、模糊性的基础上,提出了基于tableau的不完备知识处理的模型生成方法IK-tableau。该模型采用非经典逻辑表示方法,将Deep Web信息表示为逻辑公式集合,采用模型生成算子对逻辑公式进行扩展。通过IK-tableau方法,能够找出Deep Web搜索中的不完备知识,并可以进行修正,生成知识模型;同时利用该模型可以进一步指导Deep Web搜索。 According to the real situation that there exists a great deal of incomplete knowledge in Deep Web searching, IK-tableau model generation method based sented. The model adopts non-classical logical method, on the incomplete knowledge processing of tableau is presexpresses the Deep Web information as logical formula set and expands it by model generation operator. By using IK-tableau, incomplete knowledge in Deep Web searching can be found out and be repaired to generate knowledge model. In the meantime, Deep Web searching can be further guided
出处 《计算机科学与探索》 CSCD 2009年第1期60-67,共8页 Journal of Frontiers of Computer Science and Technology
基金 国家自然科学基金 教育部重点科学研究基金~~
关键词 DEEP WEB IK TABLEAU 不完备知识 逻辑模型 Deep Web IK-tableau incomplete knowledge logical model
  • 相关文献

参考文献3

二级参考文献15

  • 1R M Smullyan.First-Order Logic.Revised 2nd ed.New York:Springer-Verlag,1994
  • 2M C Fitting.First-Order Logic and Automated Theorem Proving.New York:Springer-Verlag,1996
  • 3R Hhnle,P H Schmitt.The liberalized δ-rule in free variable semantic tableaux.Journal of Automated Reasoning,1994,13(2):211~221
  • 4M C Fitting.Types and Tableau.New York:Springer-Verlag,2000
  • 5A Voronkov.Herbrand's theorem,automated reasoning and semantic tableaux.In:Proc of the 13th IEEE Symp on Logic in Computer Science.Indianapolis,USA:IEEE Press,1998.252~263
  • 6B Beckert.Depth-first proof search without backtracking for free-variable clause tableaux.Journal of Symbolic Computation,2002,27(5):120~138
  • 7B Beckert,J Posegga.LeanTAP:Lean tableau-based deduction.Journal of Automated Reasoning,1995,15(3):339~358
  • 8Carnielli W.A.. Systematization of finite many-valued logics through the method of Tableaux.Journal of Symbolic Logic,1987, 52(2): 473~493.
  • 9Zabel R.. Proof theory of finity-valued logics[Ph. D. dissertation].Institut für Algebra und Diskrete Mathematic, TU Wien, 1993.
  • 10Fitting M.C.. First-Order Logic and Automated Theorem Proving. New York: Springer Verlag, 1996.

共引文献10

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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