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
