References of "Journal of logic and computation"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailPrioritized norms in formal argumentation
Liao, Beishui; Oren, Nir; van der Torre, Leon UL et al

in Journal of Logic and Computation (2018)

To resolve conflicts amongst norms, various non-monotonic formalisms can be used to perform prioritized normative reasoning. Meanwhile, formal argumentation provides a way to represent non-monotonic ... [more ▼]

To resolve conflicts amongst norms, various non-monotonic formalisms can be used to perform prioritized normative reasoning. Meanwhile, formal argumentation provides a way to represent non-monotonic logics. In this paper we propose a representation of prioritized normative reasoning by argumentation. Using hierarchical abstract normative systems (HANS), we define three kinds of prioritized normative reasoning approaches called Greedy, Reduction and Optimization. Then, after formulating an argumentation theory for a HANS, we show that for a totally ordered HANS, Greedy and Reduction can be represented in argumentation by applying the weakest link and the last link principles, respectively, and Optimization can be represented by introducing additional defeats capturing the idea that for each argument that contains a norm not belonging to the maximal obeyable set then this argument should be rejected. [less ▲]

Detailed reference viewed: 36 (1 UL)
Full Text
Peer Reviewed
See detailPreface
Baaz, Matthias; Ciabattoni, Agata; Gabbay, Dov M. UL et al

in Journal of Logic and Computation (2017)

Detailed reference viewed: 24 (7 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: 48 (6 UL)