Abstract
When Alice in Wonderland fell down the rabbit hole, she entered a world that was completely new to her. She gradually explored that world by observing, learning, and reasoning. This paper presents a simple system Alice in Wonderland that operates analogously. We model Alice’s Wonderland via a general notion of domain and Alice herself with a computational model including an evolving belief set along with mechanisms for observing, learning, and reasoning. The system operates autonomously, learning from arbitrary streams of facts from symbolic domains such as English grammar, propositional logic, and simple arithmetic. The main conclusion of the paper is that bounded cognitive resources can be exploited systematically in artificial general intelligence for constructing general systems that tackle the combinatorial explosion problem and operate in arbitrary symbolic domains.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Anderson, J.R., Lebiere, C.: The atomic components of thought. Lawrence Erlbaum, Mahwah, N.J. (1998)
Bach, J.: MicroPsi 2: the next generation of the MicroPsi framework. In: Bach, J., Goertzel, B., Iklé, M. (eds.) AGI 2012. LNCS, vol. 7716, pp. 11–20. Springer, Heidelberg (2012)
Clarke, D., Whitney, H., Sutton, G., Robert, D.: Detection and learning of floral electric fields by bumblebees. Science 340(6128), 66–69 (2013)
Goertzel, B., Pennachin, C., Geisweiller, N.: The OpenCog framework. In: Engineering General Intelligence, Part 2, pp. 3–29. Springer (2014)
Gould, J.L., Gould, C.G., et al.: The honey bee. Scientific American Library (1988)
Hansson, S.O., Fermé, E.L., Cantwell, J., Falappa, M.A.: Credibility Limited Revision. The Journal of Symbolic Logic 66(04), 1581–1596 (2001)
Kitzelmann, E.: Inductive Programming: A Survey of Program Synthesis Techniques. In: Schmid, U., Kitzelmann, E., Plasmeijer, R. (eds.) AAIP 2009. LNCS, vol. 5812, pp. 50–73. Springer, Heidelberg (2010)
Laird, J.E., Newell, A., Rosenbloom, P.S.: Soar: An Architecture for General Intelligence. Artificial Intelligence 33(3), 1–64 (1987)
Piaget, J.: La construction du réel chez l’enfant. Delachaux & Niestlé (1937)
Popper, K.R.: Objective knowledge: An evolutionary approach. Clarendon Press, Oxford (1972)
Rosenbloom, P.S.: The Sigma Cognitive Architecture and System. AISB Quarterly 136, 4–13 (2013)
Schmid, U., Kitzelmann, E.: Inductive rule learning on the knowledge level. Cognitive Systems Research 12(3), 237–248 (2011)
Simon, H.A.: Models of Bounded Rationality: Empirically Grounded Economic Reason, vol. 3. MIT press (1982)
Strannegård, C., Nizamani, A.R., Persson, U.: A General system for learning and reasoning in symbolic domains. In: Goertzel, B., Orseau, L., Snaider, J. (eds.) AGI 2014. LNCS, vol. 8598, pp. 174–185. Springer, Heidelberg (2014)
Turing, A.: Computing machinery and intelligence. Mind 59(236), 433–460 (1950)
Von Glasersfeld, E.: Radical Constructivism: A Way of Knowing and Learning. Studies in Mathematics Education Series: 6. ERIC (1995)
Wang, P.: From NARS to a thinking machine. In: Proceedings of the 2007 Conference on Artificial General Intelligence. pp. 75–93. IOS Press, Amsterdam (2007)
Wiese, K.: The Crustacean Nervous System. Springer (2002)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Nizamani, A.R., Juel, J., Persson, U., Strannegård, C. (2015). Bounded Cognitive Resources and Arbitrary Domains. In: Bieger, J., Goertzel, B., Potapov, A. (eds) Artificial General Intelligence. AGI 2015. Lecture Notes in Computer Science(), vol 9205. Springer, Cham. https://doi.org/10.1007/978-3-319-21365-1_18
Download citation
DOI: https://doi.org/10.1007/978-3-319-21365-1_18
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-21364-4
Online ISBN: 978-3-319-21365-1
eBook Packages: Computer ScienceComputer Science (R0)