#### Filter Results:

- Full text PDF available (23)

#### Publication Year

2002

2017

- This year (3)
- Last 5 years (27)
- Last 10 years (28)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Xin Sun
- LORI
- 2011

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)

- Xin Sun
- CLIMA
- 2014

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)

- Xin Sun
- 2002

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)

- Gregory F. Lawler, Xin Sun, Wei Wu
- 2016

For N = n(log n) 1 4 , on the ball in Z4 with radius N we construct a ±1 spin model coupled with the wired spanning forests. We show that as n→∞ the spin field has bi-Laplacian Gaussian field on R4 as its scaling limit. For d ≥ 5, the model can be defined on Zd directly without the N -cutoff. The same scaling limit result holds. Our proof is based on… (More)

- Xin Sun, Leon van der Torre
- DEON
- 2014

In this paper we study three semantics to combine constitutive and regulative norms. In the first semantics, called the simple-minded semantics, the output of the constitutive norms are intermediate facts used as input for the regulative norms. The second method is called throughput, and adds the input of the constitutive norms to the intermediate facts.… (More)

- Xin Sun, Bei Shui Liao
- EUMAS/AT
- 2015

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)

- Livio Robaldo, Xin Sun
- 2016

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)