• Citations Per Year
Learn More
This paper presents a new consequentialist deontic logic in which the relation of preference over sets of possible worlds and the relation of conditional dominance are both transitive. This logic validate the principle that absolute ought can be derived from conditional ought whenever the conditional statement is the agent’s absolute ought. Ought about(More)
In this paper we anatomize input/output logic. We analyze various derivation rules in isolation and define the corresponding semantics. We thus create a toolbox to build input/output logic. We use this toolbox to correct a mistake appeared in the work of applying input/output logic to constitutive norms. We further develop fixed point characterizations for(More)
A linguistic analysis of deontic paradoxes can be used to further develop deontic logic. In this paper we provide a Beth-Reichenbach semantics to analyze deontic paradoxes, and we illustrate it on the single agent decision problem of the miners scenario. We also introduce extensions with reactive arrows and actions, which can be used to give a linguistic(More)
We discuss a family of random fields indexed by a parameter s ∈ R which we call the fractional Gaussian fields, given by FGFs(R) = (−Δ)−s/2W, where W is a white noise on Rd and (−Δ)−s/2 is the fractional Laplacian. These fields can also be parameterized by their Hurst parameter H = s− d/2. In one dimension, examples of FGFs processes include Brownian motion(More)
On the basis of the linked-graph expansion theorem established by one of us, it is shown that the modified F model in a small electric field is related to a two-dimensional nearest-neighbor Ising model in an external magnetic field. Applying this relation to the critical isotherm we get ~5 = 7, and confirm the scaling relation. R~sum~ Sur la base du(More)
  • Bo Yao, Xin Sun
  • Fifth World Congress on Intelligent Control and…
  • 2004
Reliable control of pole placement was presented for linear systems with continuous gain actuator faults. When faults occur, the closed-loop poles of standard system are out of a specified sector region. However, the closed-loop poles of reliable system are still in a specified sector region not only when all actuators are operational, but also when some(More)
We propose a new approach to formalize obligations and permissions from existing legislation. Specifically, we propose to combine two frameworks: Input/Output logic and the logic of prof. J.R. Hobbs. The former is a well-known framework in normative reasoning. The latter is a neo-Davidsonian wide-coverage first order logic for Natural Language Semantics. We(More)