Búsqueda avanzada

El autor Carlos Vázquez ha publicado 3 artículo(s):

1 - A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees

This work proposes a declarative semantics based on a fuzzy variant of the classical notion of least Herbrand model for the so-called FASILL language (acronym of “Fuzzy Aggregators and Similarity Into a Logic Language”) which has being recently designed and implemented in our research group for coping with implicit/explicit truth degree annotations, a great variety of connectives and unification by similarity.

Autores: Pascual Julián-Iranzo / Ginés Moreno / Jaime Penabad / Carlos Vázquez / 
Palabras Clave: Fuzzy Logic Programming - Herbrand Model - Similarity Relations

2 - A fuzzy approach to cloud admission control for safe overbooking (High-level Work)

Cloud computing enables elasticity – rapid provisioning and deprovisioning of computational resources. Elasticity allows cloud users to quickly adapt resource allocation to meet changes in their workloads. For cloud providers, elasticity complicates capacity management as the amount of resources that can be requested by users is unknown and can vary significantly over time. Overbooking techniques allow providers to increase utilization of their data centers. For safe overbooking, cloud providers need admission control mechanisms to handle the tradeoff between increased utilization (and revenue), and risk of exhausting resources, potentially resulting in penalty fees and/or lost customers. We propose a flexible approach (implemented with fuzzy logic programming) to admission control and the associated risk estimation. Our measures exploit different fuzzy logic operators in order to model optimistic, realistic, and pessimistic behaviour under uncertainty. An experimental evaluation confirm that our fuzzy admission control approach can significantly increase resource utilization while minimizing the risk of exceeding the total available capacity.

Autores: Carlos Vázquez / Ginés Moreno / Luis Tomás / Johan Tordsson / 
Palabras Clave: Admission Control - Cloud Computing - Fuzzy Logic Programming - Risk Assessment

3 - String-based Multi-adjoint Lattices for Tracing Fuzzy Logic Computations

Classically, most programming languages use in a predefined way the notion of «string» as an standard data structure for a comfortable management of arbitrary sequences of characters. However, in this paper we assign a different role to this concept: here we are concerned with fuzzy logic programming, a somehow recent paradigm trying to introduce fuzzy logic into logic programming. In this setting, the mathematical concept of multi-adjoint lattice has been successfully exploited into the so-called Multi-adjoint Logic Programming approach, MALP in brief, for modeling flexible notions of truth-degrees beyond the simpler case of true and false. Our main goal points out not only our formal proof verifying that stringbased lattices accomplish with the so-called multi-adjoint property (as well as its Cartesian product with similar structures), but also its correspondence with interesting debugging tasks into the FLOPER system (from «Fuzzy LOgic Programming Environment for Research») developed in our research group.

Autores: Pedro J. Morcillo / Ginés Moreno / Jaime Penabad / Carlos Vázquez / 
Palabras Clave: Cartesian Product of Multi-adjoint Lattices - Declarative Debugging - Fuzzy (Multi-adjoint) Logic Programming