期刊文献+

基于标记逻辑的非单调推理(I) 被引量:2

下载PDF
导出
摘要 我们把标记逻辑定义在一个特殊双格上,通过比较标记选取结论,从而同时捕捉超协调(容错)推理和非单调推理,本文介绍标记逻辑程序的句法与语义构造,提出诱导序列及其极限的概念,给出极限存在的等价条件,并证明一个重要结果,诱导序列基本定理,它是后续讨论的基础。
出处 《计算机学报》 EI CSCD 北大核心 1995年第9期641-649,共9页 Chinese Journal of Computers
  • 相关文献

同被引文献25

  • 1王红,刘建辉.人工智能在决策支持系统中的应用与研究[J].微计算机信息,2005,21(3):177-178. 被引量:22
  • 2刘瑞胜,刘叙华.非单调推理的研究现状[J].计算机科学,1995,22(4):14-17. 被引量:1
  • 3Bramer M A. Knowledge Discovery and Data Mining[M]. London: The Institution of Electrical Engineers, 1999.
  • 4Raymond T. Logics for Artificial Intelligence[M]. Ellis Horwood Limited, 1984.
  • 5Ryszard S M, et al. Machine Learning and Data Mining:Methods and Applications[M].朱明,等译.北京:电子工业出版社,2004.
  • 6Mitchell T M. Machine Learning[M].北京:机械工业出版社,2003.
  • 7Montani S,Portinale L. Case Based Representation and Retrieve with Time Dependant Features [C] // International Conference on Cased-Based Reasoning 2005. Springer Berlin, 2005 : 353-367.
  • 8Watson, Iaru CBR is a methodology not a technology[J]. Research & Development in Expert Systems XV, 1998:213-223.
  • 9Aha D W, Watson .I. Case-based reasoning research and development[C] // International Conference on Cased-based Reasoning 2001. Berlin:Springer 2001.
  • 10Huang C-C, Tseng T-L. Rough set approach to case-based reasoning Application [J]. Expert Systems with Applications, 2004,26(3) :369-385.

引证文献2

二级引证文献13

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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