Programa de la asignatura 0702052 para el curso académico

Anuncio
CURSO ACADÉMICO
ASIGNATURA
2010/2011
CONJUNTOS Y LÓGICA DIFUSA
CÓDIGO PLAN
0702052
1997
TIPO*
CURSO/S**
Op
CUATRIMESTRE
IDIOMA/S
Segundo
Español
4º
CRÉDITOS
Teoría
* Tipo: Tr = Troncal; Ob = Obligatoria; Op = Optativa; Le = Libre Elección / ** Curso: CF = Complementos de formación; PF = Proyecto fin de carrera
CAMPUS
LEON
CENTRO
ESCUELA DE INGENIERIAS INDUSTRIAL E INFORMATICA
TITULACIÓN
Ingeniería Informática
DEPARTAMENTO/S
Matemáticas
ÁREA/S
Álgebra (005)
NOMBRE EN INGLÉS
FUZZY SETS AND FUZZY LOGIC
3.00
Prácticas Problemas Clínicos
3.00
0.00
0.00
Total
ECTS
6.00
5.00
CONTENIDO
La Lógica Difusa está incluida en el conjunto de técnicas computacionales denominada Computación Flexible cuyo objetivo básico es trabajar en un entorno sujeto a
imprecisión e incertidumbre.
La Lógica Difusa fue diseñada para permitir trabajar, no sólo con métodos cuantitativos (objetivos), sino también con cualitativos (subjetivos) representados por
información lingüística y, normalmente, imposibles de cuantificar con herramientas matemáticas tradicionales.
La Lógica Difusa proporciona el punto de partida y el lenguaje básico para los sistemas difusos y, por si sola, constituye un campo muy amplio donde los principios
matemáticos difusos se han desarrollado reemplazando los conjuntos clásicos por los conjuntos difusos. Es una teoría amplia de la que sólo se necesita una porción
pequeña para el diseño de sistemas difusos para control.
CONTENIDO EN INGLÉS
1. Multivalued logics 2. Fuzzy sets 3. Alfa-cuts 4. The principle of extension 5. Fuzzy arithmetic 6. Fuzzy relations 7. Fuzzy logic. Linguistic hedges 8. Quantifier propositions 9.
Approximate reasoning 10. Fuzzy control.
Provide tha necessary tools in order to study applications
PROFESORADO
APELLIDOS/NOMBRE
ÁREA CAT. SITUACIÓN
TEORÍA PRÁCT. EMAIL
FERNÁNDEZ SUCASAS JOSEFA
005
PEE
RESPONSABLE
SI
SI
jfers@unileon.es
GONZÁLEZ RODRÍGUEZ MANUEL FERNANDO
015
CEU
RESPONSABLE SUP.
SI
SI
mfgonr@unileon.es
INFORMACIÓN ACADÉMICA
OBJETIVOS
Representar de una manera adecuada el significado impreciso de aquellas proposiciones del lenguaje natural que lo tengan.
Controlar la transferencia de imprecisión de premisas a conclusiones cuando se realicen inferencias.
TEMARIO
1.- Lógicas Multivaloradas
Lógica de Lukasiewicz
Construcción de distintas lógicas multivaloradas: Negaciones, t-normas y t-conormas.
2.- Conjuntos Difusos
Funciones de pertenencia
Conceptos Básicos y Operaciones en Conjuntos Difusos
?-cortes de Conjuntos Difusos. Teoremas de Representación.
Principio de extensión
Página 1 de 3
4.- Aritmética difusa
4.- Relaciones Difusas
Relaciones Binarias Difusas: Operaciones
Relaciones Difusas de equivalencia y Orden
4.- Lógica Difusa
4.1.Proposiciones Difusas
4.2. Modificadores Linguísticos
4.3. Cuantificadores Difusos
4.4. Razonamiento Aproximado: Reglas de inferencia
5.- Algunas Aplicaciones
METODOLOGÍA DOCENTE
El número de alumnos permite una enseñanza personalizada y participativa. La asignatura se desarrolla mediante clases teóricas y clases de problemas que son
resueltos por los alumnos individualmente o en grupo. Tanto en las clases teóricas como prácticas se utilizan trasparencias, paquetes de cálculo simbólico para exponer
problemas resueltos y páginas web que puedan ser de interés para algún tema concreto.
Además a los alumnos se les facilitan fotocopias de material complementario para el desarrollo de la asignatura.
PROCEDIMIENTOS DE EVALUACIÓN
Procedimiento de Evaluación
Se realizará un examen final escrito que constará de preguntas teóricas y ejercicios prácticos. Como complemento a dicho examen, se valorarán las respuestas a
cuestiones y problemas que se formularán a los alumnos en las clases prácticas.
Criterios de Corrección
Las puntuaciones específicas dependerán del examen que se proponga y se concretarán el mismo día de la prueba. Se tendrá en cuenta para la corrección de los
mismos, la adecuación de las respuestas a las preguntas efectuadas, la idoneidad del método elegido, la valoración de los errores cometidos y la comprobación de las
soluciones. Así mismo se valorará la actitud que manifieste el alumno en el de desarrollo de la asignatura.
BIBLIOGRAFÍA
Arenas Alegría, L. \"Lógica Formal para informáticos\", Díaz de Santos 1996.
Aranda, J. y otros. \"Fundamentos de Lógica Matemática\". Sanz y Torres. 1999
Barnes, D.W.; Dalh, V. Una Introducción Algebraica a la Lógica Matemática. EUNIBAR. 1978.
Fernández,G y Saez Vacas. \"Fundamentos de Informática\". Anaya 1995
Klir, G.J. \"Fuzzy Set Theory\". Prentice-Hall 1997
Klir, G.J. \"Fuzzy Sets and Fuzzy Logic \". Prentice-Hall 1995
Pedrycz, W. \"An Introduction to Fuzzy Sets\" The MIT Press 1998. Fuzzy Sets
Sugeno, M. \"Fuzzy Modeling and Control\". CRC Press 1999
Tanaka, K. An Introduction Fuzzy Logic for Practical Applications\". Springer 1996
Trillas, E. \"Conjuntos Borrosos\".Vicens-Vives 1980
Trillas, E. y otros. \"Introducción a la Lógica Borrosa\". Ariel Matemática 1995.
Trillas, E. y otros. \"Aplicaciones de la Lógica Borrosa\". C.S.I.C. 1992.
BIBLIOGRAFÍA ADICIONAL
Ben-Ari, M. \"Mathematical Logic for Computer Science\". Prentice Hall International. 1993.
Edmun Burke, Eric Foxley. \"Logic and its Applications\". Prentice Hall 1996.
Maeder, R.E. \"The Mathematica Programmer\". Academic Press. 1994.
Nilsson U. and Matusynski, J.\"Logic programming and Prolog\". Wiley 1997
Página 2 de 3
Nissanke, N. \"Introductory Logic and Sets for Computer Scientists\". Addison-Wesley.1999
Varios autores (artículos). \"Fuzzy Logic and Soft Computing\". World Scientific 1995.
ENLACES
Muchos Centros Universitarios ofrecen en sus páginas información sobre recursos didácticos, problemas, apuntes, exámenes, proyectos y otros materiales que pueden
ser utilizados por los alumnos. Es aconsejable, por tanto, visitar las páginas de aquella Universidades que tengan titulaciones de Informática en sus diversas modalidades.
Página 3 de 3
Descargar