Academia.eduAcademia.edu

Outline

A Formal Approach to Agent planning with inference trees

Abstract

The paper is based on agent plan computing where the interaction amongst heterogeneous computing resources is via objects, multiagent AI and agent intelligent languages. Modeling, objectives, and planning issues are examined at an agent planning. A basis to model discovery and prediction planning is stated. The new agent computing theories the author defined since 1994 can be applied to present precise decision strategies on multiplayer games with only perfect information between agent pairs. The game trees are applied to train models. The computing model is based on a novel competitive learning with agent multiplayer game tree planning. Specific agents are assigned to transform the models to reach goal plans where goals are satisfied based on competitive game tree learning. The planning applications include OR-Operations Research as goal satisfiability and management decision support withmeansendanalysis.

References (19)

  1. Brazier, F.M.T., Dunineplicz, B., Jennings, N.R. and Treur, J. 1997, DESIRE: modelling multi-agent systems in a compositional formal framework, International Journal of Cooperative Information Systems, M. Huhns, M. Singh, (Eds.), special issue on Formal Methods in Cooperative Information Systems, vol. 1.
  2. Gale, D. and F.M. Stewart,1953 "Infinitite Games with Perfect Information," in Contributions to the Theory of Games, Annals of Mathematical Studies, vol. 28, Princeton. Genesereth,M.R. and N.J. Nilsson 1987, Logical Foundations of Artificial Intelligence, Morgan-Kaufmann.
  3. Hagel, J. V and A.G. Armstrong, 1997"Net Gain-Expanding Market Through Virtual Communities." Harvard Business School Press, Boston, Mass. Hendler, J., A. Tate, and M. Drummond, 1990 "AI Planning: Systems and Techniques," AI Magazine, Summer.
  4. Muller, J.P. and M. Pischel 1994, "Modeling Interactive Agents in Dynamic Environments," Proceedings 11th European Conference on AI, August , Amsterdam, The Netherlands, John Wiley and Sons. ISBN 0471950696. Nilsson, N.J. 1969,"Searching, problem solving, and game-playing trees for minimal cost solutions." In A.J. Morell (Ed.) IFIP 1968 Vol.2, Amsterdam, North-Holland, 1556-1562.
  5. Nilsson, N.J.1971, Problem Solving Methods in Artificial Intelliegence," New York, McGraw-Hill, 1971.
  6. Nourani, C.F. 1998, "Intelligent Languages-A Prelimianry Syntactic Theory," 1993, Proc. 23rd International Mathematical Foundations Computer Science, Grammatics, Brno, Czech Republic, MFCS'98 satellite workshop on Grammar systems. Ed.August 1998. A.Kelemenová, Silesian University, Faculty of Philosophy and Sciences, Institute of Computer Science, Opava,1998 pp. 281-287. MFCS SVLN 1450, Springer-Verlag.
  7. Nourani, C.F. 1995, "Free Proof Trees and Model-theoretic Planning," February 23, Automated Reasoning AISB, England, April.
  8. Nourani, C.F. 1999a, "Agent Computing, KB For Intelligent Forecasting, and Model Discovery for Knowledge Management," in the Proceedings AAAI-Workshop on Agent Based Systems in the Business Context, Orlando, Florida, July 18-July 22,1999, AAAI Press.
  9. Nourani,C.F. 1991, "Planning and Plausible Reasoning in AI," Proceedings Scandinavian Conference in AI, May, Denmark, 150- 157, IOS Press, Amsterdam.
  10. Nourani, C.F. 1997, "Multiagent Chess Games," in the Proceedings AAAI Chess Track, Providence, RI, July 1997, AAAI Press.
  11. Nourani, C.F.,"Equational Intensity, Initial Models, and AI Reasoning," Technical Report, 1983, : A: Conceptual Overview, in Proceedings Sixth European Conference in Artificial Intelligence, Pisa, Italy, September 1984, North-Holland.
  12. Nourani, C.F. 1999, "Infinitary Multiplayer Games," Summer Logic Colloquium, Utrecht, August. Proceedings BSL 2000. Nourani, C.F. 1999c "Nonmonotonic Model Culmination," ASL March 1999, UCSD. Proceedings BSL 1999.
  13. Nourani,C.F. 1994, "A Theory For Programming With Intelligent Syntax Trees And Intelligent Decisive Agents-Preliminary Report" Proceedings 11th European Conference A.I., ECAI Workshop on DAI Applications to Decision Theory, Amsterdam, Augus 1994. Nourani,C.F.1996, "Slalom Tree Computing," 1994, publsihed at AI Communications, The European Journal on Artificial Intelligence, Vol.9, No.4, IOS Press, Amsterdam, December 1996, 207:214.
  14. Nourani, C.F. 2002, " Multiplayer Games, ERP and Competitive EM Models," Keynote Address, International Workshop New Models of Business: Managerial Aspects and Enabling Technology, St.Petersburg, Russia, June 26-28,2002.
  15. Wilkins,D.,"Domain Independent Planning: Representation and Plan Generation," AI, 22(3): 269-301, 1984.
  16. Nourani, C.F. and T. Hoppe, "GF Diagrams, and Free Proof Trees," Technical Report, March 1993, Abstract Presented at the Berlin Logic Colloquium, May 1994. Universitat Potsdam, Mathematics Department.
  17. Hoppe, T.," On The Relationship Between Partial Deduction and Predictive Reasoning," Proc. 10th ECAI Conference, 154-158, August 1992, Vienna, Austria,John Wiley and Sons.
  18. Patel-Schneider, P.F., A Decidable First-Order Logic for Knowledge Representation. Journal of Automated Reasoning 6, 1990, pages 361-388. A preliminary version published as AI Technical Report Number 45, Schlumberger Palo Alto Research, September, 1985. The Description Logic Handbook 2003, Theory, Implementation and Applications. Edited by: Franz Baader, et.al. Aachen University of Technology, ISBN:9780521781763 Badder et.al. 96. Mosetic,I and C. Holsbaur, 1991"Extending Explanation Based Generalization by Abstraction Operators," Machine Learning EWSL-91, Springer- Verlag, LNAI, vol.482.
  19. Nourani, C.F. and O. Schulte, 2014, "Multiplayer Games, Competitive Models, Descriptive Computing," the EUROPMENT conferences, Prague. April 2014.