Anovel sequent visual tableaux analytics computation system with a specific mathematical basis is developed. Applications to designing stock forecasting analytics are examined. Morph Gentzen logic from the authors’ 1977 basis is applied towards forecasting analytics. The presents novel model computing techniques with model diagrams for the tableaux with the applications to predictive modeling, forecasting, game tree planning, and predictive analytics support systems.
Analytic Tableaux, Predictive Model Diagrams, Forecasting, Economic Games Models, Predictive Planning, Machine Learning and Discovery
[1]
Nourani, C. F., "MIM Logik," 1997, Summer Logic Colloquium, Prague, August 1998.
[2]
Gentzen, G, Beweisbarkeit und Unbewiesbarket von Anfangsfallen der trasnfininten Induktion in der reinen Zahlentheorie, Math Ann 119, 140-161, 1943.
[3]
Nourani, C. F. (1995d), Intelligent Languages- A Preliminary Syntactic Theory, May 15, 1995, Mathematical Foundations of Computer Science; 1998, 23rd International Symposium, Brno, Czech Republic, August The satellite workshop on Grammar systems. Silesian University, Faculty of Philosophy and Sciences, Institute of Computer Science.
[4]
Nourani, C. F. 1999 on Intelligent Forecasting, and Model Discovery Management Revised June 1998 AAAI 1999 Florida. Genesereth, M. and N. J. Nilsson 1987, Logical Foundations of Artificial Intelligence, Morgan Kaufmann, 1987.
[5]
Nourani, C. F. 1998b, “Intelligent Trees, Thought Models, And Intelligent Discovery,” MODEL-BASED REASONING IN SCIENTIFIC DISCOVERY (MBR'98) Pavia, Italy, December 17-19, 1998.
[6]
Nourani, C. F., Intelligent Multimedia New Computing Techniques, Design Paradigms, and Applications August 1999, http://www.treelesspress.com/, Berkeley, CA. Preliminary edition.
[7]
ADJ - Goguen, J. A., J. W. Thatcher, E. G. Wagner and J. B. Wright, "A Junction Between Computer Science and Category Theory," (parts I and II), IBM T. J. Watson Research Center, Yorktown Heights, N.Y. Research Report, RC4526, 1973.
[8]
Nourani, C. F. 2004, “Model Discovery, Intelligent W-Interfaces, and Business Intelligence with Multitier Designs" CollECTeR LatAm 2004 13 - 15 October 2004 Santiago, Chile http://ing.utalca.cl/collecter/techsession.php
[9]
Nourani, C. F. 2005, “Business Planning and Cross Organizational Models,” Workshop on Collaborative Cross-Organisational Process Design. Linz, Austria, September 2005 http://www.mensch-und- computer.de/mc2005
[10]
Nourani, C. F. (Invited Paper) 2013 W---Interfaces, Business Intelligence, and Content Processing, Inveted Industry Track Keynote, IAT Intelligent Agent Technology, Atlanta, November 2013.
[11]
Nourani, Cyrus F and Oliver Schulte, "Multiagent Games, Competitive Models, Descriptive Computing," SFU, Computation Logic Lab. Vancouver, Canada Draft February 2011, Revision 1: September 25, 2012
[12]
Nourani, C. F., 1999, "AII, Heterogenous Design, and Retrieval Agents," February 1997. Brief Version at IJCAI-99, IIIS Track, Stokholm, July 1999.
[13]
Hirakawa, Masahito, Tadao Ichikawa, Visual Languages Studies - A Perspective. In Software - Concepts and Tools, 1994. Pages 61 to 67.
[14]
Nourani, C. F. and O. Schulte, 2013, “Multiagent Decision Trees, Competitive Models, and Goal Satisfiability, Cyrus F. Nourani” and Oliver Schulte, DICTAP, Ostrava, Czeck Republic, July 2013.
[15]
Nourani, C. F., "Free Proof Trees and Model-theoretic Planning February 23, 1995, Automated Reasoning AISB, Sheffield, England, April 1995.
[16]
Burnett, Margaret M. and Marla J. Baker, A Classification System for Visual Programming Languages, Journal of Visual Languages and Computing, 287-300, September 1994.
[17]
Nourani, C. F. 2000a," Versatile Abstract Syntax Meta-Contextual Logic and VR Computing, 36th Lingustische Kolloquium, Austria, Proceedings of the 35th Colloquium of Linguistics.
[18]
Nourani, C. F. 1995" Free Proof Trees and Model-theoretic Planning, February 23, 1995, Automated Reasoning AISB, England, April 1995. ISBN 90-277-0069-9. 17.
[19]
Nourani, C. F., "Intelligent Languages A preliminary Syntactic Theory," In: Proceedings of the MFCS'98, satellite workshop on Grammar systems. Ed. A. Kelemenová, Silesian University, Faculty of Philosophy and Sciences, Institute of Computer Science, Opava, 1998 pp. 281- 287. 19.
[20]
Nourani, C. F. and Fähndrich, J. " Decision Trees, Competitive Models, and Big Data Heuristics, DAI TU Berlin, November 2016: Written for Virtual Business Proceedings, Slovakia, Thompson Publishers.
[21]
Breiman L, Friedman JH, Olshen RA, Stone CJ. Classification and Regression Trees. Chapman & Hall (Wadsworth, Inc.): New York, 1984.
[22]
Nourani, C. F., "Virtual tree computing, meta-contextual logic, and virtual reality" APA/ASL meeting in Seattle, March 28-29 2002.24.
[23]
Evert W. Beth, Formal Methods: An introduction to symbolic logic and to the study of effective operations in arithmetic and logic. D. Reidel Publishing Company / Dordecht-Holland, 1970.
[24]
Bailey, J, M. Georgeff, D. B. Kemp, D. Kinny, K. Ramamohuarao, "Active Databases and Agent Systems, A Comparison," Techncial Report 95/10. Department of Computer Science, Univerity of Melbourne, Parkville 3052, 1995.
[25]
Sebastian Thrun, C. Faloutsos, T. Mitchell, and L. Wasserman, Automated Learning and Discovery: State-of-The-Art and Research Topics in a rapidly Growing Field September 1998 CMU-CALD-98-100. Center for Automated Learning and Discovery Carnegie Mellon University, Pittsburgh, PA 15213.
[26]
Nourani, C. F. 2005, Intelligent Multimedia Comptuing Science- Business Interfaces, Databases, Data Mines, and WiFi, American Scietific Publishers, 2005.
[27]
Nourani, C. F., 1999, "Agent Computing, KB For Intelligent Forecasting, and Model Discovery for Knowledge Management," June 1998. AAAI Workkshop on Agent Based Systems in the Business Context Orlando, Florida, July 18-July 22, 1999.
[28]
Genesereth, M. and N. J. Nilsson Logical Foundations of Artificial Intelligence, Morgan-Kaufmann, 1987.
[29]
Nourani, C. F., 2001, "The TAIM Intelligent Visual Database," 12th International Workshop on Database and Expert Systems Applications, Wkshp Records, (DEXA 2001) 3-7 September 2001 in Munich, Germany. IEEE Computer Society Press.
[30]
Prawitz, D. 1965, "Natural Deduction: A proof theoretic study. Stokhom, A32. lmqvist and Wiksell.
[31]
Nourani, C. F. and Th. Hoppe, AI, Computational Models, and Intensions, Extended Abstract, October 12, Logic Colloquim, Potsdam University Mathematics Department, Germany, 1992.
[32]
Nourani, C. F., 2003, "KR, Predictive Model Discovery, and Schema Completion," International Cybernetics and Systems Conference, Florida, 2003.
