Inteligencia artificial aplicada : lógica y representación del conocimiento
Tipo de material:
TextoEditor: Campinas Escola Brasileiro-Argentina de Informatica 1986Descripción: 99 páginasTema(s): Resumen: Areas de aplicación.-- Sistemas expertos.-- Lenguaje natural.-- Deducción automática de teoremas.-- Formalismo lógico.-- Lenguaje de la lógica.-- Unificación.-- Lógica clausal.-- Procedimientos por refutación.-- Resolución y solución de problemas.-- Formalismos de representación del conocimiento.-- Redes semánticas.-- Reglas de producción.-- Frames.-- Técnicas de búsqueda.-- Herramientas de programación.-- Lógica.-- Prolog.--
| Tipo de ítem | Biblioteca actual | Signatura topográfica | Estado | Código de barras | |
|---|---|---|---|---|---|
| Libro | Biblioteca de la Facultad de Cs. Exactas y Naturales y Agrimensura Colección general | 681.3 G622 ej.1 | Préstamo en sala | 10.10-008009 |
Areas de aplicación.-- Sistemas expertos.-- Lenguaje natural.-- Deducción automática de teoremas.-- Formalismo lógico.-- Lenguaje de la lógica.-- Unificación.-- Lógica clausal.-- Procedimientos por refutación.-- Resolución y solución de problemas.-- Formalismos de representación del conocimiento.-- Redes semánticas.-- Reglas de producción.-- Frames.-- Técnicas de búsqueda.-- Herramientas de programación.-- Lógica.-- Prolog.--