A Declarative Semantics for CLP with Qualification and Proximity

Uncertainty in Logic Programming has been investigated during the last decades, dealing with various extensions of the classical LP paradigm and different applications. Existing proposals rely on different approaches, such as clause annotations based on uncertain truth values, qualification values as a generalization of uncertain truth values, and unification based on proximity relations. On the other hand, the CLP scheme has established itself as a powerful extension of LP that supports efficient computation over specialized domains while keeping a clean declarative semantics. In this paper we propose a new scheme SQCLP designed as an extension of CLP that supports qualification values and proximity relations. We show that several previous proposals can be viewed as particular cases of the new scheme, obtained by partial instantiation. We present a declarative semantics for SQCLP that is based on observables, providing fixpoint and proof-theoretical characterizations of least program models as well as an implementation-independent notion of goal solutions.Comment: 17 pages, 26th Int'l. Conference on Logic Programming (ICLP'10

A Transformation-based Implementation for CLP with Qualification and Proximity

Uncertainty in logic programming has been widely investigated in the last decades, leading to multiple extensions of the classical LP paradigm. However, few of these are designed as extensions of the well-established and powerful CLP scheme for Constraint Logic Programming. In a previous work we have proposed the SQCLP (proximity-based qualified constraint logic programming) scheme as a quite expressive extension of CLP with support for qualification values and proximity relations as generalizations of uncertainty values and similarity relations, respectively. In this paper we provide a transformation technique for transforming SQCLP programs and goals into semantically equivalent CLP programs and goals, and a practical Prolog-based implementation of some particularly useful instances of the SQCLP scheme. We also illustrate, by showing some simple-and working-examples, how the prototype can be effectively used as a tool for solving problems where qualification values and proximity relations play a key role. Intended use of SQCLP includes flexible information retrieval applications.Comment: 49 pages, 5 figures, 1 table, preliminary version of an article of the same title, published as Technical Report SIC-4-10, Universidad Complutense, Departamento de Sistemas Inform\'aticos y Computaci\'on, Madrid, Spai

Bioethical issues related to the principle of utility in the residential consumption of drinking water in Colombia

Este artículo forma parte de la investigación sobre cuestiones bioéticas relacionadas con el consumo residencial de agua potable en Colombia. Mediante el uso del método hermenéutico y metodología cuantitativa, se analizan evidencias en el seguimiento de la política tarifaria desde las etapas regulatorias implementadas entre 1994 y 2021, que han generado incrementos en la cobertura y calidad del servicio, en un bien de interés público con alta interferencia de intereses políticos. Así, desde la doctrina ética del utilitarismo y su principio de utilidad versus la teoría económica, se ha buscado develar las cuestiones bioéticas asociadas al consumo residencial de agua potable estipulada en la política tarifaria, obteniendo entre otros resultados que: las empresas encargadas del suministro de agua potable operan de manera ineficiente; las políticas tarifarias son regresivas con impacto social negativo; alta dependencia de la gestión política del servicio, afectando los criterios de libertad en la toma de decisiones; y la gestión y las políticas del agua deben basarse en una perspectiva bioética.This article is part of the research on bioethical issues related to residential consumption of drinking water in Colombia. Through the use of the hermeneutic method and quantitative methodology, evidence is analyzed in the follow-up of the tariff policy from the regulatory stages implemented between 1994 and 2021, which have generated increases in the coverage and quality of the service, in a good of public interest with high interference of political interests. Thus, from the ethical doctrine of utilitarianism and its principle of utility versus economic theory, we have sought to unveil the bioethical issues associated with residential consumption of drinking water stipulated in the tariff policy, obtaining among other results that: the companies in charge of drinking water supply operate inefficiently; tariff policies are regressive with negative social impact; high dependence on the political management of the service, affecting the criteria of freedom in decision-making; and water management and policies should be based on a bioethical perspective

System dynamics modelling in systems biology and applications in pharmacology

El modelado matemático de sistemas biológicos complejos es uno de los temas clave en la Biología de Sistemas y varios métodos computacionales basados ​​en la simulación computarizada han sido aplicados hasta ahora para determinar el comportamiento de los sistemas no lineales. La Dinamica de Sistemas es una metodología de modelado intuitivo basada en el razonamiento cualitativo por el cual un modelo conceptual se puede describir como un conjunto de relaciones de causa y efecto entre las variables de un sistema. A partir de esta estructura, es posible obtener un conjunto de ecuaciones dinámicas que describan cuantitativamente el comportamiento del sistema. Centrándose en los sistemas farmacológicos, el modelado compartimental a menudo se utiliza para resolver un amplio espectro de problemas relacionados con la distribución de materiales en los sistemas vivos en la investigación, el diagnóstico y la terapia en todo el cuerpo, los órganos y los niveles celulares. En este artículo presentamos la metodología de modelado de Dinámica del Sistema y su aplicación al modelado de un modelo compartimental farmacocinético-farmacodinámico del efecto de profundidad anestésica en pacientes sometidos a intervenciones quirúrgicas, derivando un modelo de simulación en el entorno de simulación orientada a objetos OpenModelica. La Dinamica de Sistemas se puede ver como una herramienta educativa poderosa y fácil de usar y en la enseñanza de Biología de Sistemas.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Aspectos bioéticos relacionados con la política energética de América Latina

Este artículo relaciona los aspectos bioéticos de la protección, la justicia como equidad y el principiode responsabilidad con las cuestiones estratégicas de la política energética de América Latina. De dicharelación surge una serie de lineamientos de apoyo a las decisiones del sector energético de la región. Lapropuesta ética de la protección se relaciona con las cuestiones energéticas en la accesibilidad a serviciosenergéticos modernos para superar las condiciones de pobreza energética y por acceso. La justicia comoequidad se relaciona con la fijación de esquemas tarifarios progresivos, la protección del capital naturalcrítico y la explotación sostenible de los recursos energéticos. El principio de responsabilidad se relacionacon las estrategias de eficiencia energética, las estrategias de moderación en el consumo de energía y lareducción de la pobreza