Filters








242 Hits in 3.7 sec

The pragmatic oddity in norm-based deontic logics

Xavier Parent, Leendert van der Torre
2017 Proceedings of the 16th edition of the International Conference on Articial Intelligence and Law - ICAIL '17  
CCS CONCEPTS •Theory of computation → Logic; •Computing methodologies → Knowledge representation and reasoning; •Applied computing → Law; KEYWORDS Normative reasoning, norm-based deontic logic, deontic  ...  The pragmatic oddity in norm-based deontic logics.  ...  ACKNOWLEDGMENTS The authors would like to thank the anonymous referees for their comments.  ... 
doi:10.1145/3086512.3086529 dblp:conf/icail/ParentT17 fatcat:wtf5d5hmczdhfnqvuasl7sv3su

Multiagent Deontic Logic and its Challenges from a Normative Systems Perspective

Gabriella Pigozzi, Leendert W. N. van der Torre
2017 IfColog journal of logics and their applications (FLAP)  
Fifteen challenges for multiagent deontic logic are considered, even though such list is by no means final. The three central concepts in these challenges are preference, agency, and norms.  ...  of several challenges studied in deontic logic, with an emphasis on problems of multiagent deontic logic and problems related to normative systems.  ...  They illustrate challenges for normative reasoning with deontic dilemmas, contrary-to-duty reasoning, defeasible obligations, rea-soning by cases, deontic detachment, prioritised obligations, and combinations  ... 
dblp:journals/flap/PigozziT17a fatcat:7z52lqgoxnaqnmxqu3uqmthnja

Combining Constitutive and Regulative Norms in Input/Output Logic [chapter]

Xin Sun, Leendert van der Torre
2014 Lecture Notes in Computer Science  
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.  ...  These explanations in the labels can be used for norm change, interpretation or defeasible argumentation.  ...  For example, Parent and van der Torre [21] argue for a new form of deontic detachment, called aggregative deontic detachment.  ... 
doi:10.1007/978-3-319-08615-6_18 fatcat:pc6fnjaxznaqhovnpdkqzbc5vi

Soft Deontic Logic [chapter]

Txetxu Ausín, Lorenzo Peña
2011 Studies in Fuzziness and Soft Computing  
Thus, we can say that deontic logic is the theory of valid inference rules, that is, the analysis of the conditions and rules in which reasoning including qualifications of prohibition, duty, or permission  ...  For example, if it is an obligation to vote for any political party, then is it allowed? If I have the right to move across the European Union, are prohibited to impede me?  ...  This kind of conditional norms are really abundant in normative systems and demands a proper rule of deontic detachment: How can we take seriously a conditional obligation if it cannot, by way of detachment  ... 
doi:10.1007/978-3-642-24672-2_8 fatcat:et33dcvoundnnaa5pijfpxhb7m

A Deontic Logic Framework Allowing for Factual Detachment [chapter]

Christian Straßer
2013 Trends in Logic  
allowing for factual detachment.  ...  Due to the fact that a large number of our ethical and behavioural norms have a conditional form, it is of great importance that deontic logics give an account of deontic commitments of the form "A commits  ...  This can be proven analogous to the way completeness and correctness was proven in [5] for CDPM.2c.  ... 
doi:10.1007/978-3-319-00792-2_12 fatcat:2gjj5uakhbf4dp3745bjfzckl4

A deontic logic framework allowing for factual detachment

Christian Straßer
2011 Journal of Applied Logic  
allowing for factual detachment.  ...  Due to the fact that a large number of our ethical and behavioural norms have a conditional form, it is of great importance that deontic logics give an account of deontic commitments of the form "A commits  ...  This can be proven analogous to the way completeness and correctness was proven in [5] for CDPM.2c.  ... 
doi:10.1016/j.jal.2010.11.001 fatcat:6k7ydvodn5fv3etr5aht43zxku

A Kelsenian Deontic Logic [chapter]

Agata Ciabattoni, Xavier Parent, Giovanni Sartor
2021 Frontiers in Artificial Intelligence and Applications  
We provide a logic for normative causality, define non-contextual and contextual notions of illicit and duty, and show that the logic of such duties is well-behaved and solves the main deontic paradoxes  ...  Inspired by Kelsen's view that norms establish causal-like connections between facts and sanctions, we develop a deontic logic in which a proposition is obligatory iff its complement causes a violation  ...  ntextual version of deontic detachment, with O(A → B) replaced by O(N,A) B, does ld either. For a counter-example, let N = {¬a ⇒ v1 , a ∧ ¬b ⇒ v2 }.  ... 
doi:10.3233/faia210330 fatcat:oy7vj7z63rgurjnlqvyubav3hm

A structured argumentation framework for detaching conditional obligations [article]

Mathieu Beirlaen, Christian Straßer
2016 arXiv   pre-print
Given a set of facts, constraints, and conditional obligations, we answer the question whether an unconditional obligation is detachable by considering reasons for and against its detachment.  ...  We present a general formal argumentation system for dealing with the detachment of conditional obligations.  ...  The resulting systems, like DAF, allow for versions of the factual and deontic detachment rules. Moreover, they allow for the representation of permissive norms.  ... 
arXiv:1606.00339v1 fatcat:kua325ygtjfo7he7rmjvgkh2aa

Normative Reasoning and Consequence

Jan Broersen, Stephen Cranefield, Yehia Elrakaiby, Dov Gabbay, Davide Grossi, Emiliano Lorini, Xavier Parent, Leendert W. N. Van Der Torre, Luca Tummolini, Paolo Turrini, François Schwarzentruber, Marc Herbstritt
2013 Dagstuhl Publications  
In this chapter we first provide a general introduction to the research area methodology and relevance, then we discuss normative reasoning for multi-agent systems, and finally we discuss current research  ...  To emphasize this broadness, we typically refer to "deontic logic and normative systems" rather than deontic logic only.  ...  His iterative detachment approach and alternative candidates for a new standard represent the norms explicitly.  ... 
doi:10.4230/dfu.vol4.12111.33 dblp:conf/dagstuhl/BroersenCEGGLPTTTS13 fatcat:nnmadfn5f5fizgskvjwly3cnce

Towards compliance checking in reified I/O logic via SHACL

Livio Robaldo
2021 Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law  
So far, the research in reified I/O logic has focused only on KR issues, specifically on how to use the formalism for representing contextual meaning of norms (see [28] ).  ...  This paper investigates how to model reified I/O logic formulae in Shapes Constraint Language (SHACL) [2], a recent W3C recommendation for validating and reasoning with RDFs/OWL.  ...  Most past literature in I/O logic has focused on deontic reasoning, and, recently, normative reasoning [15] .  ... 
doi:10.1145/3462757.3466065 fatcat:i5dvhdjmpbc7zo3yleeexvvrvq

"Sing and Dance!" [chapter]

Xavier Parent, Leendert van der Torre
2014 Lecture Notes in Computer Science  
Second, we show how to inject a new (as we call it, "aggregative") form of cumulative transitivity, which we think is more suitable for normative reasoning.  ...  The meaning of the normative concepts is, then, given in terms of a set of procedures yielding outputs for inputs.  ...  We thank two anonymous reviewers for valuable comments.  ... 
doi:10.1007/978-3-319-08615-6_12 fatcat:4fpkg246czaytgpg6wiyus3woe

Contrary-to-Duty Scenarios, Deontic Dilemmas, and Transmission Principles

Benjamin Kiesewetter
2018 Ethics: An International Journal of Social, Political, and Legal Philosophy  
In an earlier article, I have argued, contrary to actualism, that the notion of 'ought' that figures in conclusions of practical deliberation does not allow for deontic dilemmas and validates the transmission  ...  Actualists hold that contrary-to-duty scenarios give rise to deontic dilemmas and provide counterexamples to the transmission principle, according to which we ought to take the necessary means to actions  ...  reason, and which are thus dependent reasons, allow for aggregation.  ... 
doi:10.1086/698734 fatcat:iazb2w4d7zealllm4fr2cyqmeq

How to Build Input/Output Logic [chapter]

Xin Sun
2014 Lecture Notes in Computer Science  
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 input/output logic involving rules of cumulative transitivity and present new completeness proofs.  ...  Aggregative input/output logic Parent and van der Torre [23] introduce aggregative input/output logic based on the following ideas: on one hand, deontic detachment or cumulative transitivity is fully  ... 
doi:10.1007/978-3-319-09764-0_8 fatcat:ikodtlzttjevrkmamog5or5efm

Sequent-Based Argumentation for Normative Reasoning [chapter]

Christian Straßer, Ofer Arieli
2014 Lecture Notes in Computer Science  
In this paper we present an argumentative approach to normative reasoning. Special attention is paid to deontic conflicts, contraryto-duty and specificity cases.  ...  For this, we adopt a recently proposed framework for logical argumentation in which arguments are generated by a sequent calculus of a given base logic (see [1]), and use standard deontic logic as our  ...  Allowing for unrestricted factual detachment or unrestricted aggregation is problematic in cases of normative conflicts [2] .  ... 
doi:10.1007/978-3-319-08615-6_17 fatcat:kjsfh6z2zjbkflp4gbn2duquf4

Normative reasoning by sequent-based argumentation

Christian Straßer, Ofer Arieli
2015 Journal of Logic and Computation  
, such as reasoning with maximally consistent sets, prioritized norms, and deontic formalisms based on I/O logic.  ...  In this paper we present an argumentative approach to normative reasoning.  ...  Allowing for unrestricted factual detachment or unrestricted aggregation is problematic in cases of normative conflicts [2, 25] .  ... 
doi:10.1093/logcom/exv050 fatcat:7yy7ea7yujepvbfcaxg53cxfrq
« Previous Showing results 1 — 15 out of 242 results