Professor John McCarthy - Articles
A position paper about the relations among artificial intelligence (AI), mathematical logic and the formalization of common-sense knowledge and reasoning. 'Artificial Intelligence and Philosophy' was given at Aaron Sloman's Symposium on philosophy and AI at IJCAI-95. The present version is somewhat improved. Artificial intelligence (AI) has closer scientific connections with philosophy than do other sciences, because AI shares many concepts with philosophy, e.g. action, consciousness, epistemology (what it is sensible to say about the world), and even free will. This article treats the philosophy of AI but also analyzes some concepts common to philosophy and AI from the standpoint of AI. This article describes how to express programs with assignment statements and conditional GOTOs in mathematical logic without any programming constructs used in Fortran and Algol. Concepts that are ill-defined in general can be precise in limited contexts. We propose applications for this idea in AI an
--> Professor John McCarthy - Articles Professor John McCarthy Father of AI Articles This is the repository of articles written by John. category / alphabet , --> Hide Show descriptions, filter: , show all articles Artificial Intelligence, Logic and Formalizing Common Sense A position paper about the relations among artificial intelligence (AI), mathematical logic and the formalization of common-sense knowledge and reasoning. What has AI in Common with Philosophy? 'Artificial Intelligence and Philosophy' was given at Aaron Sloman's Symposium on philosophy and AI at IJCAI-95. The present versio
Explore this link on the map →saved by
related reading
- Artificial Intelligence (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- 2023 letter | Zhengdongzhengdongwang.com
- Toward a Critical Technical Practicepages.gseis.ucla.edu
- [2603.26524] Mathematical methods and human thought in the age of AIarxiv.org
- How To Think Real Good | Meta-rationalitymetarationality.com
- Artificial Intelligence and the Structure of Mathematicsarxiv.org
- How to Think Computationally about AI, the Universe and Everything-Stephen Wolfram Writingswritings.stephenwolfram.com
- Automating philosophy if Timothy Williamson is correct — LessWronglesswrong.com
- Mathematicians in the Age of AI1footnote 11footnote 1I am grateful to Johan Commelin, Sidharth Hariharan, Bryna Kra, Emily Riehl, and Akshay Venkatesh for comments, corrections, and suggestions.arxiv.org
- A Paradigm for AI Consciousness – Opentheory.netopentheory.net
- Mathematics for humanshome.sandiego.edu
- 9 Open Problems and Directions about Intelligencema-lab-berkeley.github.io