Papers by Juan Carlos Nieves
ALIVE: A framework for flexible and adaptive service coordination
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2009
Abstract. There is a large body of research on software services, but the issues of communication... more Abstract. There is a large body of research on software services, but the issues of communication and dynamic reconfiguration have received little attention, as have adaptation to environment and dynamic combination of service building blocks into new applications. Here, we present the approach of the FP7 ALIVE project to the use of formal models of coordination and organisation mechanisms to deliver a flexible, high-level means to describe the structure of interactions between services in the environment. Our aim is to ...
CITATIONS 2 READS 10 3 authors, including: Some of the authors of this publication are also worki... more CITATIONS 2 READS 10 3 authors, including: Some of the authors of this publication are also working on these related projects: Markovian analysis of the sequential behavior of the spontaneous cord dorsum population potentials generated in the spinal cord of the anesthetized cat View project
A logic-based environmental decision support system for the management of horizontal subsurface constructed wetlands
The use of Horizontal Subsurface Constructed Wetlands (HSCWs) for treating wastewaters in small c... more The use of Horizontal Subsurface Constructed Wetlands (HSCWs) for treating wastewaters in small communities has increased in the last years due to HSCW's ecological singularities. Unfortunately, the same singularities that differentiate HSCWs complicate any attempt to develop models and produce generic decision-support systems for them. Classical mathematical and statistical approaches used in other Wastewater Treatment Plants do not properly fit the particularities of HSCW and provide little insight in the domain of HSCW. ...
Harmonization of semantic data models of electric data standards
According to the Electric Power Research Institute (EPRI) a common semantics model is necessary f... more According to the Electric Power Research Institute (EPRI) a common semantics model is necessary for achieving interoperability in the Smart Grid vision. In this paper, we present an outline of two influential International Electrotech-nical Commission Standards (CIM and IEC 61850) for building a common semantic model in a Smart Grid vision. In addition, we revise two representative approaches suggested by EPRI for harmonizing these standards in a common semantic model. The pros and cons between these two approaches are identified and analyzed.
Possibilistic Well-Founded Semantics
Recently, a good set of logic programming semantics has been defined for capturing possibilistic ... more Recently, a good set of logic programming semantics has been defined for capturing possibilistic logic program. Practically all of them follow a credulous reasoning approach. This means that given a possibilistic logic program one can infer a set of possibilistic models. However, sometimes it is desirable to associate just one possibilistic model to a given possibilistic logic program. One of the main implications of having just one model associated to a possibilistic logic program is that one can perform queries directly to a possibilistic program and answering these queries in accordance with this model. In this paper, we introduce an extension of the Well-Founded Semantics, which represents a sceptical reasoning approach, in order to capture possibilistic logic programs. We will show that our new semantics can be considered as an approximation of the possibilistic semantics based on the answer set semantics and the pstable semantic. A relevant feature of the introduced semantics is that it is polynomial time computable.
This work is focus in the following critical questions: How to incorporate modalities in the proc... more This work is focus in the following critical questions: How to incorporate modalities in the process of argumentation reasoning? Is it possible to build arguments faced with incomplete information? Our proposal is based in a specification language which has the following properties: a) it permits to give specifications of modalities in a natural way; b) it defines a process of argumentation reasoning considering modalities; and c) it permits to build arguments from incomplete information.
Interconnected service providers constitute a highly dynamic, complex, distributed environment. M... more Interconnected service providers constitute a highly dynamic, complex, distributed environment. Multi-agent system design-methodologies have been trying to address this kind of environments for a long time. The European project ALIVE presents a framework of three interconnected levels that tackles this issue relying on organisation and coordination techniques, as well as on developments in the Web-services world. This paper presents initial results focused on a high-tech, real use case: interactive community displays with touristic information and services, dynamically personalized according to user preferences and local laws.
Pstable Semantics for Logic Programs with Possibilistic Ordered Disjunction
In this paper we define the semantics for capturing possibilistic ordered disjunction programs ba... more In this paper we define the semantics for capturing possibilistic ordered disjunction programs based on pstable semantics. The pstable semantics, based on paraconsistent logic, allows to treat inconsistency programs. Moreover being closer to possibilistic inference it allows to extend the necessity-values of the clauses to be considered, causing a higher level of comparison at the moment of selecting preferred pstable models of a possibilistic ordered disjunction programs. We compare the possibilistic pstable semantics for ordered disjunction programs with the recently defined possibilistic answer set semantics for the same class of logic programs.
Possibilistic Semantics for Logic Programs with Ordered Disjunction
Logic programs with ordered disjunction (or LPODs) have shown to be a flexible specification lang... more Logic programs with ordered disjunction (or LPODs) have shown to be a flexible specification language able to model and reason about preferences in a natural way. However, in some realistic applications which use user preferences in the reasoning, information can be pervaded with vagueness and a preference-aware reasoning process that can handle uncertainty is required. In this paper we address these issues, and we propose a framework which combines LPODs and possibilistic logic to be able to deal with a reasoning process that is preference-aware, non-monotonic, and uncertain. We define a possibilistic semantics for capturing logic programs with possibilistic ordered disjunction (or LPPODs) which is a generalization of the original semantics. Moreover, we present several transformation rules which can be used to optimize LPODs and LPPODs code and we show how the semantics of LPODs and the possibilistic semantics of LPPODs are invariant w.r.t. these transformations.
Following the argumentation framework and semantics proposed by Dung, we are interested in the pr... more Following the argumentation framework and semantics proposed by Dung, we are interested in the problem of deciding which set of acceptable arguments support the decision making in an agent-based platform called CAR-REL. It is an agent-agency which mediates organ transplants. We present two possible ways to infer the stable and preferred extensions of an argumentation framework, one in a declarative way using Answer Set Programming(ASP) and the other one in a procedure way.
In this paper by considering answer set programming approach and some basic ideas from possibilis... more In this paper by considering answer set programming approach and some basic ideas from possibilistic logic, we introduce a possibilistic disjunctive logic programming approach able to deal with reasoning under uncertain and incomplete information. Our approach permits to use explicitly labels like possible, probable, plausible, etc., for capturing the incomplete state of a belief in a disjunctive logic program.
Un enfoque operacional para implementar agentes normativos en sistemas urbanos de aguas residuales
Water quality management policies on a river basin scale are of special importance in order to pr... more Water quality management policies on a river basin scale are of special importance in order to prevent and/or reduce environmental pollution caused by human sources. Industrial effluents are a priority issue particularly in Urban Wastewater Systems (UWS) that receive mixed household and industrial wastewaters, apart from rainfall water. In this paper, we present an analysis and implementation of normative agents that capture concrete regulations of the Catalan pollution-prevention policies.
Una Revisión de las Semánticas de Argumentación
The main purpose of argumentation theory is to study the fundamental mechanisms that humans use i... more The main purpose of argumentation theory is to study the fundamental mechanisms that humans use in argumentation, and to explore ways to implement these mechanisms on computers. During the last years, argumentation has been gaining increasing importance in Computer Science, especially in areas as Artificial Intelligence, e-commerce, Multi-agent Systems and Decision-Making. In this paper, we present a brief overview of abstract argumentation semantics.
Semantica G3'-Estable e Inconsistencia
We present an overview on how to perform non-monotonic reasoning based on paraconsistent logics. ... more We present an overview on how to perform non-monotonic reasoning based on paraconsistent logics. In particular, we show that one can define a logic programming semantics based on the paraconsistent logic G'3 which is called G'3-stable semantics. This semantics defines a frame for performing non-monotonic reasoning in domains which are pervaded with vagueness and inconsistencies.
Abstract Following the argumentation framework and semantics proposed by Dung, we are interested ... more Abstract Following the argumentation framework and semantics proposed by Dung, we are interested in the problem of deciding which set of acceptable arguments support the decision making in an agent-based platform called CARREL. It is an agent-agency which mediates organ transplants. We present two possible ways to infer the stable and preferred extensions of an argumentation framework, one in a declarative way using answer set programming (ASP) and the other one in a procedure way.
Abstract In this paper we describe how a multi agent system (MAS) that supports arguing agents ca... more Abstract In this paper we describe how a multi agent system (MAS) that supports arguing agents can increase the number of human organs for transplantation. We analyze the current human organ selection process to then propose an alternative which allows discarding less human organs that can safely be transplanted. The proposed human organ discarding process is framed in CARREL, an agentbased organization designed to improve the overall transplant process.
Interconnected service providers constitute a highly dynamic, complex, distributed environment. M... more Interconnected service providers constitute a highly dynamic, complex, distributed environment. Multi-agent system design-methodologies have been trying to address this kind of environments for a long time. The European project ALIVE presents a framework of three interconnected levels that tackles this issue relying on organisation and coordination techniques, as well as on developments in the Web-services world.
Argumentation in an experimental Agent-mediated platform–named CARREL—in the field of organ trans... more Argumentation in an experimental Agent-mediated platform–named CARREL—in the field of organ transplantation. Our aim is to introduce the use of Case-Based Reasoning in Argumentation when an extraction team is about to discard an organ to learn about the process and if possible to suggest an alternative assignation. This is an attempt to use technology to lower the level of discarded organs. Index Terms—Argumentation, CARREL, Case Based
We introduce the new paradigm of High-Level Non-Monotonic reasoning (HLNM). This paradigm is the ... more We introduce the new paradigm of High-Level Non-Monotonic reasoning (HLNM). This paradigm is the consolidation of our recent results on disjunctions, sets, explicit and implicit negation, and partial-order clauses. We show how these concepts are integrated in a natural way into the standard logic programming framework. For this purpose, we present several well known examples from the literature that motivate the need of this new paradigm. Finally, we define a declarative semantics for HLNM reasoning.
Abstract In this report we present an extension to CARREL's architecture. CARREL is an agent-base... more Abstract In this report we present an extension to CARREL's architecture. CARREL is an agent-based organization designed to improve the overall transplant process. The proposed extension will enable CARREL agents to reason and deliberate over the viability of a human organ for transplantation. We believe that allowing this deliberation has the potential to augment the organ pool for transplantation and thus, reduce the disparity between demand for, and supply of, human organs for transplantation. 1 introduction
Uploads
Papers by Juan Carlos Nieves