Answer Set Planning Under Action Costs

Recently, planning based on answer set programming has been proposed as an approach towards realizing declarative planning systems. In this paper, we present the language Kc, which extends the declarative planning language K by action costs. Kc provides the notion of admissible and optimal plans, which are plans whose overall action costs are within a given limit resp. minimum over all plans (i.e., cheapest plans). As we demonstrate, this novel language allows for expressing some nontrivial planning tasks in a declarative way. Furthermore, it can be utilized for representing planning problems under other optimality criteria, such as computing ``shortest'' plans (with the least number of steps), and refinement combinations of cheapest and fastest plans. We study complexity aspects of the language Kc and provide a transformation to logic programs, such that planning problems are solved via answer set programming. Furthermore, we report experimental results on selected problems. Our experience is encouraging that answer set planning may be a valuable approach to expressive planning systems in which intricate planning problems can be naturally specified and solved

Exchange-Repairs: Managing Inconsistency in Data Exchange

In a data exchange setting with target constraints, it is often the case that a given source instance has no solutions. In such cases, the semantics of target queries trivialize. The aim of this paper is to introduce and explore a new framework that gives meaningful semantics in such cases by using the notion of exchange-repairs. Informally, an exchange-repair of a source instance is another source instance that differs minimally from the first, but has a solution. Exchange-repairs give rise to a natural notion of exchange-repair certain answers (XR-certain answers) for target queries. We show that for schema mappings specified by source-to-target GAV dependencies and target equality-generating dependencies (egds), the XR-certain answers of a target conjunctive query can be rewritten as the consistent answers (in the sense of standard database repairs) of a union of conjunctive queries over the source schema with respect to a set of egds over the source schema, making it possible to use a consistent query-answering system to compute XR-certain answers in data exchange. We then examine the general case of schema mappings specified by source-to-target GLAV constraints, a weakly acyclic set of target tgds and a set of target egds. The main result asserts that, for such settings, the XR-certain answers of conjunctive queries can be rewritten as the certain answers of a union of conjunctive queries with respect to the stable models of a disjunctive logic program over a suitable expansion of the source schema.Comment: 29 pages, 13 figures, submitted to the Journal on Data Semantic

Complexity transitions in global algorithms for sparse linear systems over finite fields

We study the computational complexity of a very basic problem, namely that of finding solutions to a very large set of random linear equations in a finite Galois Field modulo q. Using tools from statistical mechanics we are able to identify phase transitions in the structure of the solution space and to connect them to changes in performance of a global algorithm, namely Gaussian elimination. Crossing phase boundaries produces a dramatic increase in memory and CPU requirements necessary to the algorithms. In turn, this causes the saturation of the upper bounds for the running time. We illustrate the results on the specific problem of integer factorization, which is of central interest for deciphering messages encrypted with the RSA cryptosystem.Comment: 23 pages, 8 figure

Medical symptoms associated with tobacco smoking with and without marijuana abuse among crack cocaine-dependent patients.

Despite the widespread use of tobacco and marijuana by cocaine abusers, it remains unclear whether combined tobacco and marijuana smoking is more harmful than tobacco smoking alone in cocaine abusers. We investigated the differences in medical symptoms reported among 34 crack cocaine abusers who did not smoke tobacco or marijuana (C), 86 crack cocaine abusers who also smoked tobacco (C + T), and 48 crack abusers who smoked both tobacco and marijuana (C + T + M). Medical symptoms were recorded using a 134-item self-report instrument (MILCOM), and drug use was assessed using the Addiction Severity Index (ASI). After controlling for clinical and demographic differences, the C + T + M group reported significantly more total symptoms on the MILCOM as well as on the respiratory, digestive, general, and nose/throat subscales than the C + T or C groups. The C + T group reported higher total and respiratory and nose/throat symptoms than the C group. HOwever, the C group had the highest number of mood symptoms among the three groups. The C + T and C + T + M groups were comparable in number of cigarettes smoked and ASI scores. Although tobacco smoking is associated with higher reports of medical problems in crack abusers, smoking both marijuana and tobacco seems to be associated with greater medical problems than smoking tobacco alone. Tobacco smoking was not related to changes in cocaine use. Also, marijuana smoking does not appear to be associated with a reduction in tobacco or cocaine use

Critical Line in Random Threshold Networks with Inhomogeneous Thresholds

We calculate analytically the critical connectivity $K_c$ of Random Threshold Networks (RTN) for homogeneous and inhomogeneous thresholds, and confirm the results by numerical simulations. We find a super-linear increase of $K_c$ with the (average) absolute threshold $|h|$, which approaches $K_c(|h|) \sim h^2/(2\ln{|h|})$ for large $|h|$, and show that this asymptotic scaling is universal for RTN with Poissonian distributed connectivity and threshold distributions with a variance that grows slower than $h^2$. Interestingly, we find that inhomogeneous distribution of thresholds leads to increased propagation of perturbations for sparsely connected networks, while for densely connected networks damage is reduced; the cross-over point yields a novel, characteristic connectivity $K_d$, that has no counterpart in Boolean networks. Last, local correlations between node thresholds and in-degree are introduced. Here, numerical simulations show that even weak (anti-)correlations can lead to a transition from ordered to chaotic dynamics, and vice versa. It is shown that the naive mean-field assumption typical for the annealed approximation leads to false predictions in this case, since correlations between thresholds and out-degree that emerge as a side-effect strongly modify damage propagation behavior.Comment: 18 figures, 17 pages revte

Two-color ionization of hydrogen by short intense pulses

Photoelectron energy spectra resulting by the interaction of hydrogen with two short pulses having carrier frequencies, respectively, in the range of the infrared and XUV regions have been calculated. The effects of the pulse duration and timing of the X-ray pulse on the photoelectron energy spectra are discussed. Analysis of the spectra obtained for very long pulses show that certain features may be explained in terms of quantum interferences in the time domain. It is found that, depending on the duration of the X-ray pulse, ripples in the energy spectra separated by the infrared photon energy may appear. Moreover, the temporal shape of the low frequency radiation field may be inferred by the breadth of the photoelectron energy spectra.Comment: 12 pages, 8 figure

Disentangling conical intersection and coherent molecular dynamics in methyl bromide with attosecond transient absorption spectroscopy

Attosecond probing of core-level electronic transitions provides a sensitive tool for studying valence molecular dynamics with atomic, state, and charge specificity. In this report, we employ attosecond transient absorption spectroscopy to follow the valence dynamics of strong-field initiated processes in methyl bromide. By probing the 3d core-to-valence transition, we resolve the strong field excitation and ensuing fragmentation of the neutral σ* excited states of methyl bromide. The results provide a clear signature of the non-adiabatic passage of the excited state wavepacket through a conical intersection. We additionally observe competing, strong field initiated processes arising in both the ground state and ionized molecule corresponding to vibrational and spin-orbit motion, respectively. The demonstrated ability to resolve simultaneous dynamics with few-femtosecond resolution presents a clear path forward in the implementation of attosecond XUV spectroscopy as a general tool for probing competing and complex molecular phenomena with unmatched temporal resolution