Redes Modalidad 1.pdf - RUA - Universidad de Alicante

Guía Docente de Lógica Computacional. Curso 2004/2005
aprendizaje y la percepción conceptos que al igual que los sistemas de conocimiento,
tienen una fuerte componente lógica en sus contenidos.
También aparece como asignatura recomendada para las asignaturas optativas de
Razonamiento e Ingeniería del Lenguaje Natural (6 créditos), y Aprendizaje computacional y Extracción
de Información en los planes de estudio conducentes a la obtención del título de Ingeniero
en Informática (2001).
Razonamiento: se imparte en el primer cuatrimestre de Ingeniería Informática como
asignatura optativa. Entre sus descriptores se encuentran los métodos de
razonamiento artificial, razonamiento condicional, razonamiento con incertidumbre y
razonamiento temporal. Con una buena base en lógica en la que se conocen los
fundamentos formales de los modelos de razonamiento como punto de partida para
el desarrollo de sistemas inteligentes, se abordan dominios específicos en los que el
modelo lógico clásico se muestra inoperante como el tratamiento de imprecisión,
información incompleta, etc.
Ingeniería del Lenguaje Natural: se imparte en el primer cuatrimestre de Ingeniería
Informática como asignatura optativa (Dept. Lenguajes y Sistemas Informáticos).
Entre sus descriptores se encuentran el procesamiento del lenguaje natural,
ambigüedad en el lenguaje y las fases de análisis con aplicaciones. Dentro del tema
que trata de los principales mecanismos de representación formal del significado, se
encuentra la lógica de predicados y el lenguaje de la lógica formal. Por eso se
recomienda Lógica Computacional en donde esos contenidos son parte importante
de la asignatura.
Aprendizaje computacional y Extracción de Información: se imparte en el primer cuatrimestre
de Ingeniería Informática como asignatura optativa (Dept. Lenguajes y Sistemas
Informáticos). De entre sus descriptores podemos destacar las técnicas de
aprendizaje computacional directamente relacionado con los sistemas de deducción
desarrollados en Lógica Computacional.
El siguiente gráfico resume las relaciones anteriormente descritas, en donde las
asignaturas enmarcadas en un cuadro hacen referencia a asignaturas troncales u
obligatorias mientras que las asignaturas enmarcadas en una elipse se refieren a
asignaturas optativas.
Matemática Álgebra
Discreta
Razonamiento Lógica
Computacional
Ingeniería del Fundamentos de
lenguaje natural Inteligencia Artificial
Aprendizaje computacional Técnicas de
y extracción de información Inteligencia Artificial
9