[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ Skip to main content
Springer Nature Link
Log in

Concurrent Metareasoning

  • Published:
The Journal of Supercomputing Aims and scope Submit manuscript

Abstract

Metaresoning is again under focus in the AI community. Here in this paper, a new classification for types of metareasoning has been proposed. In recent years, only the ones that are here named as pre-metareasoning and para-metareasoning have been studied. The first one is for predicting the best computation path for having better performance programs. The second, mostly known as interruptible anytime algorithm, is to limit the computation time externally when the approximate answer is better than nothing. One other type of metareasoning (called here as post-metareasoning) is discussed in a case study. It has been shown as an effective method for reducing error in self-localization. Based on the measurements in the case study, the post-metareasoning argued as useful when the effectiveness of reasoning methods are not known by the designer or when the system learns the reasoning methods and should evaluate and use the best one automatically. As the post-metareasoning is based on the results of different isolated reasoning methods, it is possible to be handled in parallel. The speed of post-metareasoning in such a case is determined by the time required by the slowest reasoning method and the post-metaresoning itself.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price includes VAT (United Kingdom)

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. G. Attardi and M. Simi. Meta-level reasoning across viewpoints. In T. O'Shea ed., European Conference on Artificial Intelligence, Amsterdam, North-Holland, pp. 315–325, 1984.

  2. K. A. Bowen and R. A. Kowalski. Amalgamating language and metalanguage in logic programming. In K. L. Clark and S. A. Tarnlund, eds., Logic Programming, Academic Press, London, pp. 153–172, 1982.

    Google Scholar 

  3. Ronald J. Brachman. The future of knowledge representation. In AAAI-90, 1990.

  4. Bruce Buchanan. Creativity at the metalevel. AI Magazine, 22(3):13–28, 2001.

    MathSciNet  Google Scholar 

  5. W. Burgard, D. Fox, D. Hennig, and T. Schmidt. Estimating the absolute position of a mobile robot using position probability grids. In 14th National Conference on Artificial Intelligence (AAAI'96), pp. 896–901, August 1996.

  6. V. Conitzer and T. Sandholm. Definition and complexity of some basic metareasoning problems. In International Joint Conference on Artificial Intelligence (IJCAI), 2003.

  7. Karen Scheers Cook and Margaret Levi. The Limits of Rationality.University of Chigago Press, 1990.

  8. S. Costantini. Semantics of a metalogic programming language. Intl. Journal of Foundation of Computer Science, 1, 1990.

  9. Stefania Costantini. Meta-reasoning: A survey. In A. C. Kakas and F. Sadri, eds., Lecture Notes in Computer Science, Computational Logic: Logic Programming and Beyond, Springer-Verlag Heidelberg, Dipartimento di Informatica Universitra degli Studi di L'Aquila, via Vetoio Loc. Coppito, I-67100 L'Aquila, Italy stefcost@univaq.it, p. 253, 2002.

  10. T. Dean and M. Boddy. An analysis of time-dependent planning. In Proceedings of Seventh National Conference on Artificial Intelligence, Minneapolis, Minnesota, pp. 49–54, 1988.

  11. F. Dellaert, D. Fox, W. Burgard, and S. Thrun. Monte Carlo localization for mobile robots. In IEEE International Conference on Robotics and Automation (ICRA99), May 1999.

  12. D. Fox, W. Burgard, F. Dellaert, and S. Thrun. Monte Carlo localization: Efficient position estimation for mobile robots. In Proc. National Conference on Artificial Intelligence (AAAI'99), 1999.

  13. D. Fox, W. Burgard, and S. Thrun. Markov localization for mobile robots in dynamic environments. Journal of Artificial Intelligence Research, 11, 1999.

  14. F. Giunchiglia and A. Cimatti. Introspective metatheoretic reasoning. In L. Fribourg and F. Turini, eds., Logic Program Synthesis and Transformation—Meta-Programming in Logic. LNCS 883, Springer-Verlag, pp. 425–439, 1994.

  15. Irving Good. Twenty-seven principles of rationality. In V. Godamble and D. Sprott, eds., Foundations of Statistical Inference, Holt, Rinehart, Wilson, Toronto, pp. 108–141, 1971.

    Google Scholar 

  16. J.-S. Gutmann and D. Fox. An experimental comparison of localization methods continued. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'02), Lausanne, Switzerland, October 2002.

  17. J.-S. Gutmann, T. Weigel, and B. Nebel. A fast, accurate, and robust method for selflocalization in polygonal environments using laser range finders. Advanced Robotics Journal, 14(8):651–668, 2001.

    Google Scholar 

  18. B. Hayes-Roth. An architecture for adaptive intelligent, systems. Intelligence Articial 72:329–365, 1995.

    Google Scholar 

  19. Marti Hearst and Haym Hirsh. AI's greatest trends and controversies. IEEE Intelligent Systems, January/February, January 2000.

  20. L. Iocchi, D. Mastrantuono, and D. Nardi. A probabilistic approach to hough localization. In Int. Conf. on Robotics and Automation (ICRA), Seoul, Korea, 2001.

  21. D. Lenat, R. V. Guha, K. Pittman, D. Pratt, and M. Shepherd. Cyc: Toward programs with common sense. Communications of the ACM, 33(8):30–49, 1990.

    Article  Google Scholar 

  22. S. Lenser and M. Veloso. Sensor resetting localization for poorly modeled mobile robots. In Int. Conf. on Robotics and Automation (ICRA), 2000.

  23. J. Leonard and H. Durrant-Whyte. Mobile robot localization by tracking geometric beacons. IEEE Transaction on Robotics and Automation, 7(3):376–382, 1991.

    Google Scholar 

  24. J. Malenfant, G. Lapalme, and G. Vaucher. Objvprolog: Metaclasses in logic. In ECOOP'89, Cambridge Univ. Press, pp. 257–269, 1990.

  25. P. S. Maybeck. The kalman filter: An introduction to concepts. In Cox and G. Wilfong, eds., Autonomous Robot Vehicles, Springer-Verlag, pp. 194–204, 1990.

  26. Donald Michie. The very early days, October 2002.

  27. T. M. Mitchell et al. Theo: A framework for self-improving systems. In K. VanLehn, ed., Architectures for Intelligence. Erlbaum, 1989.

  28. Frank Pfenning. Elf: A language for logic definition and verified meta-programming. In Fourth Annual Symposium on Logic in Computer Science, IEEE Computer Society Press, Pacific Grove, California, pp. 313–322, June 1989.

  29. S. Pourazin. A portable architecture for robocup agents. In Proceedings of Agents 2000 Conference, Barcelona, Catalonia, Spain, June 2000.

  30. S. Pourazin. Simulated soccer robot architecture: Toward being on time. In 18th I AS TED International Conference on Applied Informatics (AI'2000), Innsbruck, Austria, Feb. 2000.

  31. S. Pourazin and A. A. Barforoush. Fleng: The flexible inference engine. In Proceedings of 18th IASTED Int'l Conference on Applied Informatics (AI'2000), Innsbruck, Austria, Feb. 2000.

  32. Stuart Russel and Eric Wefald. Principles of metareasoning. Artificial Intelligence, 49, 1991.

  33. S. J. Russell. Metareasoning. In Robert A. Wilson and Frank Keil, eds., MIT Encyclopedia of the Cognitive Sciences. MIT Press, 1998. Parts available from: http://cognet.mit.edu/MITECS/Entry/russell.html.

  34. S. J. Russell and E. H. Wefald. Principles of metareasoning. In R. J. Brachman, ed., Proceedings of first International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, San Mateo, California, 1989.

  35. S. J. Russell and S. Zilberstein. Composing real-time systems. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, Sydney, Australia, pp. 212–217, 1991.

  36. S. C. Shapiro. Encyclopedia of Artificial Intelligence. John Wiley and Sons, Inc., 1990.

  37. M. R. Shinwell, A. M. Pitts, and M. J. Gabbay. FreshML: Programming with binders made simple. In Eighth ACM SIGPLAN International Conference on Functional Programming (ICFP 2003), Uppsala, Sweden, ACM Press, pp. 263–274, Aug. 2003.

  38. Herbert A Simon. Models of Bounded Rationality. MIT Press, Vol. 2, 1982.

  39. B. C. Smith. Reflection and semantics in Lisp. Technical report, Xerox Parc ISL-5, Palo Alto, CA, 1984.

  40. E. Stroulia and A. K. Goel. Functional representation and reasoning in reflective systems. Journal of Applied Intelligence, 9:101–124, 1995.

    Google Scholar 

  41. N. Venkatasubramanian and C. L. Talcott. Reasoning about meta level activities in open distributed systems. In Principles of Distributed Computation (PODC '95), ACM, pp. 144–153, 1995.

  42. N. Venkatasubramanian and C. L. Talcott. A semantic framework for modeling and reasoning about reflective middleware. IEEE Distributed Systems Online, 2(6), 2001.

  43. R.W. Weyhrauch. Prolegomena to a theory of mechanized formal reasoning. Artificial Intelligence, 133–170, 1980.

  44. Akinori Yonezawa. ABCL: An Object-Oriented Concurrent System. MIT Press, 1990.

Download references

Author information

Authors and Affiliations

  1. Computer Engineering Department, Amir-Kabir University of Technology, Tehran, Iran

    Shahriar Pourazin & Ahmad AbdollahZadeh Barforoush

Authors
  1. Shahriar Pourazin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ahmad AbdollahZadeh Barforoush
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Shahriar Pourazin.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Pourazin, S., Barforoush, A.A. Concurrent Metareasoning. J Supercomput 35, 51–64 (2006). https://doi.org/10.1007/s11227-006-0927-x

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11227-006-0927-x

Keywords

Search

Navigation