\documentclass[12pt]{slides}\usepackage{color}%\usepackage{graphics}% usage:  \textcolor{cyan}{ Reasoning about action}% {\textwidth}{8in}\setlength{\textheight}{6in}\setlength{\topmargin}{0in}% colors include cyan, red, green, yellow (pale) magenta% for 3400 display, compile on Powerbook 3400% configs on Oztex, select A4 landscape\begin{document}%\figure{}\begin{slide}\begin{center}	    \textcolor{red}{THE ADVICE TAKER REVISITED} \\        John McCarthy\\	%Computer Science Department\\ 	Stanford University\\ 	%jmc@cs.stanford.edu        \textcolor{red}{http://www-formal.stanford.edu/jmc/} \\ \today\\        \vspace{0.3in}\end{center}$\bullet$ The long term goal of AI is human level AI.$\bullet$ ``Programs with Common Sense''---1959 Advice Taker (AT).\\ www-formal.stanford.edu/jmc/mcc59.html.$\bullet$ First proposal to use logical languages to represent what an AI system believes and to infer what it should do.$\bullet$ Representation of facts independent of purpose.  \textcolor{blue}{When objects collide there's a noise.} \textcolor{magenta}{make noise, avoid noise, explain no noise, design quiet car}.\vfill\end{slide}%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\begin{slide}  \begin{center}    \textcolor{red}{PROPOSALS FROM \textcolor{blue}{AT} THAT ARE USED}  \end{center}  $\bullet$  Use logic to represent information declaratively.$\bullet$  [Common Sense Informatic Situation] In general a thinking human  is in what we call the \emph{common sense informatic situation}, as  distinct from the \emph{bounded informatic situation}.  The known  facts are necessarily incomplete.  We live in a world of  middle-sized object which can only be partly observed and in which   the consequences of our actions can only partly be determined. $\bullet$  Represent effects of actions.  $\bullet$  Prove logically that a sequence  $a$ of actions achieves goal $g$.$\bullet$  System does action $a$ when $should(a)$ is inferred.\vfill\end{slide}%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\begin{slide}  \begin{center}    \textcolor{red}{IDEAS FROM \textcolor{blue}{AT} THAT ARE NOT MUCH USED}  \end{center}  $\bullet$  Complex expresssions as objects---$Want(At(I,Airport))$, $Want(At(I,x))$.  $\bullet$  Formal generalization  $\bullet$  Domain dependent logical inference heuristics.$\bullet$  Declarative expression of domain dependent inference heuristics.  J. Sierra does it.  S. Makarios is doing it.% nexample needed \vfill  \end{slide}  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\begin{slide}  \begin{center}    \textcolor{red}{DEVELOPMENTS IN LOGICAL AI}  \end{center}  $\bullet$ Frame, qualification and ramification problems.  $\bullet$ Elaboration tolerance  $\bullet$ Non-monotonic reasoning, default reasoning  $\bullet$  Fast propositional satisfiabilty solvers  $\bullet$  Probability based problem formulations and solvers.$\bullet$ I think the problems encountered and partly solved in logical AI will appear in any approach aiming at human level. \vfill  \end{slide}%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\begin{slide}  \begin{center}    \textcolor{red}{ADVICE ON ADVISABLE SYSTEMS}  \end{center}  $\bullet$  Use at least full first order logic.  $\bullet$  Do not only use unary predicates.  \textcolor{blue}{What'sa convertible?}  $\bullet$  Advisable behavior requires nonmonotonic reasoning.  $\bullet$  Include heuristic advice.  $\bullet$  Don't make an English interface a major part of the project.  \textcolor{blue}{For every boy there's a girl who loves only him.}  $\bullet$  Do not emphasize beginners. \vfill  \end{slide}   %%%%%%%%%%%%%%%%%%%%%%%\begin{slide}  \begin{center}    \textcolor{red}{MORE ADVICE ON ADVISABILITY}  \end{center}   $\bullet$  \emph{elaboration tolerance}---www-formal.stanford.edu/jmc/elaboration.html.\textcolor{blue}{There's an oar on each bank, but the boat needs twooars to carry two people.}$\bullet$  Use \emph{Drosophilas} for research and select them carefully, so that the experiments will be maximally informative.  $\bullet$ Remark: The geneticists have used \emph{Drosophilas} since1910, but the \emph{Drosophilas} of today are no better than those of 1910.  %$\bullet$   %$\bullet$    %$\bullet$ %$\bullet$  \vfill  \end{slide}%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\begin{slide}  \begin{center}    \textcolor{red}{A POSSIBLE DROSOPHILA}  \end{center}  $\bullet$  Building and moving towers of different kinds of blocks.    %$\bullet$   %$\bullet$    $\bullet$ Advice: green blocks don't fit on red blocks, towers 5 high fall down, decide what blocks are to be in a tower before considering moving any blocks.  As long as there are moves to final position, keepdoing them.  Do not put a block on another unless it is a move to final position.  A block is in final position if it is on the block it is supposed to be in the goal (or on the table if that is its position in the goal), and the block it is on top of is in final position.  Postpone postponable goals.  STRIPS as advice in situation calculus.  Never play cards with a man named Doc; never eat at a place called Mom's; never marry a woman with more troubles than you.$\bullet$ From George Polya's \emph{How to solve it}--- $\bullet$ If you suddenly find yourself in danger, think what you just did and take it back.$\bullet$  Some kinds of advisability depend on self-awareness.  \textcolor{blue}{Avoid wishful thinking.  }  \vfill  \end{slide}%WHAT ARE THE DIFFICULTIES?   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\begin{slide}  \begin{center}    \textcolor{red}{NOW'S THE TIME, BUT IT WON'T BE EASY.}  \end{center}  $\bullet$  Start with an easy problem.  $\bullet$    $\bullet$   $\bullet$    $\bullet$ $\bullet$  \vfill  \end{slide}    \end{document}%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\begin{slide}  \begin{center}    \textcolor{red}{}  \end{center}   $\bullet$    $\bullet$    $\bullet$   $\bullet$    $\bullet$ $\bullet$  \vfill  \end{slide}  