\begin{htmlonly}

\end{htmlonly}
\documentclass[landscape]{slides}
\usepackage{color}

\begin{document}


\begin{slide}
  \begin{center}
    \textcolor{red}{HUMAN-LEVEL AI IS HARDER THAN IT SEEMED IN 1955} \\
    John McCarthy, Stanford University
  \end{center}
  
  $\bullet$ I hoped the 1956 Dartmouth summer workshop would make
  major progress.

  $\bullet$ John von Neumann was busy dying.  Anyway he disapproved of the
  Newell-Simon work on chess, probably of AI in general.
  
  $\bullet$ If my 1955 hopes had been realized, human-level AI would
  have been achieved before many (most?) of you were born.
  
  $\bullet$ Marvin Minsky, Ray Solomonoff, and I made progress that
  summer.  Newell and Simon showed their previous work on IPL and the
  logic theorist. Lisp was based on IPL+Fortran+abstraction.

\vfill\end{slide}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{slide}
  \begin{center}
    \textcolor{red}{AI is OK---mostly} \\
  \end{center}

  $\bullet$ Chess programs catch some of the human chess playing
  abilities but rely on the limited effective branching of the chess move
  tree.  The ideas that work for chess are inadequate for go.
  
  $\bullet$ alpha-beta pruning characterizes human play, but it wasn't
  noticed by early chess programmers---Turing, Shannon, Pasta and
  Ulam, and Bernstein.  \textcolor{blue}{We humans are not very good
    at identifying the heuristics we ourselves use.}  Approximations
  to alpha-beta used by Samuel, Newell and Simon, McCarthy.  Proved
  equivalent to minimax by Hart and Levine, independently by Brudno.
  Knuth gives details.

  $\bullet$ Theorem proving---Newell-Simon, Boyer-Moore, resolution,
  SAT solvers for propositional calculus.

  $\bullet$ Logical AI, reduced logical AI in various forms.

  $\bullet$ CYC

  $\bullet$ RKB?, Semantic web?

  $\bullet$ DARPA car race



\textcolor{red}{but it could be better.}
\vfill\end{slide}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{slide}
  \begin{center}
    \textcolor{red}{OBSTACLES} \\
  \end{center}

  $\bullet$ One's time estimates are based on the obstacles one can
  see.

  $\bullet$ My 1958 ``Programs with common sense'' made projections
  (promises?) that no-one has yet fulfilled.

  $\bullet$ That paper proposed that theorem proving and problem
\begin{htmlonly}

\end{htmlonly}
  solving programs should reason about their own methods.  I've tried
  unsuccessfully.  Unification goes in the wrong direction.

  $\bullet$ There has been considerable progress in logical AI, but
  not enough.

\vfill\end{slide}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{slide}
  \begin{center}
    \textcolor{red}{BAD IDEAS---alias my prejudices} \\
  \end{center}
  
  
  $\bullet$ Basing machine learning on linear discriminations.

  $\bullet$ Basing ontology on hierarchies of unary predicates,
  e.g. semantic networks.

  $\bullet$ Basing theorem proving on resolution.  Getting statements
  into clausal form throws away information.

  $\bullet$  Entering knowledge without logic (RKF).
  
  $\bullet$ Also: XML (They should have used Lisp lists), TeX macros,
  committee science

\vfill\end{slide}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{slide}
  \begin{center}
    \textcolor{red}{EXCUSES} \\
  \end{center}

  $\bullet$ We aren't smart enough.  An Einstein might have done better.

  $\bullet$ They didn't give us enough money.  Not the main problem.

  $\bullet$ It was 100 years from Mendel to the genetic code.

  $\bullet$ Inadequate idea, e.g. GPS (general problem solver).

  $\bullet$ The neural net people aren't there either.
  
  $\bullet$ Too much grabbing for what could be applied in the short
  term.  The call for this symposium exhibits that fault.
 
\vfill\end{slide}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{slide}
  \begin{center}
    \textcolor{red}{COMMITTEE SCIENCE} \\
  \end{center}

  $\bullet$  \textcolor{blue}{``This formula $E = mc^2$ is all very well, Herr
    Einstein, but we don't see it increasing the German GDP in the
    next 10 or even 20 years.  Develop some applications and then
    submit another proposal.''}
  
  $\bullet$ \textcolor{blue}{``We are forming a committee on theory
    and applications of co-ordinate transformations.  We suggest, Herr
    Einstein, that you contact the chairman of the committee.''}
  
  $\bullet$ I was treated to a talk this morning that emphasized what
  the funders want.  That's not the path to scientific progress.  Also
  it wasn't even clear that the funders know what they want.  I hope
  NSF stays out of these committee science consortia and concentrates
  on proposals from individuals.  Computer science, and especially AI,
  seems particularly afflicted with committee science.
\vfill\end{slide}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{slide}
  \begin{center}
    \textcolor{red}{WHITHER?} \\
  \end{center}

  $\bullet$ Provers that reason about their methods.

  $\bullet$ Adapt mathematical logic to express common sense.  A
  continuing problem.



%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{slide}
  \begin{center}
    \textcolor{red}{COMMON SENSE IN MATHEMATICAL LOGIC---my panacea} \\
  \end{center}

  $\bullet$ Example formula (not a whole theory): 
  \begin{displaymath}
Cblocks:    (\forall x\ l\ s)(Clear(x,s) \land Clear(l,s) \rightarrow
Location(x,Move(x,l,s)) = l)
  \end{displaymath}

  $\bullet$ Problems:

Non-monotonic reasoning

Contexts

Approximate objects and theories

\textcolor{blue}{If the above explanation is perfectly clear, you
  don't need to take a course in logical AI.}

$\bullet$ People who put knowledge into computers need mathematical
logic, including quantifiers, as much as engineers need calculus.
Alas, logic for freshman isn't developed beyond propositional
calculus.
  
\vfill\end{slide}
  
\vfill\end{slide}

\end{document}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{slide}
  \begin{center}
    \textcolor{red}{} \\
  \end{center}
  
\vfill\end{slide}

lifting formula
% ~/slides/context/contapp-sli.tex
Formalizing and compiling background knowledge and its application to
knowledge representation and question answering
