Inteligencia artificial aplicada : lógica y representación del conocimiento
- 99 páginas
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.--