2,842 research outputs found
Representation results for defeasible logic
The importance of transformations and normal forms in logic programming, and
generally in computer science, is well documented. This paper investigates
transformations and normal forms in the context of Defeasible Logic, a simple
but efficient formalism for nonmonotonic reasoning based on rules and
priorities. The transformations described in this paper have two main benefits:
on one hand they can be used as a theoretical tool that leads to a deeper
understanding of the formalism, and on the other hand they have been used in
the development of an efficient implementation of defeasible logic.Comment: 30 pages, 1 figur
Critical Opalescence in Baryonic QCD Matter
We show that critical opalescence, a clear signature of second-order phase
transition in conventional matter, manifests itself as critical intermittency
in QCD matter produced in experiments with nuclei. This behaviour is revealed
in transverse momentum spectra as a pattern of power laws in factorial moments,
to all orders, associated with baryon production. This phenomenon together with
a similar effect in the isoscalar sector of pions (sigma mode) provide us with
a set of observables associated with the search for the QCD critical point in
experiments with nuclei at high energies.Comment: 7 pages, 1 figur
Recommended from our members
Cyber insurance of information systems: Security and privacy cyber insurance contracts for ICT and helathcare organizations
Nowadays, more-and-more aspects of our daily activities are digitalized. Data and assets in the cyber-space, both for individuals and organizations, must be safeguarded. Thus, the insurance sector must face the challenge of digital transformation in the 5G era with the right set of tools. In this paper, we present CyberSure-an insurance framework for information systems. CyberSure investigates the interplay between certification, risk management, and insurance of cyber processes. It promotes continuous monitoring as the new building block for cyber insurance in order to overcome the current obstacles of identifying in real-time contractual violations by the insured party and receiving early warning notifications prior the violation. Lightweight monitoring modules capture the status of the operating components and send data to the CyberSure backend system which performs the core decision making. Therefore, an insured system is certified dynamically, with the risk and insurance perspectives being evaluated at runtime as the system operation evolves. As new data become available, the risk management and the insurance policies are adjusted and fine-tuned. When an incident occurs, the insurance company possesses adequate information to assess the situation fast, estimate accurately the level of a potential loss, and decrease the required period for compensating the insured customer. The framework is applied in the ICT and healthcare domains, assessing the system of medium-size organizations. GDPR implications are also considered with the overall setting being effective and scalable
Criticality, Fractality and Intermittency in Strong Interactions
Assuming a second-order phase transition for the hadronization process, we
attempt to associate intermittency patterns in high-energy hadronic collisions
to fractal structures in configuration space and corresponding intermittency
indices to the isothermal critical exponent at the transition temperature. In
this approach, the most general multidimensional intermittency pattern,
associated to a second-order phase transition of the strongly interacting
system, is determined, and its relevance to present and future experiments is
discussed.Comment: 15 pages + 2 figures (available on request), CERN-TH.6990/93,
UA/NPPS-5-9
Contextual Agent Deliberation in Defeasible Logic
This article extends Defeasible Logic to deal with the contextual deliberation process of cognitive agents. First, we introduce meta-rules to reason with rules. Meta-rules are rules that have as a consequent rules for motivational components, such as obligations, intentions and desires. In other words, they include nested rules. Second, we introduce explicit preferences among rules. They deal with complex structures where nested rules can be involved
The Fractal Geometry of Critical Systems
We investigate the geometry of a critical system undergoing a second order
thermal phase transition. Using a local description for the dynamics
characterizing the system at the critical point T=Tc, we reveal the formation
of clusters with fractal geometry, where the term cluster is used to describe
regions with a nonvanishing value of the order parameter. We show that,
treating the cluster as an open subsystem of the entire system, new
instanton-like configurations dominate the statistical mechanics of the
cluster. We study the dependence of the resulting fractal dimension on the
embedding dimension and the scaling properties (isothermal critical exponent)
of the system. Taking into account the finite size effects we are able to
calculate the size of the critical cluster in terms of the total size of the
system, the critical temperature and the effective coupling of the long
wavelength interaction at the critical point. We also show that the size of the
cluster has to be identified with the correlation length at criticality.
Finally, within the framework of the mean field approximation, we extend our
local considerations to obtain a global description of the system.Comment: 1 LaTeX file, 4 figures in ps-files. Accepted for publication in
Physical Review
Decoherence, Correlation, and Unstable Quantum States in Semiclassical Cosmology
It is demonstrated that almost any S-matrix of quantum field theory in curved
spaces posses an infinite set of complex poles (or branch cuts). These poles
can be transformed into complex eigenvalues, the corresponding eigenvectors
being Gamow vectors. All this formalism, which is heuristic in ordinary Hilbert
space, becomes a rigorous one within the framework of a properly chosen rigged
Hilbert space. Then complex eigenvalues produce damping or growing factors. It
is known that the growth of entropy, decoherence, and the appearance of
correlations, occur in the universe evolution, but only under a restricted set
of initial conditions. It is proved that the damping factors allow to enlarge
this set up to almost any initial conditions.Comment: 19 pgs. Latex fil
Irreversible Quantum Mechanics in the Neutral K-System
The neutral Kaon system is used to test the quantum theory of resonance
scattering and decay phenomena. The two dimensional Lee-Oehme-Yang theory with
complex Hamiltonian is obtained by truncating the complex basis vector
expansion of the exact theory in Rigged Hilbert space. This can be done for K_1
and K_2 as well as for K_S and K_L, depending upon whether one chooses the
(self-adjoint, semi-bounded) Hamiltonian as commuting or non-commuting with CP.
As an unexpected curiosity one can show that the exact theory (without
truncation) predicts long-time 2 pion decays of the neutral Kaon system even if
the Hamiltonian conserves CP.Comment: 36 pages, 1 PostScript figure include
- …