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

Towards Formal Interaction-Based Models of Grid Computing Infrastructures

Grid computing (GC) systems are large-scale virtual machines, built upon a massive pool of resources (processing time, storage, software) that often span multiple distributed domains. Concurrent users interact with the grid by adding new tasks; the grid is expected to assign resources to tasks in a fair, trustworthy way. These distinctive features of GC systems make their specification and verification a challenging issue. Although prior works have proposed formal approaches to the specification of GC systems, a precise account of the interaction model which underlies resource sharing has not been yet proposed. In this paper, we describe ongoing work aimed at filling in this gap. Our approach relies on (higher-order) process calculi: these core languages for concurrency offer a compositional framework in which GC systems can be precisely described and potentially reasoned about.Comment: In Proceedings DCM 2013, arXiv:1403.768

Chargino Production at LEP2 in a Supergravity Model

In the framework of a particular supergravity model which provides a natural solution to the $\mu$--problem we show how the discovery of a chargino at LEP2 and the measurement of its mass and production cross--section, together with the measurement of the mass of the lightest neutralino, would determine the entire Higgs and SUSY spectrum. We give detailed predictions for the Higgs and SUSY spectrum as a function of the chargino production cross--section, for constant values of the lightest chargino and gluino masses.Comment: 11 pages, latex, 4 figures uufile

The Philosophy of Chemistry as an Epistemological Reference in the Construction of a ‘Nature of Science’ for Chemistry Teacher Education

En este trabajo pretendemos abordar la pregunta de qué referencia(s) epistemológica(s) puede(n) constituir la base para construir una imagen de la química y de los químicos que se adecue a los desarrollos actuales de la filosofía de la ciencia y al requerimiento contemporáneo de conseguir una educación científica de calidad para todos. Partiendo de la literatura acerca de la naturaleza de la ciencia, sostenemos la idea de que, si bien se pueden identificar algunos referentes epistemológicos generales, parece emerger la reciente filosofía de la química como un referente epistemológico que puede considerarse fructífero para la actual didáctica de la química. Este referente podría considerarse novedoso y a la vez cercano a la contemporánea “concepción semántica de las teorías científicas”.In this paper we intend to address the question of which epistemological reference(s) can constitute the basis to construct an image of chemistry and chemists that fits current developments in the philosophy of science and the contemporary requirement to achieve a quality science education for all. Based on the literature about the nature of science, we adhere to the idea that, although some general epistemological references can be identified, there also seems to emerge the recent philosophy of chemistry as an epistemological referent that can be considered fruitful for current didactics of chemistry. This reference could be considered new and at the same time close to the contemporary “semantic conception of scientific theories”.peerReviewe

Responsabilidad social en las organizaciones públicas: la omisión al cumplimiento de responsabilidades de los servidores públicos en México, el caso de los legisladores.

Este artículo plantea a través de una investigación teórica, lo que acontece en la actividad legislativa de los diputados en México, quienes en el ejercicio de su función, pasan a la inactividad legislativa, es decir, dejan de actuar como se espera, de acuerdo con la responsabilidad que la ley les atribuye. Nos referimos a la comisión de responsabilidad por omisión. Los diputados, de acuerdo con sus responsabilidades debe crear leyes, pero ellos no las realizan o lo hacen de manera insuficiente, faltando con esto a sus responsabilidades como servidores públicos. El artículo inicia planteando cuál es el deber ser del servidor dentro del servicio público, posteriormente acerca al lector a un marco teórico del servicio público en México, así como la relación de estos conceptos con la corrupción, término que incluye la responsabilidad política, y el ejercicio de la función legislativa como pauta de acción de los legisladores. La incidencia en actos como la omisión de los servidores públicos, se ha discutido desde la perspectiva jurídica, sin embargo, no ha sido suficiente para subsanar la falta de legislación, dentro de las responsabilidades de los diputados esta la de legislar, es decir, crear leyes, cuando los legisladores incumplen con esta obligación, dejan en desprotección a sectores sociales por falta de leyes que los protejan o los regulen, con esto se provocan muchas de las lagunas legislativas que se tiene en el marco jurídico nacional, lo cual se origina en esta falta legislativa llamada omisión

Arc Stability Characterization of Double Coated Electrodes for Hardfacing

The aim of this work is to establish the influence of the relative position of the alloy charge C-Cr-Mn in the structure of the coating of rutile electrodes for hardfacing, on the operational behavior (arc stability). For this, three variants of electrodes with similar chemical composition are elaborated in the metallic core and the coating, differentiating only in the relative position that occupies the alloy charge (C-Cr-Mn) in the structure of the coating: internal, external and homogeneous. For the development of the research, a completely random design is used. The operative characterization of the electrodes is performed in terms of the arc stability. In conclusion, it can be seen that the position of the alloy load influences the operation behavior (stability of the arc). The variant of internal alloy charge in the coating presents the better arc stability performance

Reseña. Negociación, lágrimas y maldiciones. La fiscalidad extraordinaria en la monarquía hispánica, 1620-1814. Guillermina Del Valle Pavón (coord.), México, Instituto Mora, 2020.

Reseñar una publicación colectiva no es tarea fácil, pues casi siempre el texto colectivo carece de la consistencia argumentativa y el equilibrio expositivo que caracterizan a un libro de autor. Sin embargo, el volumen coordinado por Guillermina del Valle es una notable excepción, porque reúne un conjunto de estudios de caso con preguntas y preocupaciones similares acerca de los donativos y préstamos que fueron concedidos a la monarquía española del siglo XVII al XIX. El libro está conformado por ocho capítulos, tres de los cuales están dedicados a Nueva España, dos al Río de la Plata y los otros tres a España, Perú y el Nuevo Reino de Granada. El siglo XVII recibió cuatro capítulos, dos estudian el XVIII y los otros dos alcanzan el siglo XIX