Abstract
Because intelligent agents employ physically embodied cognitive systems to reason about the world, their cognitive abilities are constrained by the laws of physics. Scientists have used digital computers to develop and validate theories of physically embodied cognition. Computational theories of intelligence have advanced our understanding of the nature of intelligence and have yielded practically useful systems exhibiting some degree of intelligence. However, the view of cognition as algorithms running on digital computers rests on implicit assumptions about the physical world that are incorrect. Recently, the view is emerging of computing systems as goal-directed agents, evolving during problem solving toward improved world models and better task performance. A full realization of this vision requires a new logic for computing that incorporates learning from experience as an intrinsic part of the logic, and that permits full exploitation of the quantum nature of the physical world. This paper proposes a theory of physically embodied cognitive agents founded upon first-order logic, Bayesian decision theory, and quantum physics. An abstract architecture for a physically embodied cognitive agent is presented. The cognitive aspect is represented as a Bayesian decision theoretic agent; the physical aspect is represented as a quantum process; and these aspects are related through von Neumann’s principle of psycho-physical parallelism. Alternative metaphysical positions regarding the meaning of quantum probabilities and the role of efficacious choices by agents are discussed in relation to the abstract agent architecture. The concepts are illustrated with an extended example from the domain of science fiction.
Article PDF
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
References
Aharanov, D., 1999, “Quantum computation,” in Annual Reviews of Computational Physics VI. D. Stauffer (ed.), Singapore: World Scientific.
Albert, D., 1992, Quantum Mechanics and Experience. Cambridge, MA: Harvard University Press.
Anderson, J.R., 1999, Cognitive Psychology and Its Implications. New York: Worth Publishing.
Bangsø, O. and Wuillemin, P.H., 2000, Object Oriented Bayesian Networks: A Framework for Topdown Specification of Large Bayesian Networks and Repetitive Structures. Technical Report CIT-87.2-00-obphw1. Aalborg: Department of Computer Science, Aalborg University.
Berg, J., Nelson, F., and Rietz, T., 2001, Accuracy and Forecast Standard Error of Prediction Markets. University of Iowa, College of Business Administration.
Binford, T. and Levitt, T.S., 2003, “Evidential reasoning for object recognition,” IEEE Transactions on Pattern Analysis and Machine Intelligence 25(7), 837–851.
Blume, L., Easley, D., and Halpern, J.Y., 2005, Decision Theory Without ‘Acts’. Invited Presentation. Edinburgh, UK: Twenty-First Conference on Uncertainty in Artificial Intelligence. http://www.santafe.edu/~leb/EdinburghSlides.pdf.
Bohm, D., 1951, Quantum Theory. New York: Prentice-Hall.
Bohm, D. and Hiley, B., 1993, The Undivided Universe. London, UK: Rutledge.
Bohr, N., 1934, Atomic Theory and the Description of Nature. Cambridge, UK: Cambridge University Press.
Boutilier, C., Dean, T., and Hanks, S., 1999, “Decision-theoretic planning: Structural assumptions and computational leverage,” Journal of Artificial Intelligence Research, 11, 1–94.
Buntine, W.L., 1994, “Operations for learning with graphical models,” Journal of Artificial Intelligence Research 2, 159–225.
Cheng, J. and Druzdzel, M., 2000, “AIS: An adaptive importance sampling algorithm for evidential reasoning in belief networks,” Journal of Artificial Intelligence Research, 13.
Costa, P., 2005, Bayesian Semantics for the Semantic Web. Doctoral Dissertation, Fairfax, VA: School of Information Technology and Engineering. George Mason University. http://www.pr-owl.org/bayesianweb.
Dawid, A.P. and Vovk, V.G., 1999, “Prequential probability: Principles and properties,” Bernoulli, 5, 125–162.
de Finetti, B., 1974–75, Theory of Probability: A Critical Introductory Treatment. New York: Wiley.
DeGroot, M.H., 1970, Optimal Statistical Decisions. New York: McGraw Hill.
Deutsch, D., 1985, “Quantum theory, the Church-Turing principle and the universal quantum computer,” Proceedings of the The Royal Society of London A, 400(1818), 97–117.
Doucet, A., de Frietas, N., Gordon, N., and Smith, A. (eds). 2001, Sequential Monte Carlo Methods in Practice. Berlin: Springer-Verlag.
Druzdzel, M.J. and Simon, H.A., 1993, “Causality in Bayesian belief networks,” Uncertainty in Artificial Intelligence: Proceedings of the Ninth Conference, San Francisco, CA, Morgan Kaufmann.
Elliott, R.J., Aggoun, L., and Moore, J.B., 1995, Hidden Markov Models: Estimation and Control. Berlin: Springer-Verlag.
Fienberg, S.E. and DeGroot, M.H., 1982, “Assessing probability assessors: Calibration and refinement,” pp. 291–314 in Statistical Decision Theory and Related Topics III. S.S. Gupta and J.O. Berger (eds.), Academic Press.
Fine, T.L., 1973, Theories of Probability. New York, NY: Academic Press.
Getoor, L., Friedman, N., Koller, D., and Pfeffer, A., 2001, “Learning probabilistic relational models,” in Relational Data Mining. Saso Dzeroski and Nada Lavrac (eds.), Berlin: Springer-Verlag.
Gigerenzer, G., Todd, P., and Group, T.A. (eds). 1999, Simple Heuristics that Make us Smart. Oxford, England: Oxford University Press.
Gilks, W., Thomas, A., and Spiegelhalter, D.J., 1994, “A language and program for complex Bayesian modeling,” The Statistician 43, 169–178.
Grenander, U., 1996, Elements of Pattern Theory. Baltimore, MD: Johns Hopkins University Press.
Gribbin, J., 1996, Schrödinger's Kittens and the Search for Reality. London: Phoenix.
Grover, L., 1996, “A fast quantum mechanical algorithm for database search,” 28th Annual ACM Symposium on the Theory of Computation, New York, ACM Press.
Hardy, L., 2001, Quantum Theory from Five Reasonable Axioms. quant-ph/0101012.
Heckerman, D., Geiger, D., and Chickering, D.M., 1995, “Learning bayesian networks: The combination of knowledge and statistical data,” Machine Learning (20), 197–243.
Heisenberg, W., 1958, “The representation of nature in contemporary physics,” Daedalus 87, 95–108.
Howson, C. and Urbach, P., 1993, Scientific Reasoning: The Bayesian Approach. Chicago, IL: Open Court.
Itano, W., Heinzen, D., Bollinger, J., and Wineland, D., 1990, “Quantum zeno effect,” Physical Review A 41(5), 2295–2300.
Jensen, F.V., 2001, Bayesian Networks and Decision Graphs. Berlin: Springer-Verlag.
Kearns, M. and Mansour, Y., 2002, “Efficient nash computation in large population games with bounded influence,” Uncertainty in Artificial Intelligence Conference: Proceedings of the Eighteenth Conference, San Mateo, CA, Morgan Kaufmann Publishers.
Koller, D. and Pfeffer, A., 1997, “Object-oriented bayesian networks,” Uncertainty in Artificial Intelligence: Proceedings of the Thirteenth Conference, San Francisco, CA, Morgan Kaufmann.
Korb, K.B. and Nicholson, A.E., 2003, Bayesian Artificial Intelligence: Chapman and Hall.
Langseth, H. and Nielsen, T., 2003, “Fusion of domain knowledge with data for structured learning in object-oriented domains,” Journal of Machine Learning Research 4, 339–68.
Laskey, K.B., 2005, “First-order bayesian logic,” Fairfax, VA: Department of Systems Engineering and Operations Research, George Mason University.
Laskey, K.B. and Costa, P., 2005, “Of klingons and starships: Bayesian logic for the 23rd century,” Uncertainty in Artificial Intelligence: Proceedings of the Twenty-first Conference, Arlington, VA, AUAI Press.
Lee, T.S. and Mumford, D., 2003, “Hierarchical Bayesian inference in the visual cortex,” Journal of the Optical Society of America A, 20(7), 1434–48.
Levitt, T.S., Winter, C.L., Turner, C.J., Chestek, R.A., Ettinger, G.J., and Sayre, S.M., 1995, “Bayesian inference-based fusion of radar imagery, military forces and tactical terrain models in the image exploitation system/balanced technology initiative,” International Journal of Human-Computer Studies 42.
Lewis, D., 1980, “A subjectivist's guide to objective chance,” pp. 263–293 in Studies in Inductive Logic and Probability. R.C. Jeffrey (ed.), Berkeley, CA: University of California Press.
Mahoney, S.M. and Laskey, K.B., 1998, “Constructing situation specific networks,” Uncertainty in Artificial Intelligence: Proceedings of the Fourteenth Conference, San Mateo, CA, Morgan Kaufmann.
Marsaglia, G., 1968, “Random numbers fall mainly in the planes,” Proceedings of the National Academy of Science, 61, 25–28.
Martignon, L. and Laskey, K.B., 1999, “Taming wilder demons: Bayesian benchmarks for fast and frugal heuristics,” in Simple Heuristics that Make us Smart. Gerd Gigerenzer, Peter Todd and The ABC Group (eds.), Oxford University Press.
McFadden, J.J., 2000, Quantum Evolution. New York, NY: Norton.
Murphy, K. and Russell, S., 2000, “Rao-blackwellised particle filtering for dynamic bayesian networks,” Uncertainty in Artificial Intelligence: Proceedings of the Sixteenth Conference, San Mateo, CA, Morgan Kaufmann.
Nau, R.F. and McCardle, K.F., 1991, “Arbitrage, rationality, and equilibrium,” Theory and Decision, 31, 199–240.
Neapolitan, R.E., 2003, Learning Bayesian Networks. New York: Prentice Hall.
Newell, A. and Simon, H., 1976, “Computer science as empirical inquiry: Symbols and search,” Communications of the ACM 19(3).
Nielsen, M.A. and Chuang, I.L., 2000, Quantum Computation and Quantum Information. Cambridge, UK: Cambridge University Press.
Omnès, R., 1999, Understanding Quantum Mechanics. Princeton, NJ: Princeton University Press.
Parker, R.C. and Miller, R.A., 1987, “Using causal knowledge to create simulated patient cases: The CPCS project as an extension of Internist-1,” Computer Applications in Medical Care: Proceedings of the Eleventh Annual Symposium, IEEE Comp Soc Press.
Pearl, J., 1988, Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. San Mateo, CA: Morgan Kaufmann.
Pearl, J., 2000, Causality: Models, Inference and Reasoning. Cambridge: Cambridge University Press.
Pfeffer, A., 2000, Probabilistic Reasoning for Complex Systems. Stanford, CA. Stanford University
Poole, D., 2003, “First-order probabilistic inference,” Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence.
Pratt, J.W., Raiffa, H., and Schlaifer, R., 1965, The Foundations of Decision Under Uncertainty: An Elementary Exposition. New York: McGraw Hill.
Russell, S. and Norvig, P., 2002, Artificial Intelligence: A Modern Approach. Upper Saddle River, NJ: Prentice-Hall.
Savage, L.J., 1954, The Foundations of Statistics. New York: Wiley.
Schwartz, J.M., Stapp, H.P., and Beauregard, M., 2005, “Quantum physics in neuroscience and psychology: A new model with respect to mind/brain interaction,” Philosophical Transactions of the Royal Society B, 360(1458), 1309–27.
Shafer, G., 1981, “Constructive probability,” Synthese 48, 1–60.
Shafer, G. and Vovk, V., 2001, Probability and Finance: It's Only a Game. New York: Wiley.
Shor, P.W., 1994, “Algorithms for quantum computation: Discrete logarithms and factoring,” 35th Annual Symposium on the Foundations of Computer Science, Los Alamitos, CA, IEEE Press.
Spector, L., Barnum, H., Bernstein, H.J., and Swamy, N., 1999, “Quantum computing and artificial intelligence: Abstract for invited presentation,” Proceedings of the Sixteenth National Conference on Artificial Intelligence, AAAI-99, AAAI Press.
Spiegelhalter, D.J., Thomas, A., and Best, N., 1996, “Computation on graphical models,” Bayesian Statistics, 5, 407–25.
Stapp, H., 1999, “Science of consciousness and the hard problem,” The Journal of Mind and Behavior 18, 171–93.
Takikawa, M., d'Ambrosio, B., and Wright, E., 2001, “Real-time inference with large-scale temporal Bayes nets,” Uncertainty in Artificial Intelligence: Proceedings of the Seventeenth Conference, San Mateo, CA, Morgan Kaufmann.
Tarski, A., 1944, “The semantical concept of truth and the foundations of semantics,” Philosophy and Phenomenological Research, 4.
Thagard, P., 1988, Computational Philosophy of Science. Cambridge, MA: MIT Press.
von Neumann, J., 1932, Mathematical Foundations of Quantum Mechanics (Chapter VI), Princeton, NJ: Princeton University Press.
von Winterfeldt, D. and Edwards, W., 1986, “Decision Analysis and Behavioral Research.”
Wigner, E., 1967, “Remarks on the mind-body problem,” Symmetries and Reflections 171–184.
Williamson, J., 2004, “Philosophies of probability: Objective Bayesianism and its challenges,” in Handbook of the Philosophy of Mathematics, Dordrecht, Netherlands: Elsevier.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Laskey, K.B. Quantum Physical Symbol Systems. JoLLI 15, 109–154 (2006). https://doi.org/10.1007/s10849-005-9009-3
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10849-005-9009-3