Applications of Intuitionistic Logic in Answer Set Programming

We present some applications of intermediate logics in the field of Answer Set Programming (ASP). A brief, but comprehensive introduction to the answer set semantics, intuitionistic and other intermediate logics is given. Some equivalence notions and their applications are discussed. Some results on intermediate logics are shown, and applied later to prove properties of answer sets. A characterization of answer sets for logic programs with nested expressions is provided in terms of intuitionistic provability, generalizing a recent result given by Pearce. It is known that the answer set semantics for logic programs with nested expressions may select non-minimal models. Minimal models can be very important in some applications, therefore we studied them; in particular we obtain a characterization, in terms of intuitionistic logic, of answer sets which are also minimal models. We show that the logic G3 characterizes the notion of strong equivalence between programs under the semantic induced by these models. Finally we discuss possible applications and consequences of our results. They clearly state interesting links between ASP and intermediate logics, which might bring research in these two areas together.Comment: 30 pages, Under consideration for publication in Theory and Practice of Logic Programmin

A multiobjective approach using consistent rate curves to the calibration of a Gaussian Heath-Jarrow-Morton model

In this paper we propose an alternate calibration algorithm, by using a consistent family of yield curves, that fits a Gaussian Heath-Jarrow-Morton model jointly to the implied volatilities of caps and zero-coupon bond prices. The algorithm is capable for finding several Pareto optimal points as is expected for a general nonlinear multicriteria optimization problem. The calibration approach is evaluated in terms of in-sample data fitting as well as stability of parameter estimates. Furthermore, the efficiency is tested against a non-consistent traditional method by using simulated and US market data.HJM models, consistent forward rate curves, multiobjective calibration

On the value of water quality observations for karst model parameterization

If properly applied, karst hydrological models are a valuable tool for karst water resources management. If they are able to reproduce the relevant flow and storage processes of a karst system, they can be used for prediction of water resources availability when climate or land use are expected to change. A common challenge to apply karst simulation models is the limited availability of observations to identify their model parameters. In this study, we quantify the value of information added to parameter estimation when water quality data (NO3 and SO4) is used in addition to discharge observations to estimate the parameters of a process-based karst simulation model at a test site in Southern Spain. We use a three-step procedure (1) to confine an initial sample of 500,000 model parameter sets, (2) to identify alterations of individual model parameters through the confinement, and (3) to quantify the strength of the confinement for each of the model parameters. The last step allows us to quantify the information content of hydrodynamic and water quality observations for model parameter estimation. Our results show that NO3 provides most information to identify the model parameters controlling soil and epikarst dynamics, while discharge observations provide most information about the recharge area and the groundwater dynamics. SO4 mostly contributes to the identification of recharge processes. Looking at different flow states of the system, we also find that information provided by our observations varies over time.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Karst flow system information from shape analysis and numerical modeling of tracer concentration curves

Dye tracing constitute a very valuable tool for investigating the origin of groundwater and delineating flowpaths in karst media, providing direct and quantitative information about the hydraulic properties and solute transport dynamic within a conduit (and/or fracture) dominated system. In this sense, data obtained from 8 single- and multi-injection tracer experiments performed during last years in different carbonate aquifers located in Malaga province (southern Spain) have been re-examined following the numerical solutions provided by a dual process-based approach: advection–dispersion model (ADM) and two-region non-equilibrium model (2RNE). Tracer tests were conducted under different hydrological conditions (high-intermediate-low flow) affecting the aquifers, and the fluorescent substances were injected into sinkholes (5), losing streams (4), karrenfields (1) and dolines (1), while springs commonly served as detection points (manual sampling and eventually field fluorimeters). Flow and transport parameters estimates obtained from the simulation of 13 tracer breakthrough curves (BTCs) provided mixed information on a wide range of hydrogeological behaviors: from well-developed conduit flow paths to flow and storage modalities in a fissured-like systems. The statistical treatment of the analytical and numerical results, jointly to the field observations, has been especially useful for the characterization of the predominant solute transport processes in the studied experimental sites, given the significant deviations that have been eventually found between the shape of the measured and modeled curves (marked skewness, single/multi-pulse geometry, long-tailing effect, etc). These findings will allow for a better understanding of the structure and dynamic of the karst systems investigated and will may help to protect and preserve karst water resources in the region.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech