Filters








36 Hits in 2.8 sec

Law and logic: A review from an argumentation perspective

Henry Prakken, Giovanni Sartor
2015 Artificial Intelligence  
This article reviews legal applications of logic, with a particularly marked concern for logical models of legal argument.  ...  This part of the review has special emphasis on argumentation-based approaches.  ...  For example, [140] have used the ASPIC + framework of [131, 112] to formalize argument schemes for factor-based reasoning.  ... 
doi:10.1016/j.artint.2015.06.005 fatcat:r3qsbixofvgrbhkm4dwpajynu4

Argumentation and Defeasible Reasoning in the Law

Marco Billi, Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
2021 J — Multidisciplinary Scientific Journal  
Different formalisms for defeasible reasoning have been used to represent knowledge and reason in the legal field.  ...  On top of that, two real examples in the legal domain are designed and implemented in ASPIC+ to showcase the benefit of an argumentation approach in real-world domains.  ...  This has led in particular to the development of frameworks for structured argumentation such as ASPIC+ [16] and Carneades [17, 18] , which are partially inspired by the features of legal reasoning.  ... 
doi:10.3390/j4040061 fatcat:kocs47g7uzfhhmey5pwfpztpzq

Some Reflections on Two Current Trends in Formal Argumentation [chapter]

Henry Prakken
2012 Lecture Notes in Computer Science  
In both cases it will be argued that the recently proposed ASPIC + framework for structured argumentation does not suffer from these limitations.  ...  This paper discusses two recent developments in the formal study of argumentation-based inference: work on preference-based abstract argumentation and on classical (deductive) argumentation.  ...  I thank all three reviewers for their many valuable suggestions and one of them in particular for triggering the discussion in footnote 10.  ... 
doi:10.1007/978-3-642-29414-3_14 fatcat:anqb52lwlrfrfaisumgu3dquvu

On the Optimized Utilization of Smart Contracts in DLTs from the Perspective of Legal Representation and Legal Reasoning

Liuwen Yu
2019 International Conference on Legal Knowledge and Information Systems  
legal contracts, and analyzing an extended argumentation framework with rich expressiveness to develop the accuracy and human-readability of smart contracts; the second purpose is to investigate various  ...  existing technologies like Akoma Ntoso and Legal-RuleML, making the legal knowledge and reasoning machine-readable and be linked with the real world; third, to investigate the implementation a mature  ...  the literature on abstract argumentation and lays a foundation for a principle-based approach, the latter one uses the principle-based and axiomatic approach to choose an argumentation semantics for preference  ... 
dblp:conf/jurix/Yu19 fatcat:fwhpz3bkybc73bsvzvdnhbsrqm

Modeling conflicts between legal rules

Tomasz Zurek
2016 Proceedings of the 2016 Federated Conference on Computer Science and Information Systems  
The model is build on the basis of the ASPIC + argument modeling framework.  ...  The main aim of this work is to formalize the mechanism of resolving conflicts between statutory legal rules with a view to implementing them into a legal advisory system.  ...  ASPIC + argumentation framework Since the ASPIC + framework is a very powerful and useful tool for legal argumentation modeling, I am going to build the model of legal rules' conflict resolution on the  ... 
doi:10.15439/2016f272 dblp:conf/fedcsis/Zurek16 fatcat:e5oycdbm6ndxjkapelyfetgyze

Formalising Debates About Law-Making Proposals as Practical Reasoning [chapter]

Henry Prakken
2015 Logic in the Theory and Practice of Lawmaking  
In this paper the ASPIC + framework for argumentation-based inference is used for formally reconstructing two legal debates about law-making proposals: an opinion of a legal scholar on a Dutch legislative  ...  Another aim of the case studies is to provide new benchmark examples for comparing alternative formal frameworks for modelling argumentation.  ...  Conclusions In this paper the ASPIC + framework for argumentation-based inference was used for formally reconstructing two legal debates about law-making proposals: an opinion of a legal scholar on a Dutch  ... 
doi:10.1007/978-3-319-19575-9_11 fatcat:tqqm52s3jfenldumo7fepfo7hm

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)  
of several challenges studied in deontic logic, with an emphasis on problems of multiagent deontic logic and problems related to normative systems.  ...  More information can be found in the handbook on deontic logic and normative systems, or the website http://deonticlogic.org/ In the first paper of the issue, Pigozzi and van der Torre give an overview  ...  Van der Torre and Villata [59] extend their dynamic legal argumentation framework with deontic modalities, and they propose an general framework for legal reasoning based on ASPIC-like argumentation  ... 
dblp:journals/flap/PigozziT17a fatcat:7z52lqgoxnaqnmxqu3uqmthnja

Dialogical Scaffolding for Human and Artificial Agent Reasoning

Sanjay Modgil
2017 International Workshop on Artificial Intelligence and Cognition  
This paper also reviews research in formals models of argumentation based reasoning and dialogue that will underpin applications for scaffolding human and artificial agent reasoning.  ...  This paper proposes use of computational models of argumentation based dialogue for enhancing the quality and scope ('scaffolding') of both human and artificial agent reasoning.  ...  based dialogue for human reasoning.  ... 
dblp:conf/aic/Modgil17 fatcat:sq4surmwwrbyjcpwuz6ux7w464

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.  ...  For the evaluation of arguments in favor of detaching obligations we use a Dung-style argumentation-theoretical semantics.  ...  For instance, the approach in [8] is based on bipolar abstract argumentation frameworks.  ... 
arXiv:1606.00339v1 fatcat:kua325ygtjfo7he7rmjvgkh2aa

An implementation of norm-based agent negotiation

Pieter Dijkstra, Henry Prakken, Kees de Vey Mestdagh
2007 Proceedings of the 11th international conference on Artificial intelligence and law - ICAIL '07  
In this paper, we develop our previous outline of a multi-agent architecture for regulated information exchange in crime investigations.  ...  Furthermore, the agents' negotiation policies are defined and implemented and an implementation of the agent execution cycle is proposed, which will ultimately enable us to field test our model in order  ...  Henry Prakken was also partially supported by the EU under IST-FP6-002307 (ASPIC). Our thanks goes to Matthew South for his help with the ASPIC tool.  ... 
doi:10.1145/1276318.1276350 dblp:conf/icail/DijkstraPM07 fatcat:yoop3vpyofb7xjvqfacilccmee

Enabling Reasoning with LegalRuleML [article]

Ho-Pun Lam, Mustafa Hashmi
2018 arXiv   pre-print
For instance, most of these formalisms do not provide features to capture the behavior of deontic effects, which is an important aspect in automated compliance checking.  ...  This paper presents an approach for transforming legal norms represented using LegalRuleML to a variant of Modal Defeasible Logic (and vice versa) such that a legal statement represented using LegalRuleML  ...  of arguments, and proposed a mapping from ASPIC + to DL.  ... 
arXiv:1711.06128v2 fatcat:hzfdopnu6beo3perephawdx5qu

Combining fuzzy logic and formal argumentation for legal interpretation

Célia da Costa Pereira, Andrea G. B. Tettamanzi, Beishui Liao, Alessandra Malerba, Antonino Rotolo, Leendert van der Torre
2017 Proceedings of the 16th edition of the International Conference on Articial Intelligence and Law - ICAIL '17  
After motivating our adoption of graded categories as a tool to tackle the problem of open texture in legal interpretation, we introduce a model based on fuzzy logic and argumentation.  ...  In this paper we propose a model for arguing about legal interpretation, which considers the problems of vagueness.  ...  : MIning and REasoning with Legal texts.  ... 
doi:10.1145/3086512.3086532 dblp:conf/icail/PereiraTLMRT17 fatcat:mhucjfldyrcntoqm7thtlfisne

Rationality and maximal consistent sets for a fragment of ASPIC + without undercut

Jesse Heyninck, Christian Straßer
2020 Argument & Computation  
In this way we generalize previous similar results for other structured argumentation frameworks and so shed further light on the close relations between assumption-based argumentation and ASPIC + .  ...  Structured argumentation formalisms, such as ASPIC + , offer a formal model of defeasible reasoning.  ...  Acknowledgements We would like to thank the anonymous reviewers of this manuscript for useful comments.  ... 
doi:10.3233/aac-200903 fatcat:np34hizvt5debbzahelteyxr7y

Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362)

Dov M. Gabbay, Massimiliano Giacomin, Beishui Liao, Leendert Van Der Torre, Michael Wagner
2018 Dagstuhl Manifestos  
, legal and ethical argumentation, mathematical and logical reasoning, and graphtheoretic reasoning.  ...  The turning point for the modern stage of formal argumentation theory, much similar to the introduction of possible worlds semantics for the theory of modality, is the framework and language of Dung's  ...  We thank the anonymous reviewers for valuable comments. We have received funding from the European Union's H2020  ... 
doi:10.4230/dagman.7.1.69 dblp:journals/dagstuhl-manifestos/GabbayGLT18 fatcat:g4dtu63a2vfwhp4sr6z74jh2va

Explainability Through Argumentation in Logic Programming

Marco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
2021 International Conference on Logic Programming  
The paper discusses how explainability can be provided through logic programming and argumentation.  ...  In particular, a real case study is considered -the CrossJustice project -together with a ready-to-use technology-namely Arg2P, which seamlessly integrates logic programming and argumentation.  ...  , Advisory and Capacity Building Information Tool for Criminal Procedural Rights in Judicial Cooperation".  ... 
dblp:conf/iclp/BilliCCPSS21 fatcat:c6n5w6i7svaodclq5g5gcvktpm
« Previous Showing results 1 — 15 out of 36 results