Download LÓGICA FORMAL E INTELIGENCIA ARTIFICIAL-GD

INGENIERÍA TÉCNICA EN INFORMÁTICA DE
SISTEMAS
ASIGNATURA: LÓGICA FORMAL E INTELIGENCIA
ARTIFICIAL
CURSO: 3º
Créditos: 4,5
Créditos ECTS: 5
OPCION:
Semestre: 1º
Castellano
Euskera
1.-Objetivos:
•
•
•
•
Conocimiento de la lógica formal, haciendo énfasis en la importancia de la formalización
de los problemas, la rigurosidad de los métodos y la justificación de los resultados.
Introducirse en la teoría y las técnicas de representación del conocimiento.
Conocer la aplicabilidad de la I.A., el tipo de problemas que puede resolver.
Conocer las técnicas de resolución de problemas de la I.A.
•
•
Aprendizaje de una herramienta de programación lógica: PROLOG.
Construcción de Sistemas Expertos.
2.-Programa:
2.
3.
4.
5.
6.
7.
8.
9.
1.1.
1.2.
- INTRODUCCIÓN A LA IA.
- LÓGICA PROPOSICIONAL DE PRIMER ORDEN
3.1. - Cálculo de enunciados formal
3.2. - Sistema formal de deducción natural de Gentzen
- LÓGICA DE PREDICADOS DE PRIMER ORDEN
4.1. - Cálculo de enunciados formal
4.2. - Sistema formal de deducción natural de Gentzen.
- BÚSQUEDAS.
5.1. - Técnicas de búsquedas, Profundidad, anchura, heurísticas, etc.
- PROLOG – PROGRAMACIÓN LOGICA
6.1. - Programación procedural y declarativa
6.2. - Programación de búsqueda de soluciones
- AGENTES.
7.1. Teoría de agentes. Sistemas multiagentes, sistemas distribuidos de agentes,
desarrollo basado en agentes, etc..
- SISTEMAS EXPERTOS.
8.1. - Características de los SE
8.2. - Componentes
8.3. - Lenguajes de programación y herramientas de construcción de SE.
PRACTICAS
9.1. Las prácticas de esta asignatura consistirán en la realización de trabajos y en la
exposición de los mismos en torno a temas interesantes que no se puedadn tratar
en clase pero que es necesario el conocimiento de los mismos.
9.2. Existirán prácticas a hacer en los laboratorios de ordenadores de ejercicios para
la programación en prolog.
3.- Bibliografía:
•
•
•
•
•
•
Lógica para matemáticos A.G.Harrilton. Paraninfo.
Lógica simbólica Antonio Garrido. Techos.
Lógica , Programación e Inteligencia Artificial. R.Kowalski. Díaz de Santos.
Lógica, Programación e Inteligencia artificial Kowalski.Díaz de Santos.
Artificial Intelligence P.H.Winston. . Addison Wesley
Apuntes de PROLOG..