SLIDES OF LECTURES

This file contains links to the slides for many of my lectures as transferred from my laptop. Unfortunately, the pdf versions truncate on the right, and I don't yet know how to make them display properly in landscape mode. I'd be grateful for advice on that. The files also have .tex versions in the same directory. These are readable, though awkward. A few of the sets of slides were not completed. The Advice Taker - 2003 discussion of ideas in my 1959 paper.

There are html, dvi, postscript, and pdf versions.

AI and Philosophy talk at Association for Symbolic Logic meeting.

There are html, dvi, postscript, and pdf versions of these slides.

Appearance and Reality - Challenges for machine learning

There are html, dvi, postscript, and pdf versions of these slides.

Approximate concepts in common sense reasoning

There are html, dvi, postscript, and pdf versions of these slides.

Logic and Human Level AI

There are html, dvi, postscript, and pdf versions of these slides.

Formalizing situation calculus with result and occurrence axioms.

There are html, dvi, postscript, and pdf versions of these slides.

The mutilated checkerboard formalized in set theory.

There are html, dvi, postscript, and pdf versions of these slides.

Extensions to logic for common sense.

There are html, dvi, postscript, and pdf versions of these slides.

Ideas for electronic commerce - 1975.

There are html, dvi, postscript, and pdf versions of these slides.

Roads to Human Level AI

There are html, dvi, postscript, and pdf versions of these slides.

Concepts as Objects.

There are html, dvi, postscript, and pdf versions of these slides.

Concepts of Logical AI. These slides are based on the article "A first order theory of individual concepts and propositions", available as A first order theory of individual concepts and propositions

There are html, dvi, postscript, and pdf versions of these slides.

Making Robots Conscious of their Mental States, available as Making Robots Conscious of their Mental States

There are html, dvi, postscript, and pdf versions of these slides.

Counterfactuals.

There are html, dvi, postscript, and pdf versions of these slides.

A Logical Road to Human Level AI .

There are html, dvi, postscript, and pdf versions of these slides.

Elaboration Tolerance

There are html, dvi, postscript, and pdf versions of these slides.

Emotion and Robots

There are html, dvi, postscript, and pdf versions of these slides.

Some Fundamentals and Computer Science

There are html, dvi, postscript, and pdf versions of these slides.

From Here to Human Level AI

There are html, dvi, postscript, and pdf versions of these slides.

Common Sense Knowledge in Logical Languages

There are html, dvi, postscript, and pdf versions of these slides.

LISP History and Programming Language Ideas

There are html, dvi, postscript, and pdf versions of these slides.

Beyond LISP

There are html, dvi, postscript, and pdf versions of these slides.

Mathematical Logic in AI

There are html, dvi, postscript, and pdf versions of these slides.

Non-Monotonic Logic - History and Remarks

There are html, dvi, postscript, and pdf versions of these slides.

Phenomenal Data Mining - From Observations to Phenomena

There are html, dvi, postscript, and pdf versions of these slides.

Self Awareness in Humans and Machines

There are html, dvi, postscript, and pdf versions of these slides.

Robot Servants

There are html, dvi, postscript, and pdf versions of these slides.

Situation Calculus With Actions and Other Events

There are html, dvi, postscript, and pdf versions of these slides.

Evidence for Sustainability of Material Progress

There are html, dvi, postscript, and pdf versions of these slides.

The Web - Early Visions, Present Reality, Grander Future

There are html, dvi, postscript, and pdf versions of these slides.

Human Level AI is Harder than It Seemed in 1955

There are html, dvi, postscript, and pdf versions of these slides.

Up to: My (John McCarthy's) main page Send comments to . I sometimes make changes suggested in them. - John McCarthy