Linha do tempo da inteligência artificial - Timeline of artificial intelligence

Veja também: História da inteligência artificial e progresso em inteligência artificial

Parte de uma série sobre
Inteligência artificial
Anatomy-1751201 1280.png
Objetivos principais
Abordagens
Filosofia
História
Tecnologia
Glossário

Esta é uma linha do tempo da inteligência artificial , ou talvez até mesmo da inteligência sintética .

Pré-Século 20

Encontro Desenvolvimento
Antiguidade Os mitos gregos de Hefesto e Pigmalião incorporaram a ideia de robôs inteligentes (como Talos ) e seres artificiais (como Galatea e Pandora ).
As estátuas mecânicas sagradas construídas no Egito e na Grécia eram consideradas capazes de transmitir sabedoria e emoção. Hermes Trismegistus escreveria "eles têm sensus e spiritus ... ao descobrir a verdadeira natureza dos deuses, o homem foi capaz de reproduzi-la." A lei mosaica proíbe o uso de autômatos na religião.
Século 10 aC Yan Shi presenteou o rei Mu de Zhou com homens mecânicos.
384 a.C.-322 a.C. Aristóteles descreveu o silogismo , um método de pensamento mecânico formal e teoria do conhecimento no Organon .
Século 1 Garça de Alexandria criou homens mecânicos e outros autômatos .
260 Porfírio de Tyros escreveu Isagogê que categorizou conhecimento e lógica.
~ 800 Geber desenvolveu a teoria alquímica árabe de Takwin , a criação artificial da vida em laboratório, incluindo a vida humana .
1206 Al-Jazari criou uma orquestra programável de seres humanos mecânicos.
1275 Ramon Llull , teólogo espanhol , inventa o Ars Magna , uma ferramenta para combinar conceitos mecanicamente, a partir de uma ferramenta astrológica árabe , o Zairja . O método seria desenvolvido por Gottfried Leibniz no século XVII.
~ 1500 Paracelso afirmou ter criado um homem artificial a partir do magnetismo, esperma e alquimia.
~ 1580 Diz-se que o rabino Judah Loew ben Bezalel de Praga inventou o Golem , um homem de barro que ganhou vida.
Início do século 17 René Descartes propôs que os corpos dos animais nada mais são do que máquinas complexas (mas que os fenômenos mentais são de uma "substância" diferente).
1620 Sir Francis Bacon desenvolveu a teoria empírica do conhecimento e introduziu a lógica indutiva em sua obra The New Organon , uma brincadeira com o título de Aristóteles , The Organon .
1623 Wilhelm Schickard desenhou um relógio calculador em uma carta para Kepler . Esta será a primeira de cinco tentativas malsucedidas de projetar um relógio de cálculo de entrada direta no século 17 (incluindo os projetos de Tito Burattini , Samuel Morland e René Grillet ).
1641 Thomas Hobbes publicou Leviathan e apresentou uma teoria mecânica combinatória da cognição. Ele escreveu "... porque a razão nada mais é do que cálculo".
1642 Blaise Pascal inventou a calculadora mecânica , a primeira máquina de calcular digital .
1672 Gottfried Leibniz melhorou as máquinas anteriores, fazendo com que o Stepped Reckoner fizesse multiplicação e divisão . Ele também inventou o sistema numérico binário e imaginou um cálculo universal de raciocínio ( alfabeto do pensamento humano ) pelo qual os argumentos poderiam ser decididos mecanicamente. Leibniz trabalhou na atribuição de um número específico para cada objeto no mundo, como um prelúdio para uma solução algébrica para todos os problemas possíveis.
1726 Jonathan Swift publicou Gulliver's Travels , que inclui esta descrição da Engine , uma máquina na ilha de Laputa : "um projeto para melhorar o conhecimento especulativo por operações práticas e mecânicas" usando este "artifício", "a pessoa mais ignorante em um razoável Carga, e com um pouco de trabalho corporal, pode escrever livros de filosofia, poesia, politicks, direito, matemática e teologia, com a mínima ajuda do gênio ou estudo. " A máquina é uma paródia de Ars Magna , uma das inspirações do mecanismo de Gottfried Leibniz .
1750 Julien Offray de La Mettrie publicou L'Homme Machine , que argumentou que o pensamento humano é estritamente mecânico.
1769 Wolfgang von Kempelen construiu e viajou com seu autômato jogador de xadrez , The Turk . Mais tarde, o turco foi mostrado ser uma farsa , envolvendo um jogador de xadrez humano.
1818 Mary Shelley publicou a história de Frankenstein; ou o Modern Prometheus , uma consideração fictícia da ética da criação de seres sencientes .
1822-1859 Charles Babbage e Ada Lovelace trabalharam em máquinas de calcular mecânicas programáveis .
1837 O matemático Bernard Bolzano fez a primeira tentativa moderna de formalizar a semântica .
1854 George Boole se propôs a "investigar as leis fundamentais das operações da mente pelas quais o raciocínio é executado, para dar-lhes expressão na linguagem simbólica de um cálculo", inventando a álgebra booleana .
1863 Samuel Butler sugeriu que a evolução darwiniana também se aplica às máquinas e especula que um dia elas se tornarão conscientes e, eventualmente, suplantarão a humanidade.

século 20

1901-1950

Encontro Desenvolvimento
1913 Bertrand Russell e Alfred North Whitehead publicaram Principia Mathematica , que revolucionou a lógica formal .
1915 Leonardo Torres y Quevedo construiu um autômato de xadrez, El Ajedrecista , e publicou especulações sobre pensamento e autômatos.
1923 A peça RUR (Rossum's Universal Robots) de Karel Čapek estreou em Londres. Este é o primeiro uso da palavra " robô " em inglês.
Décadas de 1920 e 1930 Ludwig Wittgenstein e Rudolf Carnap conduziram a filosofia à análise lógica do conhecimento . Alonzo Church desenvolveu Lambda Calculus para investigar computabilidade usando notação funcional recursiva.
1931 Kurt Gödel mostrou que sistemas formais suficientemente poderosos , se consistentes, permitem a formulação de teoremas verdadeiros que são improváveis ​​por qualquer máquina de provar teoremas derivando todos os teoremas possíveis dos axiomas. Para fazer isso, ele teve que construir uma linguagem de programação universal, baseada em inteiros, razão pela qual ele às vezes é chamado de "pai da ciência da computação teórica ".
1935 O primeiro trabalho substancial no campo da inteligência artificial foi feito em meados do século 20 pelo lógico britânico e pioneiro da computação Alan Mathison Turing.
1940 Edward Condon exibe Nimatron , um computador digital que reproduzia Nim perfeitamente.
1941 Konrad Zuse construiu os primeiros computadores controlados por programa funcionando.
1943 Warren Sturgis McCulloch e Walter Pitts publicam "Um cálculo lógico das idéias imanentes na atividade nervosa" (1943), lançando as bases para redes neurais artificiais .
Arturo Rosenblueth , Norbert Wiener e Julian Bigelow cunharam o termo " cibernética ". Livro popular de Wiener com esse nome publicado em 1948.
1945 A teoria dos jogos, que seria inestimável no progresso da IA, foi apresentada com o artigo de 1944, Teoria dos Jogos e Comportamento Econômico, do matemático John von Neumann e do economista Oskar Morgenstern .
Vannevar Bush publicou As We May Think ( The Atlantic Monthly , julho de 1945) uma visão presciente do futuro na qual os computadores auxiliam os humanos em muitas atividades.
1948 John von Neumann (citado por ET Jaynes ) em resposta a um comentário em uma palestra de que era impossível para uma máquina (pelo menos aquelas criadas por humanos) pensar: "Você insiste que há algo que uma máquina não pode fazer. Se você vai me dizer exatamente o que uma máquina não pode fazer, então eu sempre poderei fazer uma máquina que fará exatamente isso! ". Von Neumann estava presumivelmente aludindo à tese de Church-Turing que afirma que qualquer procedimento eficaz pode ser simulado por um computador (generalizado).

Década de 1950

Encontro Desenvolvimento
1950 Alan Turing propõe o Teste de Turing como uma medida da inteligência da máquina.
Claude Shannon publicou uma análise detalhada do jogo de xadrez como pesquisa .
Isaac Asimov publicou suas Três Leis da Robótica .
1951 Os primeiros programas de IA de trabalho foram escritos em 1951 para rodar na máquina Ferranti Mark 1 da Universidade de Manchester : um programa de jogo de damas escrito por Christopher Strachey e um programa de jogo de xadrez escrito por Dietrich Prinz .
1952–1962 Arthur Samuel ( IBM ) escreveu o primeiro programa de jogo, para damas ( rascunhos ), para adquirir habilidade suficiente para desafiar um amador respeitável. Seu primeiro programa de jogo de damas foi escrito em 1952, e em 1955 ele criou uma versão que aprendeu a jogar.
1956 A conferência de verão AI do Dartmouth College é organizada por John McCarthy , Marvin Minsky , Nathan Rochester da IBM e Claude Shannon . McCarthy cunhou o termo inteligência artificial para a conferência.
A primeira demonstração do Logic Theorist (LT) escrita por Allen Newell , JC Shaw e Herbert A. Simon ( Carnegie Institute of Technology , agora Carnegie Mellon University ou CMU). Geralmente é chamado de primeiro programa de IA, embora o programa de damas de Samuel também tenha uma forte reivindicação.
1958 John McCarthy ( Massachusetts Institute of Technology ou MIT) inventou a linguagem de programação Lisp .
Herbert Gelernter e Nathan Rochester (IBM) descreveram um provador de teoremas em geometria que explora um modelo semântico do domínio na forma de diagramas de casos "típicos".
Conferência Teddington sobre os processos de mecanização do pensamento foi realizada no Reino Unido e entre os trabalhos apresentados foram de John McCarthy Programas com bom senso, Oliver Selfridge 's Pandemonium, e Marvin Minsky é alguns métodos de heurística Programação e Inteligência Artificial.
1959 O General Problem Solver (GPS) foi criado por Newell, Shaw e Simon enquanto estava na CMU.
John McCarthy e Marvin Minsky fundaram o Laboratório de IA do MIT .
Final da década de 1950, início da década de 1960 Margaret Masterman e colegas da Universidade de Cambridge projetam redes semânticas para tradução automática .

Década de 1960

Encontro Desenvolvimento
Década de 1960 Ray Solomonoff lança as bases de uma teoria matemática de IA, introduzindo métodos bayesianos universais para inferência e predição indutiva.
1960 Simbiose Homem-Computador por JCR Licklider.
1961 James Slagle (dissertação de doutorado, MIT) escreveu (em Lisp) o primeiro programa de integração simbólica , SAINT, que resolveu problemas de cálculo no nível de calouro da faculdade.
Em Minds, Machines and Gödel , John Lucas negou a possibilidade da inteligência da máquina por motivos lógicos ou filosóficos . Ele se referiu ao resultado de Kurt Gödel de 1931: sistemas formais suficientemente poderosos são inconsistentes ou permitem a formulação de teoremas verdadeiros não prováveis ​​por qualquer IA de prova de teorema, derivando todos os teoremas prováveis ​​dos axiomas. Uma vez que os humanos são capazes de "ver" a verdade de tais teoremas, as máquinas foram consideradas inferiores.
O robô industrial da Unimation , Unimate, trabalhou em uma linha de montagem de automóveis da General Motors .
1963 O programa de Thomas Evans, ANALOGY, escrito como parte de seu trabalho de doutorado no MIT, demonstrou que os computadores podem resolver os mesmos problemas de analogia dados nos testes de QI .
Edward Feigenbaum e Julian Feldman publicaram Computadores e Pensamento , a primeira coleção de artigos sobre inteligência artificial.
Leonard Uhr e Charles Vossler publicaram "Um programa de reconhecimento de padrões que gera, avalia e ajusta seus próprios operadores", que descreveu um dos primeiros programas de aprendizado de máquina que poderia adquirir e modificar adaptativamente recursos e, assim, superar as limitações de perceptrons simples de Rosenblatt .
1964 Dissertação de Danny Bobrow no MIT (relatório técnico nº 1 do grupo AI do MIT, Projeto MAC ), mostra que os computadores podem entender a linguagem natural bem o suficiente para resolver álgebra palavra problemas corretamente.
A dissertação de Bertram Raphael no MIT sobre o programa SIR demonstra o poder de uma representação lógica do conhecimento para sistemas de resposta a perguntas.
1965 Lotfi Zadeh na UC Berkeley publica seu primeiro artigo introduzindo a lógica fuzzy "Fuzzy Sets" (Information and Control 8: 338-353).
J. Alan Robinson inventou um procedimento de prova mecânica , o Método de Resolução, que permitia aos programas trabalharem eficientemente com a lógica formal como linguagem de representação.
Joseph Weizenbaum (MIT) construiu ELIZA , um programa interativo que dialoga em inglês sobre qualquer assunto. Era um brinquedo popular nos centros de IA da ARPANET quando uma versão que "simulava" o diálogo de um psicoterapeuta foi programada.
Edward Feigenbaum iniciou o Dendral , um esforço de dez anos para desenvolver software para deduzir a estrutura molecular de compostos orgânicos usando dados de instrumentos científicos. Foi o primeiro sistema especialista .
1966 Ross Quillian (dissertação de doutorado, Carnegie Inst. Of Technology, agora CMU) demonstrou redes semânticas .
Workshop de inteligência de máquina em Edimburgo - o primeiro de uma série anual influente organizada por Donald Michie e outros.
Relatório negativo sobre tradução automática mata muito trabalho em processamento de linguagem natural (PNL) por muitos anos.
O programa Dendral (Edward Feigenbaum, Joshua Lederberg , Bruce Buchanan, Georgia Sutherland na Universidade de Stanford ) demonstrou interpretar espectros de massa em compostos químicos orgânicos. Primeiro programa bem-sucedido de raciocínio científico baseado em conhecimento.
1968 Joel Moses (trabalho de doutorado no MIT) demonstrou o poder do raciocínio simbólico para problemas de integração no programa Macsyma . Primeiro programa de sucesso baseado em conhecimento em matemática .
Richard Greenblatt (programador) no MIT construiu um programa de jogo de xadrez baseado em conhecimento , MacHack , que era bom o suficiente para atingir uma classificação de classe C em torneios.
O programa de Wallace e Boulton, Snob (Comp.J. 11 (2) 1968), para classificação não supervisionada (agrupamento) usa o critério Bayesian Minimum Message Length , uma realização matemática da navalha de Occam .
1969 Stanford Research Institute (SRI): Shakey the Robot , demonstrou combinar locomoção animal , percepção e resolução de problemas .
Roger Schank (Stanford) definiu um modelo de dependência conceitual para o entendimento da linguagem natural . Posteriormente desenvolvido (em dissertações de doutorado na Universidade de Yale ) para uso na compreensão de histórias por Robert Wilensky e Wendy Lehnert, e para uso na compreensão da memória por Janet Kolodner.
Yorick Wilks (Stanford) desenvolveu a visão da coerência semântica da linguagem chamada Preference Semantics, incorporada no primeiro programa de tradução automática orientada pela semântica e a base de muitas dissertações de doutorado, como Bran Boguraev e David Carter em Cambridge.
Primeira Conferência Internacional Conjunta sobre Inteligência Artificial ( IJCAI ) realizada em Stanford.
Marvin Minsky e Seymour Papert publicam Perceptrons , demonstrando limites anteriormente não reconhecidos dessa estrutura de duas camadas de feed-forward, e este livro é considerado por alguns como o início do inverno da IA dos anos 1970, uma falta de confiança e financiamento para a IA. No entanto, o progresso significativo no campo continuou (veja abaixo).
McCarthy e Hayes iniciaram a discussão sobre o problema do frame com seu ensaio, "Alguns problemas filosóficos do ponto de vista da inteligência artificial".

Década de 1970

Encontro Desenvolvimento
Início dos anos 1970 Jane Robinson e Don Walker estabeleceram um influente grupo de Processamento de Linguagem Natural na SRI.
1970 Seppo Linnainmaa publica o modo reverso de diferenciação automática . Esse método ficou conhecido mais tarde como retropropagação e é muito usado para treinar redes neurais artificiais .
Jaime Carbonell (Sr.) desenvolveu o SCHOLAR, um programa interativo para instrução assistida por computador baseado em redes semânticas como representação do conhecimento.
Bill Woods descreveu as Redes de Transição Aumentada (ATNs) como uma representação para a compreensão da linguagem natural.
O programa de doutorado de Patrick Winston , ARCH, no MIT, aprendeu conceitos a partir de exemplos do mundo dos blocos infantis.
1971 A tese de doutorado de Terry Winograd ( MIT ) demonstrou a habilidade dos computadores em entender sentenças em inglês em um mundo restrito de blocos infantis, em um acoplamento de seu programa de compreensão de linguagem, SHRDLU , com um braço robótico que executava instruções digitadas em inglês.
O trabalho no provador do teorema de Boyer-Moore começou em Edimburgo.
1972 Linguagem de programação Prolog desenvolvida por Alain Colmerauer .
Earl Sacerdoti desenvolveu um dos primeiros programas de planejamento hierárquico, ABSTRIPS.
1973 O Grupo de Robótica de Montagem da Universidade de Edimburgo constrói o Robô Freddy, capaz de usar a percepção visual para localizar e montar modelos. (Veja Edimburgo Freddy Assembly Robot : um sistema de montagem controlado por computador versátil.)
O relatório Lighthill dá um veredicto amplamente negativo sobre a pesquisa de IA na Grã-Bretanha e forma a base para a decisão do governo britânico de descontinuar o apoio à pesquisa de IA em todas as universidades, exceto duas.
1974 A dissertação de doutorado de Ted Shortliffe no programa MYCIN (Stanford) demonstrou uma abordagem muito prática baseada em regras para diagnósticos médicos, mesmo na presença de incertezas. Embora seja emprestado de DENDRAL, suas próprias contribuições influenciou fortemente o futuro do sistema especialista de desenvolvimento, especialmente sistemas comerciais.
1975 Earl Sacerdoti desenvolveu técnicas de planejamento de ordem parcial em seu sistema NOAH, substituindo o paradigma anterior de busca entre descrições de espaço de estado. O NOAH foi aplicado na SRI International para diagnosticar e reparar sistemas eletromecânicos de forma interativa.
Austin Tate desenvolveu o sistema de planejamento hierárquico Nonlin capaz de pesquisar um espaço de planos parciais caracterizados como abordagens alternativas para a estrutura de objetivos subjacente do plano.
Marvin Minsky publicou seu artigo amplamente lido e influente sobre Frames como uma representação do conhecimento, no qual muitas ideias sobre esquemas e ligações semânticas são reunidas.
O programa de aprendizagem Meta-Dendral produziu novos resultados em química (algumas regras da espectrometria de massa ) - as primeiras descobertas científicas feitas por um computador a serem publicadas em um jornal arbitrado.
Meados da década de 1970 Barbara Grosz (SRI) estabeleceu limites para as abordagens tradicionais de IA para modelagem de discurso. Trabalhos subsequentes de Grosz, Bonnie Webber e Candace Sidner desenvolveram a noção de "centralização", usada para estabelecer o foco do discurso e referências anafóricas no processamento da linguagem natural .
David Marr e colegas do MIT descrevem o "esboço primordial" e seu papel na percepção visual .
1976 O programa AM de Douglas Lenat (dissertação de Stanford PhD) demonstrou o modelo de descoberta (busca vagamente guiada por conjecturas interessantes).
Randall Davis demonstrou o poder do raciocínio de meta-nível em sua dissertação de doutorado em Stanford.
1978 Tom Mitchell , em Stanford, inventou o conceito de espaços de versão para descrever o espaço de busca de um programa de formação de conceito.
Herbert A. Simon ganha o Prêmio Nobel de Economia por sua teoria da racionalidade limitada , um dos pilares da IA ​​conhecido como " satisficing ".
O programa MOLGEN, escrito em Stanford por Mark Stefik e Peter Friedland, demonstrou que uma representação do conhecimento em programação orientada a objetos pode ser usada para planejar experimentos de clonagem de genes .
1979 A dissertação de doutorado de Bill VanMelle em Stanford demonstrou a generalidade da representação do conhecimento e do estilo de raciocínio do MYCIN em seu programa EMYCIN , o modelo para muitos "invólucros" de sistemas especialistas comerciais.
Jack Myers e Harry Pople da Universidade de Pittsburgh desenvolveram INTERNIST, um programa de diagnóstico médico baseado no conhecimento clínico do Dr. Myers .
Cordell Green , David Barstow, Elaine Kant e outros em Stanford demonstraram o sistema CHI para programação automática .
O Stanford Cart, construído por Hans Moravec , torna-se o primeiro veículo autônomo controlado por computador quando atravessa com sucesso uma sala cheia de cadeiras e circunda o Stanford AI Lab .
BKG, um programa de gamão escrito por Hans Berliner na CMU , derrota o atual campeão mundial (em parte por sorte).
Drew McDermott e Jon Doyle no MIT , e John McCarthy em Stanford começam a publicar trabalhos sobre lógicas não monotônicas e aspectos formais da manutenção da verdade.
Final dos anos 1970 O recurso SUMEX-AIM de Stanford, liderado por Ed Feigenbaum e Joshua Lederberg, demonstra o poder da ARPAnet para a colaboração científica.

Década de 1980

Encontro Desenvolvimento
Década de 1980 Máquinas Lisp desenvolvidas e comercializadas. Primeiros shells de sistema especialista e aplicações comerciais.
1980 Primeira Conferência Nacional da American Association for Artificial Intelligence (AAAI) realizada em Stanford.
1981 Danny Hillis projeta a máquina de conexão, que utiliza computação paralela para trazer um novo poder à IA e à computação em geral. (Mais tarde funda a Thinking Machines Corporation )
1982 O projeto Fifth Generation Computer Systems (FGCS), uma iniciativa do Ministério do Comércio Internacional e Indústria do Japão, iniciado em 1982, para criar um "computador de quinta geração" (ver história do hardware de computação) que deveria realizar muitos cálculos utilizando paralelismo massivo .
1983 John Laird e Paul Rosenbloom, trabalhando com Allen Newell , concluem dissertações CMU sobre Soar (programa).
James F. Allen inventa o cálculo do intervalo, a primeira formalização amplamente usada de eventos temporais.
Meados da década de 1980 As redes neurais tornaram-se amplamente utilizadas com o algoritmo de retropropagação , também conhecido como o modo reverso de diferenciação automática publicado por Seppo Linnainmaa em 1970 e aplicado a redes neurais por Paul Werbos .
1985 O programa de desenho autônomo, AARON , criado por Harold Cohen , é demonstrado na Conferência Nacional AAAI (com base em mais de uma década de trabalho, e com o trabalho subsequente mostrando grandes desenvolvimentos).
1986 A equipe de Ernst Dickmanns da Bundeswehr University of Munich constrói os primeiros carros-robôs, dirigindo a até 55 mph em ruas vazias.
Barbara Grosz e Candace Sidner criam o primeiro modelo computacional do discurso , estabelecendo o campo de pesquisa.
1987 Marvin Minsky publicou The Society of Mind , uma descrição teórica da mente como uma coleção de agentes cooperantes . Ele deu palestras sobre a ideia por anos antes de o livro ser lançado (cf Doyle 1983).
Na mesma época, Rodney Brooks introduziu a arquitetura de subsunção e a robótica baseada em comportamento como um modelo modular mais minimalista de inteligência natural; Nouvelle AI .
Lançamento comercial da geração 2.0 da Alacrity pela Alacritous Inc./Allstar Advice Inc. Toronto, o primeiro sistema comercial de consultoria estratégica e gerencial. O sistema foi baseado em um sistema especialista autodesenvolvido de encadeamento avançado com 3.000 regras sobre a evolução dos mercados e estratégias competitivas e foi coautorizado por Alistair Davidson e Mary Chung, fundadores da empresa com o motor subjacente desenvolvido por Paul Tarvydas. O sistema Alacrity também incluiu um pequeno sistema especialista financeiro que interpretava modelos e demonstrações financeiras.
1989 O desenvolvimento da integração em larga escala de óxido metálico (MOS) (VLSI), na forma de tecnologia MOS complementar (CMOS), possibilitou o desenvolvimento da tecnologia prática de rede neural artificial (ANN) na década de 1980. Uma publicação de referência na área foi o livro Analog VLSI Implementation of Neural Systems, de 1989, de Carver A. Mead e Mohammed Ismail.
Dean Pomerleau na CMU cria ALVINN (um veículo terrestre autônomo em uma rede neural).

Década de 1990

Encontro Desenvolvimento
Década de 1990 Grandes avanços em todas as áreas da IA, com demonstrações significativas em aprendizado de máquina, tutoria inteligente , raciocínio baseado em casos, planejamento multiagente, programação , raciocínio incerto, mineração de dados , compreensão e tradução de linguagem natural, visão, realidade virtual , jogos e Outros tópicos.
Início de 1990 TD-Gammon , um programa de gamão escrito por Gerry Tesauro, demonstra que o reforço (aprendizagem) é poderoso o suficiente para criar um programa de jogo de nível de campeonato competindo favoravelmente com jogadores de classe mundial.
1991 O aplicativo de programação DART implantado na primeira Guerra do Golfo compensou o investimento de 30 anos da DARPA em pesquisas de IA.
1992 Carol Stoker e a equipe de robótica da NASA Ames exploram a vida marinha na Antártica com um robô submarino de telepresença ROV operado do gelo próximo à Baía de McMurdo, na Antártica, e remotamente via satélite de Moffett Field, Califórnia.
1993 Ian Horswill estendeu a robótica baseada em comportamento criando Polly , o primeiro robô a navegar usando a visão e operar em velocidades semelhantes às dos animais (1 metro / segundo).
Rodney Brooks , Lynn Andrea Stein e Cynthia Breazeal iniciaram o amplamente divulgado projeto MIT Cog com vários colaboradores, em uma tentativa de construir uma criança robô humanóide em apenas cinco anos.
A corporação ISX ganha o "empreiteiro DARPA do ano" pela ferramenta Dynamic Analysis and Replanning Tool (DART), que supostamente reembolsou todo o investimento do governo dos Estados Unidos em pesquisas de IA desde os anos 1950.
1994 Lotfi Zadeh da UC Berkeley cria " computação suave " e constrói uma rede mundial de pesquisa com uma fusão de ciência neural e sistemas de rede neural , teoria dos conjuntos fuzzy e sistemas fuzzy , algoritmos evolutivos, programação genética e teoria do caos e sistemas caóticos ("Fuzzy Logic, Neural Networks, and Soft Computing, "Communications of the ACM, março de 1994, Vol. 37 No. 3, páginas 77-84).
Com passageiros a bordo, os carros robô gêmeos VaMP e VITA-2 de Ernst Dickmanns e Daimler-Benz dirigem mais de mil quilômetros em uma rodovia de três pistas de Paris em tráfego pesado padrão a velocidades de até 130 km / h. Eles demonstram direção autônoma em faixas livres, condução em comboio e mudanças de faixa à esquerda e à direita com a passagem autônoma de outros carros.
Rascunhos Inglês ( damas ) campeão mundial Tinsley renunciou uma partida contra o programa de computador Chinook . Chinook derrotou o segundo jogador com melhor classificação, Lafferty . Chinook venceu o Torneio Nacional dos EUA pela maior margem de sempre.
Cindy Mason da NASA organiza o Primeiro Workshop AAAI sobre IA e o Meio Ambiente.
1995 Cindy Mason da NASA organiza o Primeiro Workshop Internacional IJCAI sobre IA e Meio Ambiente.
"No Hands Across America": Um carro semiautônomo dirigiu de costa a costa pelos Estados Unidos com direção controlada por computador por 2.797 milhas (4.501 km) das 2.849 milhas (4.585 km). O acelerador e os freios eram controlados por um motorista humano.
Um dos carros-robô de Ernst Dickmanns (com acelerador e freios controlados por robô) dirigiu mais de 1.600 quilômetros de Munique a Copenhagen e de volta, no trânsito, a até 120 mph, ocasionalmente executando manobras para ultrapassar outros carros (apenas em alguns pontos críticos situações em que um motorista de segurança assumiu). A visão ativa foi usada para lidar com cenas de rua que mudavam rapidamente.
1996 Steve Grand , roboticista e cientista da computação, desenvolve e lança Criaturas , uma simulação popular de formas de vida artificiais com bioquímica simulada, neurologia com algoritmos de aprendizagem e DNA digital herdável.
1997 A máquina de xadrez Deep Blue ( IBM ) derrota o (então) campeão mundial de xadrez , Garry Kasparov .
Primeira partida oficial de futebol da RoboCup com partidas de mesa com 40 equipes de robôs interagindo e mais de 5000 espectadores.
O programa Logistello do computador Othello derrotou o campeão mundial Takeshi Murakami com um placar de 6-0.
1998 Tiger Eletrônica " Furby é liberado, e torna-se a primeira tentativa bem sucedida na produção de um tipo de AI para chegar a um ambiente doméstico .
Tim Berners-Lee publicou seu artigo sobre o mapa de estradas da Web semântica .
Ulises Cortés e Miquel Sànchez-Marrè organizam o primeiro Workshop de Ambiente e IA na Europa ECAI , "Binding Environmental Sciences and Arti fi cial Intelligence."
Leslie P. Kaelbling , Michael Littman e Anthony Cassandra apresentam POMDPs e um método escalonável para resolvê-los para a comunidade de IA, dando início ao uso generalizado em robótica e planejamento e programação automatizados
1999 A Sony apresenta um robô doméstico aprimorado semelhante a um Furby, o AIBO se torna um dos primeiros "bichinhos" com inteligência artificial que também é autônomo .
Final da década de 1990 Rastreadores da Web e outros programas de extração de informações baseados em IA tornam-se essenciais para o uso generalizado da World Wide Web .
Demonstração de uma sala inteligente e agentes emocionais no Laboratório de IA do MIT .
Início dos trabalhos sobre a arquitetura Oxygen , que conecta computadores móveis e fixos em uma rede adaptativa .

século 21

Anos 2000

Encontro Desenvolvimento
2000 Robopets interativos (" brinquedos inteligentes ") tornam-se disponíveis comercialmente, concretizando a visão dos fabricantes de brinquedos inovadores do século XVIII.
Cynthia Breazeal no MIT publica sua dissertação sobre máquinas sociáveis, descrevendo Kismet (robô) , com um rosto que expressa emoções .
O robô Nomad explora regiões remotas da Antártica em busca de amostras de meteoritos.
2002 O Roomba da iRobot aspira o chão autonomamente enquanto navega e evita obstáculos.
2004 OWL Web Ontology Language W3C Recommendation (10 de fevereiro de 2004).
A DARPA apresenta o DARPA Grand Challenge exigindo que os competidores produzam veículos autônomos em troca de prêmios em dinheiro.
Os rovers de exploração robótica da NASA , Spirit e Opportunity, navegam de forma autônoma na superfície de Marte .
2005 Honda 's ASIMO robô, um robô humanóide artificial inteligente, é capaz de andar tão rápido quanto um ser humano, oferecendo bandejas para os clientes em ambientes de restaurante.
A tecnologia de recomendação baseada no rastreamento de atividades na web ou no uso de mídia traz a IA para o marketing. Veja as sugestões do TiVo .
Nasce o Blue Brain , um projeto para simular o cérebro em detalhes moleculares.
2006 A Conferência de Inteligência Artificial de Dartmouth: Os Próximos 50 Anos (AI @ 50) AI @ 50 (14–16 de julho de 2006)
2007 Philosophical Transactions of the Royal Society, B - Biology , uma das revistas científicas mais antigas do mundo, lança uma edição especial sobre o uso de IA para entender a inteligência biológica, intitulada Modelos de Seleção de Ação Natural
Checkers é resolvido por uma equipe de pesquisadores da Universidade de Alberta .
A DARPA lança o Desafio Urbano para que os carros autônomos obedeçam às regras de trânsito e operem em ambiente urbano.
2008 Cynthia Mason, de Stanford, apresenta sua ideia sobre Artificial Compassionate Intelligence, em seu artigo sobre "Giving Robots Compassion" .
2009 Google constrói carro autônomo.

Década de 2010

Encontro Desenvolvimento
2010 A Microsoft lançou o Kinect para Xbox 360, o primeiro dispositivo de jogo a rastrear o movimento do corpo humano , usando apenas uma câmera 3D e detecção de infravermelho, permitindo que os usuários joguem seu Xbox 360 sem fio. O premiado aprendizado de máquina para tecnologia de captura de movimento humano para este dispositivo foi desenvolvido pelo grupo Computer Vision da Microsoft Research , Cambridge.
2011 Mary Lou Maher e Doug Fisher organizam o Primeiro Workshop AAAI sobre IA e Sustentabilidade.
IBM 's Watson computador derrotado televisão game show Jeopardy! campeões Rutter e Jennings .
2011–2014 A Apple 's Siri (2011), Google ' s Google Now (2012) e Microsoft 's Cortana (2014) são smartphones aplicativos que usam linguagem natural para responder a perguntas, recomendações marca e executar ações.
2013 Robot HRP-2 construído por Schaft Inc do Japão , uma subsidiária da Google , derrota 15 equipes para ganhar DARPA ‘s Trials Robotics desafio . HRP-2 marcou 27 de 32 pontos em 8 tarefas necessárias na resposta a desastres. As tarefas são dirigir um veículo, caminhar sobre escombros, subir uma escada, remover entulhos, atravessar portas, cortar uma parede, fechar válvulas e conectar uma mangueira.
NEIL , o Never Ending Image Learner, é lançado na Carnegie Mellon University para comparar e analisar constantemente as relações entre diferentes imagens.
2015 Uma carta aberta para proibir o desenvolvimento e uso de armas autônomas assinada por Hawking , Musk , Wozniak e 3.000 pesquisadores em IA e robótica.
O AlphaGo do Google DeepMind (versão: Fan) derrotou o 3 vezes campeão europeu de Go 2 e o profissional Fan Hui por 5 jogos a 0.
2016 Google DeepMind 's AlphaGo (versão: Lee) derrotou Lee SEDOL 4-1. Lee Sedol é um campeão profissional coreano Go de 9 dan que ganhou 27 torneios importantes de 2002 a 2016.
2017 A Conferência Asilomar sobre IA Benéfica foi realizada para discutir a ética da IA e como trazer IA benéfica , evitando o risco existencial da inteligência artificial geral .
Deepstack é o primeiro algoritmo publicado para derrotar jogadores humanos em jogos de informação imperfeita, como mostrado com significância estatística no poker no-limit heads-up . Logo depois, o pôquer AI Libratus por grupo de pesquisa diferente derrotou individualmente cada um de seus 4 oponentes humanos - entre os melhores jogadores do mundo - com uma winrate agregada excepcionalmente alta, em uma amostra estatisticamente significativa. Em contraste com o xadrez e go, o pôquer é um jogo de informação imperfeito .
Em maio de 2017, o AlphaGo (versão: Master) do Google DeepMind venceu Ke Jie , que na época ocupava continuamente o primeiro lugar no ranking mundial por dois anos, vencendo cada jogo em uma partida de três jogos durante o Future of Go Summit .
Um solucionador de problema de satisfatibilidade booleana proposicional (SAT) prova uma conjectura matemática de longa data sobre os triplos pitagóricos sobre o conjunto de inteiros. A prova inicial, de 200 TB de comprimento, foi verificada por dois verificadores de prova automáticos certificados independentes.
Um OpenAI -machined aprendeu bot jogado no The International 2017 Dota 2 torneio em agosto de 2017. Ele ganhou durante uma 1v1 jogo manifestação contra profissional Dota 2 jogador Dendi .
O Google DeepMind revelou que AlphaGo Zero - uma versão aprimorada de AlphaGo - exibiu ganhos de desempenho significativos ao usar muito menos unidades de processamento de tensores (em comparação com AlphaGo Lee; ele usou a mesma quantidade de TPU's que AlphaGo Master). Ao contrário das versões anteriores, que aprenderam o jogo observando milhões de movimentos humanos, AlphaGo Zero aprendeu jogando apenas contra si mesmo. O sistema então derrotou os jogos AlphaGo Lee 100 a zero e derrotou o AlphaGo Master por 89 a 11. Embora o aprendizado não supervisionado seja um passo à frente, muito ainda precisa ser aprendido sobre inteligência geral. AlphaZero domina o xadrez em 4 horas, derrotando o melhor mecanismo de xadrez, StockFish 8. AlphaZero venceu 28 de 100 jogos, e os restantes 72 jogos terminaram em empate.
2018 A IA de processamento de linguagem Alibaba supera os melhores humanos em um teste de leitura e compreensão da Universidade de Stanford, marcando 82,44 contra 82,304 em um conjunto de 100.000 perguntas.
O Laboratório Europeu para Aprendizagem e Sistemas Inteligentes ( também conhecido como Ellis) propôs-se como um competidor pan-europeu dos esforços de IA americana, com o objetivo de protelar uma fuga de cérebros de talentos, nos moldes do CERN após a Segunda Guerra Mundial.
Anúncio do Google Duplex , um serviço que permite a um assistente de IA marcar compromissos pelo telefone. O LA Times julga que a voz da IA ​​é uma imitação "quase perfeita" da fala que soa humana.
2019 O AlphaStar da DeepMind atinge o nível Grandmaster no StarCraft II, superando 99,8% dos jogadores humanos.

Década de 2020

Encontro Desenvolvimento
2020 2020 DeepSpeed é a biblioteca de otimização de aprendizado profundo da Microsoft para PyTorch que executa o T-NLG.
Em fevereiro de 2020, a Microsoft lançou seu Turing Natural Language Generation (T-NLG), que era então o "maior modelo de linguagem já publicado com 17 bilhões de parâmetros".
OpenAI 's GPT-3 , um modelo de linguagem autoregressive state-of-the-art que usos profunda aprender a produzir uma variedade de códigos de computador, poesia e outras tarefas de linguagem excepcionalmente semelhantes, e quase indistinguíveis daqueles escritos por seres humanos. Sua capacidade era dez vezes maior que a do T-NLG. Foi introduzido em maio de 2020 e estava em teste beta em junho de 2020.

Veja também

Notas

Referências

links externos