期刊文献+

案例智能技术的逻辑学研究

Researches on Case Intelligent Technique from Logics
下载PDF
导出
摘要 逻辑学是研究思维判断真伪性的学科,是人类思维之本;深入研究人类思维推理的逻辑学理论基础,有助于更好地实现案例智能.文章从知识发现的角度对案例智能的逻辑学进行了研究;针对人类创造性思维的活动过程中具有某种不确定性的归纳、类比推理以及模糊推理等,案例智能技术采用柔性逻辑,可以解决包容各种不确定性的、灵活的、自适应的面向真实世界的柔性问题,便于人们多信道地获取知识. Logics is the basis of human beings thinking, which judges the correctness of human thoughts, and that can conductively actualize case intelligent technique by means of investigations on human reasoning. Researching case-intelligence logics form the view of knowledge discovery, this paper analyze flexible logics which contains uncertainty, agility and self-adapt ability to suit for uncertain reasoning, analogy reasoning even with fuzzy reasoning within human creative activities; and case intelligent techniques embody flexible logics conveniently for people to acquire knowledge from many aspects to cope with real flexible problems.
出处 《合肥学院学报(自然科学版)》 2010年第1期64-68,共5页 Journal of Hefei University :Natural Sciences
基金 安徽省高校自然科学研究项目(IQ20088107)、福建省科技专项课题(208F5043)、福建省教育科研基金项目(JA07175,JA08229)资助.
关键词 案例智能 逻辑学 不确定性 柔性推理 case intelligence logic uncertainty flexible logics
  • 相关文献

参考文献2

二级参考文献12

  • 1RuiXue Deng-GuoFeng.New Semantic Model for Authentication Protocols in ASMs[J].Journal of Computer Science & Technology,2004,19(4):555-563. 被引量:5
  • 2SUKaile LüGuanfeng CHENQingliang.Knowledge structure approach to verification of authentication protocols[J].Science in China(Series F),2005,48(4):513-532. 被引量:4
  • 3Clarke, E. M., Emerson, A., Design and synthesis of synchronization skeletons using branching-time temporal logic, in Logic of Programs : Workshop, Yorktown Heights, in Lecture Notes in Computer Science, Vol. 131, Spring-Verlag, Berlin:1981, PP. 52-71.
  • 4Mcmillan, K. L. , Symbolic Model Checking, Kluwer Academic Publishers, 1993.
  • 5Chechik, M., Easterbrook, S. M., Devereux, B., Model checking with multi-valued temporal logics, in Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic (ISMVLOI), IEEE Computer Society, 2001. pp. 187-192.
  • 6Hoare, C. A. R. , Communicating Sequential Processes, Prentice Hall, 1985.
  • 7Lynch, N. A. , Distributed Algorithms, Morgan Kaufmann, 1996.
  • 8Alur, R. , Henzinger, T. A. , Kupferman, O. , Alternating-time temporal logic, in Proceedings of the 38th IEEE Symposium on Fondations of computer science, 1997. PP. 100-109.
  • 9Osborne, M. J. , Rubinstein, A. , A Course in Game Theory, The MIT Press, Cambridge, MA, 1994.
  • 10Alur, R., Henzinger, T. A., Mang, F. Y. C., Qadeer, S. , Rajamani, S. K. , Tasiran, S. , Mocha: modularity in model checking, in Proceedings of the Tenth International Conference on Computer Aided Verification (CAIX)8), LNCS Vol. 1427, Springer Verlag, Germany, 1998. pp. 521-525.

共引文献7

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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