![“ Curry” sim sim Where Where Type Type Then Then … … Case Case Char Char Integer Integer (‘ [a-z][a-zA-Z0-9\-\_]* ‘) Id Expresión Regular Categoría](https://image.slidesharecdn.com/original-curry-1229034007816224-1/85/Original-Curry-6-320.jpg)
Original Curry
- 1. “ Curry ” : Lenguaje lógico-funcional
- 2. Beneficios de la integración de paradigmas PROGRAMACIÓN FUNCIONAL (Haskell) PROGRAMACIÓN LÓGICO-FUNCIONAL (Curry) PROGRAMACIÓN LÓGICO-DIFUSA (Likelog) CONJUNTOS BORROS PROGRAMACIÓN LÓGICA (Prolog) PROGRAMACIÓN LÓGICO-FUNCIONAL-DIFUSA (FCurry)
- 3. Programación de Curry Relaciones de similaridad Es una noción matemáticamente estricta relacionada con relaciones de equivalencia y operadores de cierre, que proporciona un camino para manejar instancias alternativas de una entidad que puede considerarse “igual” que un grado dado. Consiste en un conjunto de ecuaciones de similaridad de la forma: “ eq(s1, s2) = α ” donde s1, s2 símbolos de predicados/funciones de la misma aridad. α grado de similaridad. Ejemplo: eq(a, b) = 0.5
- 4. “ Curry” CURRY -CURRY Partimos de un lenguaje lógico-funcional (Curry) y debemos conseguir su adaptación a la programación lógico-funcional difusa, es decir su difuminación . Curry se basa en la utilización de Narrowing Necesario, ofreciendo funciones, concurrencia, unificación y un principio operacional que es más eficiente que el de los lenguajes lógicos puros. Esto facilita la inclusión de similaridades dentro del núcleo de Curry.
- 5. “ Curry” Cambios a nivel léxico. Los cambios realizados dentro de los módulos de Curry implican una ligera modificación léxica, ya que se ha declarado una única palabra reservada más de las que ya se tenían como reservadas de éste. A continuación se muestra una tabla de símbolos donde se definen los componentes léxicos de Curry, incluyendo los nuevos.
- 6. “ Curry” sim sim Where Where Type Type Then Then … … Case Case Char Char Integer Integer (‘ [a-z][a-zA-Z0-9\-\_]* ‘) Id Expresión Regular Categoría
- 7. Cambios a nivel sintáctico Desde el punto de vista teórico se añade sólo lo correspondiente a la nueva función predefinida, que será “ sim ”. La función “ sim ” se ha introducido para poder definir las similaridades existentes entre funciones y constructores. sim :: String -> String -> Integer Recibe dos identificadores de funciones o constructores (ambos del mismo tipo y aridad) y devuelve el valor de similaridad entre ellas. “ Curry”
- 8. Semántica operacional de Curry Este punto está orientado a explicar las modificaciones a nivel de implementación que se han tenido que llevar a cabo para poder modificar el funcionamiento de curry y añadirle una funcionalidad con relaciones de similaridad. Visionado de resultados después de la evaluación. Curry {Resultado, Sustitución} FCurry {Resultado, Sustitución, Similaridad } Similaridad : es el grado de similaridad asociado a ese resultado.
- 9. Ejemplo práctico OBJETIVO : comprobar el uso de estos lenguajes teóricos en casos considerados como reales. data signals = fever | cough | headache | mocous | migraine data illness = gripe | colds
- 10. Ejemplo práctico symptoms :: signals -> signals -> illness symptoms eval flex symptoms cough fever= gripe diagnostic :: signals -> signals -> illness diagnostic eval flex diagnostic mocous cough = colds diagnostic headache fever = migraine