The philosophical significance of Cox's theorem

Cox's theorem states that, under certain assumptions, any measure of belief is isomorphic to a probability measure. This theorem, although intended as a justification of the subjectivist interpretation of probability theory, is sometimes presented as an argument for more controversial theses. Of particular interest is the thesis that the only coherent means of representing uncertainty is via the probability calculus. In this paper I examine the logical assumptions of Cox's theorem and I show how these impinge on the philosophical conclusions thought to be supported by the theorem. I show that the more controversial thesis is not supported by Cox's theorem. (C) 2003 Elsevier Inc. All rights reserved.

Logic of Violations: A gentzen systems for reasoning with contrary-to-duty obligations

In this paper we present a Gentzen system for reasoning with contrary-to-duty obligations. The intuition behind the system is that a contrary-to-duty is a special kind of normative exception. The logical machinery to formalise this idea is taken from substructural logics and it is based on the definition of a new non-classical connective capturing the notion of reparational obligation. Then the system is tested against well-known contrary-to-duty paradoxes.

DR-NEGOTIATE - A system for automated agent negotiation with defeasible logic-based strategies

This paper reports on a system for automated agent negotiation, based on a formal and executable approach to capture the behavior of parties involved in a negotiation. It uses the JADE agent framework, and its major distinctive feature is the use of declarative negotiation strategies. The negotiation strategies are expressed in a declarative rules language, defeasible logic, and are applied using the implemented system DR-DEVICE. The key ideas and the overall system architecture are described, and a particular negotiation case is presented in detail.

BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic

In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in Defeasible Logic. We argue, in particular, that the introduction of obligations can provide a new reading of the concepts of intention and intentionality. Then we examine the notion of social agent (i.e., an agent where obligations prevail over intentions) and discuss some computational and philosophical issues related to it. We show that the notion of social agent either requires more complex computations or has some philosophical drawbacks.

Interaction between Normative Systems and Cognitive Agents in Temporal Modal Defeasible Logic

While some recent frameworks on cognitive agents addressed the combination of mental attitudes with deontic concepts, they commonly ignore the representation of time. An exception is [1]that manages also some temporal aspects both with respect to cognition and normative provisions. We propose in this paper an extension of the logic presented in [1]with temporal intervals.

Experimental study of the quantum driven pendulum and its classical analog in atom optics

We present experimental results for the dynamics of cold atoms in a far detuned amplitude-modulated optical standing wave. Phase-space resonances constitute distinct peaks in the atomic momentum distribution containing up to 65% of all atoms resulting from a mixed quantum chaotic phase space. We characterize the atomic behavior in classical and quantum regimes and we present the applicable quantum and classical theory, which we have developed and refined. We show experimental proof that the size and the position of the resonances in phase space can be controlled by varying several parameters, such as the modulation frequency, the scaled well depth, the modulation amplitude, and the scaled Planck’s constant of the system. We have found a surprising stability against amplitude noise. We present methods to accurately control the momentum of an ensemble of atoms using these phase-space resonances which could be used for efficient phase-space state preparation.

Trace Semantics for the Owicki-Gries Theory Integrated with the Progress Logic from UNITY

The theory of Owicki and Gries has been used as a platform for safety-based verifcation and derivation of concurrent programs. It has also been integrated with the progress logic of UNITY which has allowed newer techniques of progress-based verifcation and derivation to be developed. However, a theoretical basis for the integrated theory has thus far been missing. In this paper, we provide a theoretical background for the logic of Owicki and Gries integrated with the logic of progress from UNITY. An operational semantics for the new framework is provided which is used to prove soundness of the progress logic.

Quantum mechanics as an approximation to classical mechanics in Hilbert space

Classical mechanics is formulated in complex Hilbert space with the introduction of a commutative product of operators, an antisymmetric bracket and a quasidensity operator that is not positive definite. These are analogues of the star product, the Moyal bracket, and the Wigner function in the phase space formulation of quantum mechanics. Quantum mechanics is then viewed as a limiting form of classical mechanics, as Planck's constant approaches zero, rather than the other way around. The forms of semiquantum approximations to classical mechanics, analogous to semiclassical approximations to quantum mechanics, are indicated.

A Logic Framework of Normative-based Contract Management

We explore of the feasibility of the computationally oriented institutional agency framework proposed by Governatori and Rotolo testing it against an industrial strength scenario. In particular we show how to encode in defeasible logic the dispute resolution policy described in Article 67 of FIDIC.

Contextual Deliberation of Cognitive Agents 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 structure of quantum Lie algebras for the classical series, B-l, C-l and D-l

The structure constants of quantum Lie algebras depend on a quantum deformation parameter q and they reduce to the classical structure constants of a Lie algebra at q = 1. We explain the relationship between the structure constants of quantum Lie algebras and quantum Clebsch-Gordan coefficients for adjoint x adjoint --> adjoint We present a practical method for the determination of these quantum Clebsch-Gordan coefficients and are thus able to give explicit expressions for the structure constants of the quantum Lie algebras associated to the classical Lie algebras B-l, C-l and D-l. In the quantum case the structure constants of the Cartan subalgebra are non-zero and we observe that they are determined in terms of the simple quantum roots. We introduce an invariant Killing form on the quantum Lie algebras and find that it takes values which are simple q-deformations of the classical ones.

Classical and quantum noise in electronic systems

We review the description of noise in electronic circuits in terms of electron transport. The Poisson process is used as a unifying principle. In recent years, much attention has been given to current noise in light-emitting diodes and laser diodes. In these devices, random events associated with electron transport are correlated with photon emission times, thus modifying both the current statistics and the statistics of the emitted light. We give a review of experiments in this area with special emphasis on the ability of such devices to produce subshot-noise currents and light beams. Finally we consider the noise properties of a class of mesoscopic devices based on the quantum tunnelling of an electron into and out of a bound state. We present a simple quantum model of this process which confirms that the current noise in such a device should be subshot-noise.

The contribution of classical (beta(1/2)-) and atypical beta-adrenoceptors to the stimulation of human white adipocyte lipolysis and right atrial appendage contraction by novel beta(3)-adrenoceptor agonists of differing selectivities

The role of beta(3)- and other putative atypical beta-adrenaceptors in human white adipocytes and right atrial appendage has been investigated using CGP 12177 and novel phenylethanolamine and aryloxypropanolamine beta(3)-adrenoceptor (beta(3)AR) agonists with varying intrinsic activities and selectivities for human cloned PAR subtypes. The ability to demonstrate beta(1/2)AR antagonist-insensitive (beta(3) or other atypical beta AR-mediated) responses to CGP 12177 was critically dependent on the albumin batch used to prepare and incubate the adipocytes. Four aryloxypropanolamine selective beta(3)AR agonists (SB-226552, SB-229432, SB-236923, SB-246982) consistently elicited beta(1/2)AR antagonist-insensitive lipolysis. However, a phenylethanolamine (SB-220646) that was a selective full beta(3)AR agonist elicited full lipolytic and inotropic responses that were sensitive to beta(1/2)AR antagonism, despite it having very low efficacies at cloned beta(1)- and beta(2)ARs. A component of the response to another phenylethanolamine selective beta(3)AR agonist (SB-215691) was insensitive to beta(1/2)AR antagonism in some experiments. Because novel aryloxypropanolamine had a beta(1/2)AR antagonist-insensitive inotropic effect, these results establish more firmly that beta(3)ARs mediate lipolysis in human white adipocytes, and suggest that putative 'beta(4)ARs' mediate inotropic responses to CGP 12177. The results also illustrate the difficulty of predicting from studies on cloned beta ARs which beta ARs will mediate responses to agonists in tissues that have a high number of beta(1)- and beta(2)ARs or a low number of beta(3)ARs.

Novel solitons in parametric amplifiers and atom lasers

We review recent developments in quantum and classical soliton theory, leading to the possibility of observing both classical and quantum parametric solitons in higher-dimensional environments. In particular, we consider the theory of three bosonic fields interacting via both parametric (cubic) and quartic couplings. In the case of photonic fields in a nonlinear optical medium this corresponds to the process of sum frequency generation (via chi((2)) nonlinearity) modified by the chi((3)) nonlinearity. Potential applications include an ultrafast photonic AND-gate. The simplest quantum solitons or energy eigenstates (bound-state solutions) of the interacting field Hamiltonian are obtained exactly in three space dimensions. They have a point-like structure-even though the corresponding classical theory is nonsingular. We show that the solutions can be regularized with the imposition of a momentum cut-off on the nonlinear couplings. The case of three-dimensional matter-wave solitons in coupled atomic/molecular Bose-Einstein condensates is discussed.

Quantum and classical chaos for a single trapped ion

In this paper we investigate the quantum and classical dynamics of a single trapped ion subject to nonlinear kicks derived from a periodic sequence of Gaussian laser pulses. We show that the classical system exhibits: diffusive growth in the energy, or heating,'' while quantum mechanics suppresses this heating. This system may be realized in current single trapped-ion experiments with the addition of near-field optics to introduce tightly focused laser pulses into the trap.