Presentation

The Declarative Programming and Automatic Program Transformation (DEC-tau) research group was created, in October 2000, to promote the research and development of formal methods applied, in particular, to the integration of declarative multiparadigm programming languages ​​and to the automatic transformation of declarative programs written in this type of languages. We use the term “multiparadigm” in a broad sense encompassing languages ​​that integrate logical, functional, as well as fuzzy logic characteristics.

In the last years we have focused our interest in the design of fuzzy logic programming languages ​​that incorporate among their expressive resources the treatment of uncertain information in a natural way. Specifically, we have developed a language based on unification by similarity, which we call Bousi~Prolog (Bousi is the spanish acronym of “Fuzzy Prolog with Unification by Similarity”). There exists a high level implementation and a low level implementation that is based on a prototype of a Similarity Warren Abstract Machine with (SWAM). In addition, our group has implemented a system for the execution of multi-adjoint logic programs called FLOPER (Fuzzy LOgic Programming Environment for Research). The FLOPER system is written in Prolog and it is able (among other thing) to directly translate fuzzy logic programs into Prolog code in order to safely execute these residual programs inside any standard Prolog interpreter in a completely transparent way for the final user. In this link you can find more information about the FLOPER tool.

It is worth mentioning that the first practical applications of these languages ​​have already been made: Bousi~Prolog has been used for text cataloging and FLOPER to manipulate XML text, implementing fuzzy extensions of the XPath and XQuery languages.

At the present time, we are combining both approaches in the design and implementation of the, fully integrated, fuzzy logic programming language called FASILL.

 

El grupo de investigación de Programación Declarativa y Transformación Automática de Programas (DEC-tau) se creó, en Octubre de 2000, para propiciar la investigación y el desarrollo de métodos formales aplicados, en particular, a la integración de lenguajes declarativos multiparadigma y la transformación automática de los programas declarativos escritos en este tipo de lenguajes. Empleamos el calificativo “multiparadigma” en un sentido amplio que engloba lenguajes que integran características lógicas, funcionales, así como lógico difusas.

En los últimos años hemos centrado nuestro interés en el diseño de lenguajes lógicos difusos que incorporen entre sus recursos expresivos el tratamiento de información imprecisa de forma natural. En concreto, hemos desarrollado un lenguaje basado en unificación por similaridad, que denominamos Bousi~Prolog (Prolog BOrroso con Unificación por SImilaridad), del que existe una implementación de alto nivel y una implementación de bajo nivel que se apoya en un prototipo de máquina de Warren con similaridad (SWAM). Además, nuestro grupo ha implementado un sistema para la ejecución de programas multiadjuntos que denominamos FLOPER (acrónimo de Fuzzy LOgic Programming Environment for Research). Es de reseñar que ya se han producido las primeras aplicaciones prácticas de estos lenguajes: Bousi~Prolog se ha utilizado para la catalogación de textos y FLOPER para manipular texto XML, implementando una extensión difusa de los lenguajes XPath y XQuery.

En la actualidad, estamos combinando ambos enfoques en el diseño e implementación del lenguaje de programación de lógica difusa, totalmente integrado, FASILL.


sisli escort Kayseri Escort Samsun Escort Gaziantep Escort Bayan Eskisehir Escort Beylikdüzü Escort Bayan Eskisehir Escort Samsun Escort Gaziantep Escort Malatya Escort Antalya Escort Beylikdüzü Escort Mersin Escort Bursa Escort Bayan Bursa Escort Escort Antalya Beylikdüzü Escort Bursa Escort Escort Gaziantep Escort Kayseri Escort Escort Beylikdüzü Alanya Escort Alanya Escort Adana Escort Malatya Escort Bayan Alanya Escort Konya Escort Bodrum Escort Kuşadası Escort Hatay Escort Gaziantep Escort Adana Escort Bursa Escort instagram takipçi instagram takipçi hilesi instagram beğeni satın al instagram free followers 2018 youtube takipçi hilesi panelinsta free followers for instagram instagram takipçi instagram takipçi satın al instagram free followers free instagram followers instagram takipçi kasma instagram beğeni hilesi cheat follower for instagram instagram giriş instagram free follower instagram takipçi free followers for instagram instagram takipçi instagram free followers instagram takipçi satın al free instagram followers instagram takipçi kasma instagram beğeni hilesi cheat follower for instagram instagram giriş instagram free follower hacklink satış istanbul evden eve nakliyat hacklink panel Indoxploit Shell hacklink panel instagram takipçi hilesi hacklink satış hacklink wso shell hacklink satış instagram beğeni hilesi istanbul escort istanbul escort Cami Halısı Cami Halısı çiğköfte bayilik Promosyon ürünleri Cami Halısı beylikdüzü escort ankara escort Ankara escort Kadıköy Escort Ankara Escort Esenyurt Escort esenyurt escort Kurtköy Escort Beylikdüzü Escort Bayan Türkçe Altyazılı Porno izmir escort bayan Bahçeşehir Escort ankara escort ankara escort istanbul escort bayan Ankara escort bayan Ankara Escort Escort Beylikdüzü Ankara Escort Ankara Escort Beylikdüzü Escort Bahçeşehir Escort Bayan X.net İstanbul Escort Bayan Ankara Escort Bayan izmir escort Beylikdüzü Escort Atasehir escort Ankara Escort Kurtköy Escort Antalya escort Kurtköy Escort Keçiören Escort
wso shell IndoXploit shell webr00t shell hacklink hacklink satış wso shell