Solving a Problem With or Without a Program

Wang, Pei

doi:10.2478/v10229-011-0021-5

Abstract

To solve a problem, an ordinary computer system executes an existing program. When no such program is available, an AGI system may still be able to solve a concrete problem instance. This paper introduces a new approach to do so in a reasoning system that adapts to its environment and works with insuffcient knowledge and resources. The related approaches are compared, and several conceptual issues are analyzed. It is concluded that an AGI system can solve a problem with or without a problem-specific program, and therefore can have human-like creativity and exibility.

References

Albus, J. S. 1991. Outline for a Theory of Intelligence. IEEE Transactions on Systems, Man, and Cybernetics 21(3):473–509.10.1109/21.97471
Search in Google Scholar
Anderson, J. R. 1983. The Architecture of Cognition. Cambridge, Massachusetts: Harvard University Press.
Search in Google Scholar
Aristotle. 1882. The Organon, or, Logical treatises of Aristotle. London: George Bell. Translated by O. F. Owen.
Search in Google Scholar
Arkin, R. C. 1998. Behavior-Based Robotics. Cambridge, Massachusetts: MIT Press.
Search in Google Scholar
Baum, E. B. 2004. What is Thought? Cambridge, Massachusetts: MIT Press.10.7551/mitpress/7210.001.0001
Search in Google Scholar
Boden, M. A. 1991. The Creative Mind. New York: BasicBooks.
Search in Google Scholar
Bratman, M. E.; Israel, D. J.; and Pollack, M. E. 1988. Plans and resource-bounded practical reasoning. Computational Intelligence 4(4):349–355.10.1111/j.1467-8640.1988.tb00284.x
Search in Google Scholar
Bringsjord, S., and Arkoudas, K. 2004. The modal argument for hypercomputing minds. Theoretical Computer Science 317:167–190.10.1016/j.tcs.2003.12.010
Search in Google Scholar
Brooks, R. A. 1991. Intelligence without representation. Artiﬁcial Intelligence 47:139–159.10.1016/0004-3702(91)90053-M
Search in Google Scholar
Cormen, T. H.; Leiserson, C. E.; Rivest, R. L.; and Stein, C. 2001. Introduction to Algorithms. MIT Press, McGraw-Hill Book Company, 2nd edition.
Search in Google Scholar
Davis, M. 1958. Computability and Unsolvability. New York: Mcgraw-Hill.
Search in Google Scholar
Dean, T., and Boddy, M. 1988. An analysis of time-dependent planning. In Proceedings of AAAI-88, 49–54.
Search in Google Scholar
Dreyfus, H. L. 1979. What Computers Can’t Do: Revised Edition. New York: Harper and Row.
Search in Google Scholar
Fikes, R. E., and Nilsson, N. J. 1971. STRIPS: A new approach to the application of theorem proving to problem solving. Artiﬁcial Intelligence 2(3-4):189–208.10.1016/0004-3702(71)90010-5
Search in Google Scholar
Flach, P. A., and Kakas, A. C. 2000. Abductive and inductive reasoning: background and issues. In Flach, P. A., and Kakas, A. C., eds., Abduction and Induction: Essays on their Relation and Integration. Dordrecht: Kluwer Academic Publishers. 1–27.
Search in Google Scholar
Franklin, S. 2007. A foundational architecture for artiﬁcial general intelligence. In Goertzel, B., and Wang, P., eds., Advance of Artiﬁcial General Intelligence. Amsterdam: IOS Press. 36–54.
Search in Google Scholar
Frege, G. 1999. Begriﬀsschrift, a formula language, modeled upon that of arithmetic, for pure thought. In van Heijenoort, J., ed., Frege and G¨odel: Two Fundamental Texts in Mathematical Logic. Lincoln, Nebraska: iUniverse. 1–82. Originally published in 1879.
Search in Google Scholar
Hayes, P. J. 1977. In defense of logic. In Proceedings of the Fifth International Joint Conference on Artiﬁcial Intelligence, 559–565.
Search in Google Scholar
Hofstadter, D. R. 1979. G¨odel, Escher, Bach: an Eternal Golden Braid. New York: Basic Books.
Search in Google Scholar
Hopcroft, J. E., and Ullman, J. D. 1979. Introduction to Automata Theory, Language, and Computation. Reading, Massachusetts: Addison-Wesley.
Search in Google Scholar
Hutter, M. 2005. Universal Artiﬁcial Intelligence: Sequential Decisions based on Algorithmic Probability. Berlin: Springer.
Search in Google Scholar
Jeffrey, R. C. 1965. The Logic of Decision. New York: McGraw-Hill.
Search in Google Scholar
Kaelbling, L. P.; Littman, M. L.; and Moore, A. W. 1996. Reinforcement learning: a survey. Journal of Artiﬁcial Intelligence Research 4:237–285.10.1613/jair.301
Search in Google Scholar
Kowalski, R. 1979. Logic for Problem Solving. New York: North Holland.
Search in Google Scholar
Koza, J. R. 1992. Genetic Programming: On the Programming of Computers by Means of Natural Selection. Cambridge, Massachusetts: MIT Press.
Search in Google Scholar
Kugel, P. 1986. Thinking may be more than computing. Cognition 22:137–198.10.1016/0010-0277(86)90057-0
Search in Google Scholar
Kurzweil, R. 2006. The Singularity Is Near: When Humans Transcend Biology. New York: Penguin Books.
Search in Google Scholar
Laird, J. E.; Newell, A.; and Rosenbloom, P. S. 1987. Soar: an architecture for general intelligence. Artiﬁcial Intelligence 33:1–64.10.1016/0004-3702(87)90050-6
Search in Google Scholar
Littman, M. L.; Goldsmith, J.; and Mundhenk, M. 1998. The computational complexity of probabilistic planning. Journal of Artiﬁcial Intelligence Research 9:1–36.10.1613/jair.505
Search in Google Scholar
Lloyd, J. W. 1987. Foundations of Logic Programming. New York: Springer-Verlag. 10.1007/978-3-642-83189-8
Search in Google Scholar
Lucas, J. R. 1961. Minds, machines and G¨odel. Philosophy XXXVI:112–127.
Search in Google Scholar
Marr, D. 1982. Vision: A Computational Investigation into the Human Representation and Processing of Visual Information. San Francisco: W. H. Freeman & Co.
Search in Google Scholar
McCarthy, J., and Hayes, P. J. 1969. Some philosophical problems from the standpoint of artiﬁcial intelligence. In Meltzer, B., and Michie, D., eds., Machine Intelligence 4. Edinburgh: Edinburgh University Press. 463–502.
Search in Google Scholar
McCarthy, J. 1988. Mathematical logic in artiﬁcial intelligence. Dædalus 117(1):297–311.
Search in Google Scholar
Michalski, R. S. 1993. Inference theory of learning as a conceptual basis for multistrategy learning. Machine Learning 11:111–151.10.1007/BF00993074
Search in Google Scholar
Minsky, M. 1985. The Society of Mind. New York: Simon and Schuster.
Search in Google Scholar
Mitchell, T. M. 1997. Machine Learning. New York: McGraw-Hill.
Search in Google Scholar
Muggleton, S. 1991. Inductive logic programming. New Generation Computing 8(4):295–318. 10.1007/BF03037089
Murphy, R. R. 2000. An Introduction to AI Robotics. Cambridge, Massachusetts: MIT Press.
Search in Google Scholar
Newell, A., and Simon, H. A. 1963. GPS, a program that simulates human thought. In Feigenbaum, E. A., and Feldman, J., eds., Computers and Thought. McGraw-Hill, New York. 279–293.
Search in Google Scholar
Newell, A. 1990. Uniﬁed Theories of Cognition. Cambridge, Massachusetts: Harvard University Press.
Search in Google Scholar
Nilsson, N. J. 1991. Logic and artiﬁcial intelligence. Artiﬁcial Intelligence 47:31–56. 10.1016/0004-3702(91)90049-P
Search in Google Scholar
Nivel, E., and Th´orisson, K. 2009. Self-Programming: Operationalizing Autonomy. In Proceedings of the Second Conference on Artiﬁcial General Intelligence, 150–155.
Search in Google Scholar
Pearl, J. 1988. Probabilistic Reasoning in Intelligent Systems. San Mateo, California: Morgan Kaufmann Publishers.
Search in Google Scholar
Peirce, C. S. 1931. Collected Papers of Charles Sanders Peirce, volume 2. Cambridge, Massachusetts: Harvard University Press.
Search in Google Scholar
Penrose, R. 1989. The Emperor’s New Mind: Concerning Computers, Minds, and the Laws of Physics. Oxford University Press. 10.1093/oso/9780198519737.001.0001
Search in Google Scholar
Piaget, J. 1960. The Psychology of Intelligence. Paterson, New Jersey: Littleﬁeld, Adams & Co.
Search in Google Scholar
Pollock, J. L. 2006. Against Optimality: The Logical Foundations of Decision-Theoretic Planning. Computational Intelligence 22(1):1–25.10.1111/j.1467-8640.2006.00271.x
Search in Google Scholar
Russell, S., and Norvig, P. 2010. Artiﬁcial Intelligence: A Modern Approach. Upper Saddle River, New Jersey: Prentice Hall, 3rd edition.
Search in Google Scholar
Simon, H. A. 1957. Models of Man: Social and Rational. New York: John Wiley.10.2307/2550441
Search in Google Scholar
Solomonoff, R. J. 1964. A formal theory of inductive inference. Part I and II. Information and Control 7(1-2):1–22,224–254.
Search in Google Scholar
Sutton, R. S., and Barto, A. G. 1998. Reinforcement Learning: An Introduction. Cambridge, Massachusetts: MIT Press.10.1109/TNN.1998.712192
Search in Google Scholar
Thórisson, K. R., and Helgasson, H. P. 2012. Cognitive Architectures and Autonomy: A Comparative Review. Journal of Artiﬁcial General Intelligence 3(2):1–30.10.2478/v10229-011-0015-3
Search in Google Scholar
Wang, P. 1995. Non-Axiomatic Reasoning System: Exploring the Essence of Intelligence. Ph.D. Dissertation, Indiana University.
Search in Google Scholar
Wang, P. 2000. The logic of learning. In Working Notes of the AAAI workshop on New Research Problems for Machine Learning, 37–40.
Search in Google Scholar
Wang, P. 2004a. The limitation of Bayesianism. Artiﬁcial Intelligence 158(1):97–106.10.1016/j.artint.2003.09.003
Search in Google Scholar
Wang, P. 2004b. Problem solving with insuﬃcient resources. International Journal of Uncertainty, Fuzziness and Knowledge-based Systems 12(5):673–700.
Search in Google Scholar
Wang, P. 2005. Experience-grounded semantics: a theory for intelligent systems. Cognitive Systems Research 6(4):282–302. 10.1016/j.cogsys.2004.08.003
Search in Google Scholar
Wang, P. 2006. Rigid Flexibility: The Logic of Intelligence. Dordrecht: Springer.
Search in Google Scholar
Wang, P. 2007. Three fundamental misconceptions of artiﬁcial intelligence. Journal of Experimental & Theoretical Artiﬁcial Intelligence 19(3):249–268. 10.1080/09528130601143109
Search in Google Scholar
Wang, P. 2008. What do you mean by ‘AI’. In Proceedings of the First Conference on Artiﬁcial General Intelligence, 362–373.
Search in Google Scholar
Wang, P. 2009a. Case-by-case problem solving. In Proceedings of the Second Conference on Artiﬁcial General Intelligence, 180–185.
Search in Google Scholar
Wang, P. 2009b. Formalization of Evidence: A Comparative Study. Journal of Artiﬁcial General Intelligence 1:25–53. 10.2478/v10229-011-0003-7
Search in Google Scholar
Wang, P. 2011. The Assumptions on Knowledge and Resources in Models of Rationality. International Journal of Machine Consciousness 3(1):193–218.10.1142/S1793843011000686
Search in Google Scholar
Wang, P. 2013. Non-Axiomatic Logic: A Model of Intelligent Reasoning. Singapore: World Scientiﬁc. (in press). 10.1142/8665
Search in Google Scholar
Xu, Y., and Wang, P. 2012. The frame problem, the relevance problem, and a package solution to both. Synthese.10.1007/s11229-012-0117-8
Search in Google Scholar

Solving a Problem With or Without a Program

Abstract

Paradigm

My account