\documentclass[12pt, a4paper]{article}
 
\newcounter{conta}
\newcounter{conta2}

\hyphenation{geo-gra-fia es-pe-cia-li-za-das e-xem-plo pro-je-to
com-ple-xi-da-de de-sa-pa-re-ce a-bor-da-gem}

\begin{document}


\begin{center} \Huge\bf
INTELIG\^ENCIA ARTIFICIAL\footnote{Baseado no livro: Russell, S. Norvig, P.
{\em Artificial Intelligence: A Modern Approach\/}, Prentice Hall, 1995.}
\end{center}

\vspace*{7cm}
\begin{center} \LARGE\bf
Cap\'{\i}tulo 1: Introdu\c c\~ao
\end{center}

\vfill
\ 

\pagebreak
\noindent{\Huge\bf O que \'e Intelig\^encia Artificial?}

\vspace*{1cm}
\begin{itemize} \LARGE
 \item Psicologia, Filosofia:
       \begin{itemize}
        \item tentam \underline{entender} a intelig\^encia (desde 2000 anos
              atr\'as)
       \end{itemize}
 \item Intelig\^encia Artificial:
       \begin{itemize}
        \item tenta \underline{construir} entidades ``inteligentes'' (desde 1950)
       \end{itemize}
\end{itemize}

\vspace*{1cm}
\begin{itemize}\LARGE
\item Defini\c c\~oes de IA em 4 categorias:

\vspace*{2cm}
\begin{picture}(360,140) \large
\put(180,130){\makebox(0,0){\LARGE Constru\c c\~ao de sistemas que:}}
\put(0,50){\framebox(180,50){pensam como seres humanos}}
\put(0,0){\framebox(180,50){agem como seres humanos}}
\put(180,50){\framebox(180,50){pensam racionalmente}}
\put(180,0){\framebox(180,50){agem racionalmente}}
\end{picture}
\end{itemize}

\vfill
\hfill Cap\'{\i}tulo 1: Introdu\c c\~ao

\pagebreak
\begin{itemize}\LARGE
\item Exemplos de defini\c c\~oes de IA:

      \vspace*{5mm}
      \begin{itemize} \normalsize
       \item {\large Pensam como seres humanos:}

             \vspace*{3mm}
             ``The exciting new effort to make computers think...
             {\em machines with minds\/}, in the full and literal sense''
             (Haugeland, 1985)

             ``[The automation of] activities that we associate with human
             thinking, activities such as decision-making, problem solving,
             learning \ldots'' (Bellman, 1978)

      \vspace*{3mm}
       \item {\large Agem como seres humanos:}

             \vspace*{3mm}
             ``The art of creating machines that perform functions that require
             intelligence when performed by people'' (Kurzweil, 1990)

             ``The study of how to make computers do things at which, at the
             moment, people are better'' (Rich and Knight, 1991)

      \vspace*{3mm}
       \item {\large Pensam racionalmente:}

             \vspace*{3mm}
             ``The study of mental faculties through the use of computational
             models'' (Charniak and McDermott, 1985)

             ``The study of the computations that make it possible to perceive,
             reason, and act'' (Winston, 1992)

      \vspace*{3mm}
       \item {\large Agem racionalmente:}

             \vspace*{3mm}
             ``A field of study that seeks that seeks to explain and emulate
             intelligent behavior in terms of computational processes
             (Schalkoff, 1990)

             ``The branch of computer science that is concerned with the
             automation of intelligent behavior'' (Luger and Stubblefield,
             1993)
      \end{itemize}
\end{itemize}

\vfill
\hfill Cap\'{\i}tulo 1: Introdu\c c\~ao

\pagebreak
\noindent {\LARGE\bf Agindo como o ser humano: abordagem do teste de Turing}

\vspace*{1cm}
\begin{itemize} \LARGE
 \item O teste de Turing (1950)

       Atributos necess\'arios a um sistema para passar no teste:
       \begin{itemize}
        \item processamento de linguagem natural
        \item representa\c c\~ao de conhecimento
        \item racioc\'{\i}nio automatizado
        \item aprendizagem de m\'aquina
       \end{itemize}

 \item Na pr\'atica \'e importante na intera\c c\~ao do sistema de IA com
       pessoas.
\end{itemize}

\vspace*{2cm}
\noindent {\LARGE\bf Raciocinando como o ser humano: abordagem da Ci\^encia
Cognitiva}

\vspace*{1cm}
\begin{itemize} \LARGE
 \item O c\'erebro visto como {\em processando in\-for\-ma\-\c c\~oes}.
\end{itemize}

\vfill
\hfill Cap\'{\i}tulo 1: Introdu\c c\~ao

\pagebreak
\noindent {\LARGE\bf Pensando racionalmente: abordagem das leis do pensamento}

\vspace*{1cm}
\begin{itemize} \LARGE
 \item Prescri\c c\~ao do que \'e \underline{argumenta\c c\~ao correta}:
       L\'ogica.

 \item Muitas l\'ogicas motivadas por inadequa\c c\~oes da l\'ogica cl\'assica.
\end{itemize}

\vspace*{2cm}
\noindent {\LARGE\bf Agindo racionalmente: abordagem dos agentes racionais}

\vspace*{1cm}
\begin{itemize} \LARGE
 \item Comportamento racional: cumprir os objetivos a partir das informa\c c\~oes dispon\'{\i}veis.

 \item Pensar racionalmente: {\em parte\/} da atividade de um agente racional.

 \item Per\'{\i}cia cognitiva: parte da per\'{\i}cia de um agente racional.

\end{itemize}

\vfill
\hfill Cap\'{\i}tulo 1: Introdu\c c\~ao

\pagebreak
\noindent {\LARGE\bf A nossa abordagem:}

\vspace*{1cm}
\begin{itemize} \LARGE
 \item Estudo da IA como o projeto de agentes racionais.

 \item Um agente \'e uma entidade que tem percep\c c\~oes e que age.

 \item Vantagens:
       \begin{itemize}
        \item Mais geral que a abordagem ``leis do pensamento''.
        \item Mais acess\'{\i}vel a tratamento cient\'{\i}fico que abordagens
              baseadas no pensamento ou comportamento humanos.
       \end{itemize}

 \item Limita\c c\~oes de recursos $\longrightarrow$ racionalidade perfeita
       imposs\'{\i}vel $\longrightarrow$ obter o ``melhor''.
\end{itemize}

\vfill
\hfill Cap\'{\i}tulo 1: Introdu\c c\~ao

\pagebreak
\noindent{\Huge\bf Os fundamentos da IA}

\vspace*{1cm}
\begin{itemize}\LARGE
\item Filosofia (428 AC -): silogismos, l\'ogica, a mente como um
      sistema f\'{\i}sico,
      fundamentos da aprendizagem, linguagem, racionalidade.

 \item Matem\'atica (800 -): algoritmo, l\'ogica formal, teorema
       da incompleteza de G\"odel, (in)\-decidibilidade, (in)tratabilidade,
       teoria das probabilidades.

 \item Psicologia (1879 -): behaviorismo, psicologia cognitiva.

 \item Lingu\'{\i}stica (1957 -): representa\c c\~ao de co\-nhe\-cimento,
       gram\'atica.

\end{itemize}

\vfill
\hfill Cap\'{\i}tulo 1: Introdu\c c\~ao

\pagebreak
\noindent{\Huge\bf A hist\'oria da IA}

\vspace*{1cm}
\begin{itemize}\LARGE
 \item 1943: Modelo do c\'erebro baseado em circuitos booleanos.
 \item 1950: Turing: ``Computing Machinery and Intelligence''.
 \item 1950: Primeiros programas de IA: jogo de damas (Samuel), Logic
       Theorist (Newell e Simon), Geometry Engine (Gelernter).
 \item 1956: Encontro de Dartmouth: o termo ``IA''.
 \item 1958: McCarthy cria LISP, {\em time sharing\/} e Advice Taker.
 \item 1965: Robinson: m\'etodo completo de infer\^encia l\'ogica.
 \item 1966-74: Tradu\c c\~ao de linguagens falha. A
       complexidade computacional \'e reconhecida.
       Pes\-qui\-sa em redes neuronais quase desaparece. {\em Toy problems}.
\end{itemize}

\vfill
\hfill Cap\'{\i}tulo 1: Introdu\c c\~ao

\pagebreak
\noindent{\Huge\bf A hist\'oria da IA} (continua\c c\~ao)

\vspace*{1cm}
\begin{itemize}\LARGE
 \item 1969-79: Primeiros sistemas baseados em conhecimento.
       Linguagens para representa\-\c c\~ao de conhecimento. Prolog.
 \item 1980-93: Sistemas especialistas em voga. O projeto japon\^es de 5a
       gera\c c\~ao.
 \item 1988-93: Descren\c ca nos sistemas especialistas.
 \item 1985-95: Retorno das redes neuronais.
 \item 1987-hoje: Forte fundamenta\c c\~ao te\'orica, re\-le\-v\^an\-cia pr\'atica.
       M\'etodos probabil\'{\i}sticos com novo \'{\i}mpeto. Novas t\'ecnicas:
       agentes inteligentes, vida artificial, algoritmos ge\-n\'e\-ti\-cos, \ldots
\end{itemize}

\vfill
\hfill Cap\'{\i}tulo 1: Introdu\c c\~ao


\pagebreak
\noindent{\Huge\bf Estado da arte}

\vspace*{2cm}
{\LARGE\bf Alguns resultados:}

\vspace*{1cm}
\begin{itemize}\LARGE
 \item Vencer um grande mestre de Xadrez.
 \item Dirigir um carro em estrada movimentada por 100km.
 \item Conversar, em lingua natural, sobre a geografia da Am\'erica do Sul.
 \item Dar aux\'{\i}lio competente em \'areas especializadas: medicina, direito,
       engenharia, etc.
 \item Viajar por uma rede de computadores para encontrar informa\c c\~oes, produtos
       ou servi\c cos, ou localizar pessoas.
 \item Controlar rob\^os em ambientes perigosos; por exemplo: explora\c c\~ao de Marte.
\end{itemize}

\end{document}
