| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital; Embrapa Solos. |
|
Data corrente: |
16/07/1996 |
|
Data da última atualização: |
10/12/2007 |
|
Autoria: |
BITTENCOURT, G. |
|
Título: |
Inteligência artificial: ferramentas e teorias. |
|
Ano de publicação: |
1996 |
|
Fonte/Imprenta: |
Campinas: Instituto de Computação-UNICAMP, 1996. |
|
Páginas: |
239 p. |
|
Idioma: |
Português |
|
Notas: |
Trabalho apresentado na 10. Escola de Computação, 1996, Campinas. |
|
Conteúdo: |
Histórico. Filosofia. Matemática. Tecnologia. Tempos modernos. Representação de conhecimento. Símbolos e representações. Semântica. Fundamentos. Lógica e prolog. Histórico. Sintaxe. Semântica. Métodos de prova. Método de resolução. Método de Tableaux. Lógicas não-clássicas. Prolog. Manipulação símbolica e Lisp. Cálculo Lambda. Lisp. Busca em espaços de estados. Sistemas de produções e sistemas especialistas. Sistemas de produção. Sistemas especialistas. Aquisição de conhecimento. Métodos de representação de conhecimento. Ferramentas para a construção de sistemas especialistas. Tópicos especiais. Representação de incerteza. Inteligência artificial distribuída. Conexionismo. Computação evolutiva. Perspectivas. Previsões e decepções. Temas de pesquisa. Aplicações. Áreas estratégicas. Desafios. |
|
Palavras-Chave: |
Inteligência artificial; LISP; Prolog; Representação de conhecimento. |
|
Categoria do assunto: |
--
P Recursos Naturais, Ciências Ambientais e da Terra |
|
Marc: |
LEADER 01392nam a2200181 a 4500
001 1002944
005 2007-12-10
008 1996 bl uuuu 00u1 u #d
100 1 $aBITTENCOURT, G.
245 $aInteligência artificial$bferramentas e teorias.
260 $aCampinas: Instituto de Computação-UNICAMP$c1996
300 $a239 p.
500 $aTrabalho apresentado na 10. Escola de Computação, 1996, Campinas.
520 $aHistórico. Filosofia. Matemática. Tecnologia. Tempos modernos. Representação de conhecimento. Símbolos e representações. Semântica. Fundamentos. Lógica e prolog. Histórico. Sintaxe. Semântica. Métodos de prova. Método de resolução. Método de Tableaux. Lógicas não-clássicas. Prolog. Manipulação símbolica e Lisp. Cálculo Lambda. Lisp. Busca em espaços de estados. Sistemas de produções e sistemas especialistas. Sistemas de produção. Sistemas especialistas. Aquisição de conhecimento. Métodos de representação de conhecimento. Ferramentas para a construção de sistemas especialistas. Tópicos especiais. Representação de incerteza. Inteligência artificial distribuída. Conexionismo. Computação evolutiva. Perspectivas. Previsões e decepções. Temas de pesquisa. Aplicações. Áreas estratégicas. Desafios.
653 $aInteligência artificial
653 $aLISP
653 $aProlog
653 $aRepresentação de conhecimento
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
| Registros recuperados : 3 | |
| 3. |  | ESTEVES, P. A.; CARON, L.; RODIGHERI, D. F.; BITTENCOURT, G. T. K.; SIMAS, A. de; OLIVEIRA, F. M. G. de. Biossegurança: uma visão geral. Avicultura Industrial, Itu, ed. 1297, ano 111, n. 3, p. 16-19, 2020.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: B - 5 |
| Biblioteca(s): Embrapa Suínos e Aves. |
|    |
| Registros recuperados : 3 | |
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
