10,201 research outputs found
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 of Random Threshold
Networks (RTN) for homogeneous and inhomogeneous thresholds, and confirm the
results by numerical simulations. We find a super-linear increase of with
the (average) absolute threshold , which approaches for large , and show that this asymptotic scaling is
universal for RTN with Poissonian distributed connectivity and threshold
distributions with a variance that grows slower than . 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 , 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
Recommended from our members
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
- …