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. [pdf]

AI and Philosophy talk at Association for Symbolic Logic meeting. [pdf]

Appearance and Reality - Challenges for machine learning. [pdf]

Approximate concepts in common sense reasoning. [pdf]

Logic and Human Level AI [pdf]

Formalizing situation calculus with result and occurrence axioms. [pdf]

The mutilated checkerboard formalized in set theory. [pdf]

Extensions to logic for common sense. [pdf]

Ideas for electronic commerce - 1975. [pdf]

Roads to Human Level AI [pdf]

Concepts as Objects. [pdf]

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 is a [pdf]

Making Robots Conscious of their Mental States, available as Making Robots Conscious of their Mental States. [pdf]

Counterfactuals [pdf]

A Logical Road to Human Level AI [pdf]

Elaboration Tolerance [pdf]

Emotion and Robots [pdf]

Some Fundamentals and Computer Science [pdf]

From Here to Human Level AI [pdf]

Common Sense Knowledge in Logical Languages [pdf]

LISP History and Programming Language Ideas [pdf]

Beyond LISP [pdf]

Mathematical Logic in AI [pdf]

Non-Monotonic Logic - History and Remarks [pdf]

Phenomenal Data Mining - From Observations to Phenomena [pdf]

Self Awareness in Humans and Machines [pdf]

Robot Servants [pdf]

Situation Calculus With Actions and Other Events [pdf]

Evidence for Sustainability of Material Progress [pdf]

The Web - Early Visions, Present Reality, Grander Future [pdf]

Human Level AI is Harder than It Seemed in 1955 [pdf]