Adaptive Prediction by Anticipatory Reasoning Based on Temporal Relevant Logic
作者： Jingde Cheng
DOI: 10.1109/HIS.2008.118
关键词:
摘要: This paper proposes a new adaptive method for prediction, i.e., prediction by logic reasoning. The presents the differences between traditional methods based on analytic simulation and reasoning, discusses logical basis of method, shows that family temporal relevant logics can be adopted as fundamental to underlie anticipatory
ieeecomputersociety.org参考文章(21)
Ramesh Sharda, Jay E Aronson, Efraim Turban, Ting-Peng Liang, Decision Support and Business Intelligence Systems (8th Edition) Prentice-Hall, Inc.. ,(2006)
Yuh-Dauh Lyuu, Financial Engineering and Computation Cambridge University Press. ,(2001) , 10.1017/CBO9780511546839
Edwin D. Mares, Relevant Logic: Inference and its applications ,(2004) , 10.1017/CBO9780511520006
The Blackwell guide to philosophical logic Studia Logica. ,vol. 84, ,(2001) , 10.1111/B.9780631206934.2001.X
Edwin David Mares, Relevant Logic: A Philosophical Interpretation ,(2004)
Jingde Cheng, EnCal: An Automated Forward Deduction System for General-Purpose Entailment Calculus IFIP World Conference on IT Tools. pp. 507- 514 ,(1996) , 10.1007/978-0-387-34979-4_56
Jingde Cheng, Shinsuke Nara, Yuichi Goto, FreeEnCal: A Forward Reasoning Engine with General-Purpose international conference on knowledge-based and intelligent information and engineering systems. pp. 444- 452 ,(2007) , 10.1007/978-3-540-74827-4_56
Jingde Cheng, Temporal Relevant Logic as the Logic Basis of Anticipatory Reasoning-Reacting Systems AIP Conference Proceedings. ,vol. 718, pp. 362- 375 ,(2004) , 10.1063/1.1787339
John P. Burgess, Basic Tense Logic Springer, Dordrecht. pp. 1- 42 ,(1984) , 10.1007/978-94-009-6259-0_2
Zbigniew Michalewicz, Matthew Michalewicz, Constantin Chiriac, Martin Schmidt, Adaptive Business Intelligence ,(2006)