Inicio >> Docencia >> Titulación >> Asignaturas/Cursos >> Presentación
           --

Lógica para Sistemas Inteligentes 3ECTS (SIN DOCENCIA) (301049)


Presentación Grupos Recursos Bibliografía Exámenes Avisos

Recomendaciones previas

Se requiere conocer lógica clásica a nivel básico. La asignatura de nivelación Introducción a la Lógica y a la I.A. suplirá carencias.

Además de los objetivos generales comunes del programa se establecen los siguientes objetivos instrumentales:

  • OI1: Aplicar los conocimientos adquiridos mediante la resolución de problemas y la presentación de un trabajo obligatorio.
  • OI2: Adquirir y emplear un lenguaje adecuado para la comunicación científica, tanto oral como escrito, siendo riguroso en las explicaciones y preciso en las definiciones. Saber encontrar el registro de la lengua propio para estos fines, sin renunciar a darle un toque personal.
  • OI3: Situar la Lógica para Sistemas Inteligentes dentro de la Lógica y también dentro de la Inteligencia Artificial.
  • OI4: Adquirir una visión inicial del campo de los Sistemas Lógicos.
Objetivos de la asignatura
Objetivos específicos de la materia:
 En este curso estudiaremos varias extensiones de la lógica clásica de gran aplicación en la informática; a saber, la descriptiva, la temporal, la multivariada (o heterogénea), la modal y la dinámica y defenderé la tesis de que la mayor parte de los sistemas lógicos razonables se reducen satisfactoriamente a la lógica multivariada. Esta idea estará presente a lo largo del curso pero se desarrollará abiertamente en las últimas sesiones, en donde se traducirán todas las lógicas estudiadas a la multivariada y se usará la traducción para demostrar ciertas propiedades metateóricas de las lógicas traducidas.
Contenidos

Descripción del contenido de la materia:
1) Lógicas descriptivas

  1. Web semántica
  2. Ontologías
  3. Lenguaje lógica descriptiva
  4. Semántica
  5. Cálculo de tableaux para lógicas descriptivas

2) Lógicas modales hoy

  1. Modal
  2. Temporal
  3. Híbrida
  4. Dinámica

3) Traducción a un marco común

  1. Lógica Multivariada como marco unificador
  2. Traducciones de las lógicas estudiadas a la lógica marco

 

Evaluación
  • Asistencia a clase: se exigirá un mínimo del 80%. Es previsible que en un futuro próximo el peso de la docencia virtual crezca, por lo que será sustituida por entradas en el portal y elaboración de ejercicios de comprensión de lo expuesto.
  • Entrega de trabajo de investigación. Será éste un pequeño artículo, que podría servir como base para el Doctoral Consortium Anual previsto en el posgrado. En la nota final contará un 80
  • Presentación oral del trabajo: se valorará la precisión, capacidad de comunicación y espíritu crítico y constructivo. En la nota final contará un 20%
Profesorado
Maria Gracia Manzano Arjona Correo electrónico
Otros datos

Créditos: 3.0 (1.5 T + 1.5 P) , Anual , Obligatoria , Número de grupos de teoría: 1 , Número de grupos de práctica: 1

Máster Universitario en Sistemas Inteligentes (Plan 2006) Módulo Fundamental
---
Identificarse Certificado raíz de la autoridad de certificación Accesibilidad
Idioma inglés
Advertencia sobre la información contenida en esta aplicación Web
© 2017 Departamento de Informática y Automática - Universidad de Salamanca
Webmaster: Correo electrónico
Versión Móvil
[Contenido semántico de esta página]
Cliente de mensajería instantánea para usuarios de Diaweb Acerca de