Histórico e Conceitos BásicosHistórico e Conceitos Básicos
HISTÓRIAHISTÓRIA
HISTÓRIA
•
• Acredita-se que a IA nasceu como disciplina em uma Acredita-se que a IA nasceu como disciplina em uma conferência chamada "
conferência chamada "The Dartmouth Summer researchThe Dartmouth Summer research Project on
Project on Artificial Artificial Intelligence Intelligence", organizada entre outros por,", organizada entre outros por, John McCarthy
John McCarthy,, Marvin Minsky Marvin Minsky, Alan, Alan Newell Newell e Herb Simon e Herb Simon.. •
• Nesta conferência, um sistema conhecido como LOGIC Nesta conferência, um sistema conhecido como LOGIC THEORIST foi demonstrado por
THEORIST foi demonstrado por Newell Newell e Simon e Simon. LOGIC. LOGIC THEORIST era um sistema capaz de descobrir provas de THEORIST era um sistema capaz de descobrir provas de
teoremas expressos de maneira simbólica. A importância deste teoremas expressos de maneira simbólica. A importância deste
sistema, nas palavras de
sistema, nas palavras de Feigenbaum e Feigenbaum e Feldman Feldman (1963: p. (1963: p. 108) LOGIC THEORIST era: "…
108) LOGIC THEORIST era: "…the first foray bythe first foray by artificial artificial intelligence into high
intelligence into high-order intellectual-order intellectual processes." processes." •
• Este sucesso inicial foi rapidamente seguido por vários Este sucesso inicial foi rapidamente seguido por vários
outros sistemas que poderiam aparentemente realizar tarefas outros sistemas que poderiam aparentemente realizar tarefas
inteligentes. Por exemplo, o "DENDRAL" era capaz de inteligentes. Por exemplo, o "DENDRAL" era capaz de
automatizar aspectos do raciocínio científico na área da automatizar aspectos do raciocínio científico na área da
química orgânica; o "MYCIN", era capaz de interativamente química orgânica; o "MYCIN", era capaz de interativamente
diagnosticar doenças infecciosas. diagnosticar doenças infecciosas.
Histórico e Conceitos Básicos
Histórico e Conceitos Básicos
HISTÓRIA HISTÓRIA
•
• Os anos que se seguiram ao encontro de Os anos que se seguiram ao encontro de Darthmouth foram Darthmouth foram de grande otimismo. Acreditava-se que em poucos anos:
de grande otimismo. Acreditava-se que em poucos anos: •
• a tradução automática entre duas linguagens diferentes a tradução automática entre duas linguagens diferentes poderia ser obtida pela construção de um programa que poderia ser obtida pela construção de um programa que
usasse duas gramáticas e um dicionário, usasse duas gramáticas e um dicionário,
•
• seria possível construir um programa para resolver um seria possível construir um programa para resolver um problema genérico.
problema genérico. •
• Um programa venceria o campeonato mundial de Um programa venceria o campeonato mundial de xadrez,
xadrez, •
• Problema da dimensão Problema da dimensão •
• Se um problema é resolvido com certa quantidade de Se um problema é resolvido com certa quantidade de recursos se restrito a um mundo pequeno, quando este recursos se restrito a um mundo pequeno, quando este
mundo aumenta, a quantidade de recursos aumenta muito mundo aumenta, a quantidade de recursos aumenta muito
mais rapidamente que o mundo considerado. mais rapidamente que o mundo considerado.
Os problemas de IA são
Os problemas de IA são comumente decomumente de complexidade NP-completos.
Histórico e Conceitos Básicos
Histórico e Conceitos Básicos
A estratégia fundamental que sustentou boa parte do sucesso A estratégia fundamental que sustentou boa parte do sucesso
inicial da IA Simbólica, se deve à proposta conhecida como inicial da IA Simbólica, se deve à proposta conhecida como
“
“Physical Symbol Systems Hypothesis”, dePhysical Symbol Systems Hypothesis”, de Newell e Newell e Simon Simon..
Physical Symbol Systems
Physical Symbol Systems - Newell - Newell & & Simon Simon(1976)(1976)
A
A physical symbol system consists of a physical symbol system consists of a set of entities set of entities,, called symbols
called symbols,, which which are are physical patterns that can occur physical patterns that can occur as as components of another type of entity called an expression components of another type of entity called an expression ( (oror
symbol structure
symbol structure)…the system also includes)…the system also includes a a collection of collection of processes
processes that operate on expressions that operate on expressions to to produce other produce other expressions
expressions: processes of creation: processes of creation, modification, modification,, reproduction reproduction and
and destruction destruction. A . A physical symbol system isphysical symbol system is a a machine thatmachine that produces through
produces through time an evolving collection of symbol time an evolving collection of symbol structures
structures..SuchSuch a a system exists in system exists in a a world of objects wider world of objects wider than just these symbolic expressions themselves
Histórico e Conceitos Básicos
Histórico e Conceitos Básicos
Physical Symbol Systems
Physical Symbol Systems - Newell - Newell & & Simon Simon(1976)(1976) •
• The Physical Symbol System Hypothesis The Physical Symbol System Hypothesis: Um sistema: Um sistema simbólico é capaz de manifestar um comportamento
simbólico é capaz de manifestar um comportamento inteligente.
inteligente. •
• Although there has beenAlthough there has been a great deal of controversy about exactly a great deal of controversy about exactly how this hypothesis should be interpreted
how this hypothesis should be interpreted, there, there are two important are two important conclusions which have been drawn from it
conclusions which have been drawn from it.. •
• The first conclusion is that computers are The first conclusion is that computers are physical symbol physical symbol systems
systems,, in the relevant sense in the relevant sense, and, and thus there thus there are are grounds grounds (
(should the hypothesis be correct) toshould the hypothesis be correct) to believe that they should be believe that they should be able
able to to exhibit intelligence exhibit intelligence.. •
• The second conclusion is that The second conclusion is that, as, as we humans also are we humans also are intelligent
intelligent,, we too must be physical symbol systems and we too must be physical symbol systems and thus thus are are in