References of "Sun, Xin 50003157"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailReified Input/Output logic - a position paper
Robaldo, Livio UL; Sun, Xin UL

in proceedings of Workshop on Artificial Intelligence for Justice (AI4J), collocated at the 22nd European Conference on Artificial Intelligence (ECAI 2016) (2016)

Detailed reference viewed: 46 (8 UL)
Full Text
Peer Reviewed
See detailNorm Creation in Proposition Control Games
Sun, Xin UL; Robaldo, Livio UL

in Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), Hangzhou, China, April 2-3, 2016. (2016)

Detailed reference viewed: 39 (10 UL)
Full Text
Peer Reviewed
See detailBoolean Game with Prioritized Norms
Sun, Xin UL

in Proceedings of the Fifth International Conference on Logic, Rationality and Interaction (2015, October 28)

In this paper we study boolean game with prioritized norms. Norms distinguish illegal strategies from legal strategies. Notions like legal strategy and legal Nash equilibrium are introduced. Our formal ... [more ▼]

In this paper we study boolean game with prioritized norms. Norms distinguish illegal strategies from legal strategies. Notions like legal strategy and legal Nash equilibrium are introduced. Our formal model is a combination of (weighted) boolean game and so called (prioritized) input/output logic. After formally presenting the model, we use examples to show that non-optimal Nash equilibrium can be avoided by making use of norms.We study various complexity issues related to legal strategy and legal Nash equilibrium. [less ▲]

Detailed reference viewed: 60 (1 UL)
Full Text
Peer Reviewed
See detailComputational Complexity of Input/Output Logic
Sun, Xin UL; Ambrossio, Diego Agustin UL

in Lecture Notes in Computer Science (2015), 9426

Input/output logics are abstract structures designed to represent conditional norms. The complexity of input/output logic has been sparsely developed. In this paper we study the complexity of input/output ... [more ▼]

Input/output logics are abstract structures designed to represent conditional norms. The complexity of input/output logic has been sparsely developed. In this paper we study the complexity of input/output logics. We show that the lower bound of the complexity of the fulfillment problem of 4 input/output logics is coNP, while the upper bound is either coNP or P^NP. [less ▲]

Detailed reference viewed: 67 (6 UL)
Full Text
Peer Reviewed
See detailOn the complexity of input/output logic
Sun, Xin UL; Ambrossio, Diego Agustin UL

in Proceedings of the Fifth International Conference on Logic, Rationality and Interaction (2015)

Detailed reference viewed: 58 (1 UL)
Full Text
Peer Reviewed
See detailBoolean Games with Norms
Sun, Xin UL

in Boolean Games with Norms (2015)

In the present paper we overlay boolean game with norms. Norms distinguish illegal strategies from legal strategies. Two types of legal strategy and legal Nash equilibrium are defined. These two ... [more ▼]

In the present paper we overlay boolean game with norms. Norms distinguish illegal strategies from legal strategies. Two types of legal strategy and legal Nash equilibrium are defined. These two equilibrium are viewed as solution concepts for law abiding agents in norm augmented boolean games. Our formal model is a combination of boolean games and so called input/output logic. We study various complexity issues related to legal strategy and legal Nash equilibrium. [less ▲]

Detailed reference viewed: 23 (2 UL)
Full Text
Peer Reviewed
See detailInput/Output STIT Logic for Normative Systems
Sun, Xin UL

in Proceedings of the 9th International Web Rule Symposium (RuleML) (2015)

Detailed reference viewed: 54 (4 UL)
Full Text
Peer Reviewed
See detailProof theory, semantics and algebra for normative systems
Sun, Xin UL

in Journal of logic and computation (2015)

This paper reports a correspondence between input/output logic and the theory of joining-system, an algebraic approach to normative system. The results have the form: every norm (a; x) is logically ... [more ▼]

This paper reports a correspondence between input/output logic and the theory of joining-system, an algebraic approach to normative system. The results have the form: every norm (a; x) is logically derivable from a set of norms G if and only if it is in the space of norms algebraically generated by G. We present three versions of correspondence: input/output logic and Boolean joining-system, intuitionistic input/output logic and Heyting joining-system, quasi input/output logic and quasi joining-system. The algebraic approach o ers a holistic perspective on normative systems. We use isomorphism and embedding of joining-system to discuss the similarity of normative systems. [less ▲]

Detailed reference viewed: 69 (7 UL)
Full Text
Peer Reviewed
See detailHow do pessimistic agents save miners? A STIT based approach.
Sun, Xin UL; Zohreh, Baniasadi

in 26th BENELUX Conference on Artificial Intelligence(BNAIC) (2014)

Detailed reference viewed: 46 (9 UL)
Full Text
Peer Reviewed
See detailStratified action negation for dynamic logic
Sun, Xin UL; Huimin, Dong

in 26th BENELUX Conference on Artificial Intelligence (BNAIC) (2014)

Detailed reference viewed: 26 (12 UL)
Full Text
Peer Reviewed
See detailSTIT based deontic logics for the miners puzzle
Sun, Xin UL; Zohreh, Baniasadi

in 12th European Conference on Multi-Agent Systems (2014)

Detailed reference viewed: 66 (8 UL)
Full Text
Peer Reviewed
See detailToward a Linguistic Interpretation of Deontic Paradoxes
Sun, Xin UL; Gabbay, Dov UL; Robaldo, Livio UL et al

in 12th International Conference Deontic Logic and Normative Systems (2014)

Detailed reference viewed: 83 (5 UL)
Full Text
Peer Reviewed
See detailThe paradoxes of permission an action based solution
Gabbay, Dov M. UL; Gammaitoni, Loïc UL; Sun, Xin UL

in Journal of Applied Logic (2014), 12(2), 179191

The aim of this article is to construct a deontic logic in which the free choice postulate allow (Ross, 1941) [11] would be consistent and all the implausible result mentioned in (Hanson, in press) [5 ... [more ▼]

The aim of this article is to construct a deontic logic in which the free choice postulate allow (Ross, 1941) [11] would be consistent and all the implausible result mentioned in (Hanson, in press) [5] will be blocked. To achieve this we first developed a new theory of action. Then we build a new deontic logic in which the deontic action operator and the deontic proposition operator are explicitly distinguished. [less ▲]

Detailed reference viewed: 77 (16 UL)
Full Text
Peer Reviewed
See detailToward a Linguistic Interpretation of Deontic Paradoxes - Beth-Reichenbach Semantics Approach for a New Analysis of the Miners Scenario
Gabbay, Dov M. UL; Robaldo, Livio; Sun, Xin UL et al

in Deontic Logic and Normative Systems - 12th International Conference DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings (2014)

. 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 ... [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 interpretation of multi-agent dialogues. [less ▲]

Detailed reference viewed: 45 (3 UL)
Full Text
Peer Reviewed
See detailCombining Regulative and Constitutive Norms in Input/Output Logic
Sun, Xin UL; van der Torre, Leon UL

in 12th International Conference on Deontic Logic and Normative Systems (2014)

Detailed reference viewed: 37 (6 UL)
Full Text
Peer Reviewed
See detailHow to build input/output logic
Sun, Xin UL

in 15th International Workshop on Computational Logic in Multi-Agent Systems (2014)

Detailed reference viewed: 70 (3 UL)
Peer Reviewed
See detailThe deontic dilemma of action negation, and its solution
Sun, Xin UL

Scientific Conference (2014)

Detailed reference viewed: 19 (1 UL)
Full Text
Peer Reviewed
See detailProof theory, Semantics and Algebra for Normative System
Sun, Xin UL

in Logic, Rationality, and Interaction, 4th International workshop (2013)

Detailed reference viewed: 26 (8 UL)
Full Text
Peer Reviewed
See detail"To be or not to be" is not "to kill or not to kill", a logic on action negation
Sun, Xin UL

Scientific Conference (2013)

Detailed reference viewed: 39 (5 UL)