Logic and Games of Norms: a Computational Perspective

Doctoral thesis (2016)

Norm Creation in Proposition Control Games

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

Input/Output STIT Logic for Normative Systems

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

Proof theory, semantics and algebra for normative systems

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 ▲]

Boolean Games with Norms

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 ▲]

Stratified action negation for dynamic logic

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

The paradoxes of permission an action based solution

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 ▲]

How to build input/output logic

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

How do pessimistic agents save miners? A STIT based approach.

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

Toward a Linguistic Interpretation of Deontic Paradoxes - Beth-Reichenbach Semantics Approach for a New Analysis of the Miners Scenario

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 ▲]