Claudio Vaucheret | Universidad Nacional del Comahue (original) (raw)

Uploads

Papers by Claudio Vaucheret

$Research paper thumbnail of Fuzzy Prolog: A Simple General Implementation Using CLP(<math xmlns="http://www.w3.org/1998/Math/MathML" display="block"><semantics><mrow><mi mathvariant="script">R</mi></mrow><annotation encoding="application/x-tex">\mathcal{R}</annotation></semantics></math>R )$

Lecture Notes in Computer Science, 2002

Fuzzy Sets and Systems, 2004

We present a definition of a Fuzzy Prolog Language that models B ([0, 1])-valued Fuzzy Logic, and... more We present a definition of a Fuzzy Prolog Language that models B ([0, 1])-valued Fuzzy Logic, and subsumes former approaches because it uses a truth value representation based on a union of sub-intervals on [0, 1] and is defined using general operators that can model different logics. This extension to Prolog is implemented by interpreting fuzzy reasoning as a set of constraints that are propagated through the rules by means of aggregation operators. Declarative and procedural semantics for Fuzzy Logic programs are given and their ...

Abstract. We present a definition of a Fuzzy Prolog Language that models interval-valued Fuzzy lo... more Abstract. We present a definition of a Fuzzy Prolog Language that models interval-valued Fuzzy logic, and subsumes other fuzzy prologs. We give the declarative and procedural semantics for fuzzy logic programs. In addition, we give an implementation of an interpreter for this language made using CLP (Z). We have incorporated uncertainty into a Prolog system in a simple way thanks to this constrains system. The implementation is based on syntactic expansion of the source code running on Prolog. Keywords Fuzzy Prolog, ...

nKatholieke Universiteit Leuven

Abstract. We have presented before a Fuzzy Prolog Language that models intervalvalued Fuzzy logic... more Abstract. We have presented before a Fuzzy Prolog Language that models intervalvalued Fuzzy logic and we have provided an implementation using CLP (%). Now, in this work, we describe a sound method for combining crisp and fuzzy logic in one Prolog compiler. The result is a powerful fuzzy Prolog library with an intuitive semantics that works in a constructive way even with negative queries. The implementation is incredibly simple because we are using Prolog's resolution so it is a useful tool for introducing uncertainty in ...

clip.dia.fi.upm.es, 2009

We present a denition of a Fuzzy Prolog Language thatmodels interval-valued Fuzzy Logic, and subs... more We present a denition of a Fuzzy Prolog Language thatmodels interval-valued Fuzzy Logic, and subsumes former approachesbecause it uses a truth value representation based on a union of intervalsof real numbers and it is dened using general operators that canmodel dierent logics. We give the declarative and procedural semanticsfor Fuzzy Logic programs. In addition, we present the implementationof an interpreter for this language conceived using CLP (R). We haveincorporated uncertainty into a Prolog system in a simple way ...

Joint Conf. on Declarative Programming: APPIA-GULP-PRODE, 2002

Lecture Notes in Computer Science, 2001

Eprint Arxiv Cs 0508091, Aug 22, 2005

Incomplete information is a problem in many aspects of actual environments. Furthermore, in many ... more Incomplete information is a problem in many aspects of actual environments. Furthermore, in many sceneries the knowledge is not represented in a crisp way. It is common to find fuzzy concepts or problems with some level of uncertainty. There are not many practical systems which handle fuzziness and uncertainty and the few examples that we can find are used by a minority. To extend a popular system (which many programmers are using) with the ability of combining crisp and fuzzy knowledge representations seems to be an interesting issue. Our first work (Fuzzy Prolog) was a language that models B([0, 1])-valued Fuzzy Logic. In the Borel algebra, B([0, 1]), truth value is represented using unions of intervals of real numbers. This work was more general in truth value representation and propagation than previous works. An interpreter for this language using Constraint Logic Programming over Real numbers (CLP(R)) was implemented and is available in the Ciao system. Now, we enhance our former approach by using default knowledge to represent incomplete information in Logic Programming. We also provide the implementation of this new framework. This new release of Fuzzy Prolog handles incomplete information, it has a complete semantics (the previous one was incomplete as Prolog) and moreover it is able to combine crisp and fuzzy logic in Prolog programs. Therefore, new Fuzzy Prolog is more expressive to represent real world. Fuzzy Prolog inherited from Prolog its incompleteness. The incorporation of default reasoning to Fuzzy Prolog removes this problem and requires a richer semantics which we discuss.

En este trabajo presentamos la implementación de componentes para un plug-in de Eclipse que permi... more En este trabajo presentamos la implementación de componentes para un plug-in de Eclipse que permite la visualización del Modelo de Byrd de depuración de programas lógicos sobre el código fuente de los programas. La depuración en el código fuente es una característica esencial en un entorno de programación moderno para el lenguaje Prolog. Este trabajo contribuye en el creación de un entorno de programación visual de código abierto para Prolog.

Eusflat, 2005

Incomplete information is a problem in many as- pects of actual environments. In many sceneries t... more Incomplete information is a problem in many as- pects of actual environments. In many sceneries the knowledge is not represented in a crisp way. It is common to nd fuzzy concepts or problems with some level of uncertainty. It is dicult to nd practical systems which handle fuzziness and uncertainty and the few examples that we can nd are minority. To extend a popular system (which many of programmers are using) with this habil- ity seems to be an interesting issue. Our rst work (Fuzzy Prolog (1)) was a language that modelsB((0; 1))-valued Fuzzy Logic. In the Borel Algebra,B((0; 1)), truth value is represented using unions of intervals of real numbers. It sub- sumed former approaches because it was more general in truth value representation and prop- agation than them. Now, we enhance our former approach by using default knowledge to represent incomplete infor- mation in Logic Programming. We also provide the implementation of this new framework. This new release of Fuzzy Prolog handles incomplete information and it has a complete semantics (the before one was incomplete as Prolog) which we discuss. New Fuzzy Prolog is more expressive to represent real world.

Resumen En este trabajo presentamos un planificador continuo que implementa un controlador para u... more Resumen En este trabajo presentamos un planificador continuo que implementa un controlador para un equipo de futbol de robots. El planificador continuo generaliza el planificador de orden parcial implementado en Prolog.

This work extends the semantics and implementation of fuzzy prolog presented in [VGM02] in order ... more This work extends the semantics and implementation of fuzzy prolog presented in [VGM02] in order to include Default Knowledge capability. The new semantic allows non-uniform default assumptions and has Closed World Assumption (CWA) and Open World Assumption (OWA) as particular cases.

Este trabajo expone una linea de investigación en análisis estático de programas lógicos. El obje... more Este trabajo expone una linea de investigación en análisis estático de programas lógicos. El objetivo general de la computación ubicua es la generación automática de software en el contexto de recursos limitados. Un aspecto importante para este objetivo es lograr la información de los tipos en lenguajes no tipados como Prolog. Esta linea de investigación abarca el estudio de todas las consideraciones para una inferencia automática eficiente y precisa de la información de tipos en el contexto de la programación lógica.