NDLI: Quantum Physical Symbol Systems

Content Provider	Springer Nature Link
Author	Laskey, Kathryn Blackmond
Copyright Year	2006
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.
Starting Page	109
Ending Page	154
Page Count	46
File Format	PDF
ISSN	09258531
Journal	Journal of Logic, Language and Information
Volume Number	15
Issue Number	1-2
e-ISSN	15729583
Language	English
Publisher	Kluwer Academic Publishers
Publisher Date	2006-02-09
Publisher Place	Dordrecht
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Bayesian networks decision theory graphical models interpretations of probability quantum computing quantum measurement Artificial Intelligence (incl. Robotics) Semantics Logic
Content Type	Text
Resource Type	Article
Subject	Philosophy Computer Science Linguistics and Language

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Conditional Probability Meets Update Logic

Combining Argumentation and Bayesian Nets for Breast Cancer Prognosis

Group Theory and Computational Linguistics

ML Systems: A Proof Theory for Contexts

Tolerance Logic

Modal Pure Type Systems

Formal Models for Real People

Unary Quantifiers on Finite Models

Extensive Games as Process Models

Quantum Physical Symbol Systems

Similar Documents

Conditional Probability Meets Update Logic

Combining Argumentation and Bayesian Nets for Breast Cancer Prognosis

Group Theory and Computational Linguistics

ML Systems: A Proof Theory for Contexts

Tolerance Logic

Modal Pure Type Systems

Formal Models for Real People

Unary Quantifiers on Finite Models

Extensive Games as Process Models

Quantum Physical Symbol Systems