26 Hits in 4.4 sec

Dialogical Scaffolding for Human and Artificial Agent Reasoning

Sanjay Modgil
2017 International Workshop on Artificial Intelligence and Cognition  
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.  ...  I also refer to recent concerns about the potential dangers of artificial intelligence (AI), and the consequent need to ensure that AI actions are aligned with human values.  ...  Finally, Section 6 concludes the paper. 2 From Non-monotonic Inference to Distributing Non-monotonic Reasoning through Dialogue AI research in the 80s and early 90s saw a proliferation of non-monotonic  ... 
dblp:conf/aic/Modgil17 fatcat:sq4surmwwrbyjcpwuz6ux7w464

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.  ...  Please visit the website for more information and feel free to send us comments, suggestions and proposals: The articles in this special issue and the chapters in the handbook  ...  from non-monotonic logic.  ... 
dblp:journals/flap/PigozziT17a fatcat:7z52lqgoxnaqnmxqu3uqmthnja

A structured argumentation framework for detaching conditional obligations [article]

Mathieu Beirlaen, Christian Straßer
2016 arXiv   pre-print
We illustrate the modularity of the general framework by considering some extensions, and we compare the framework to some related approaches from the literature.  ...  For the evaluation of arguments in favor of detaching obligations we use a Dung-style argumentation-theoretical semantics.  ...  Understood in this way, specificity cases have been studied extensively in the fields of non-monotonic logic (see e.g. [7, 5] ) and deontic logic (see e.g. [4, 27, 30, 31] ).  ... 
arXiv:1606.00339v1 fatcat:kua325ygtjfo7he7rmjvgkh2aa

Non-monotonic Reasoning in Deductive Argumentation [article]

Anthony Hunter
2018 arXiv   pre-print
However, the base logic does not need to be non-monotonic.  ...  Indeed, most proposals for structured argumentation use a monotonic base logic (e.g. some form of modus ponens with a rule-based language, or classical logic).  ...  So our primary aim in this paper is to investigate how non-monotonic reasoning arises in deductive argumentation, and how that differs from logics for non-monotonic reasoning.  ... 
arXiv:1809.00858v1 fatcat:x4psmp2vpbh73gdooxyqosb3pm

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

Jesse Heyninck, Christian Straßer
2020 Argument & Computation  
This generality comes at the price that, in their most general form, formalisms such as ASPIC + do not satisfy important rationality postulates, such as non-interference.  ...  Clearly, for a formal model of defeasible reasoning it is important to understand for which range of parameters the formalism (a) displays a behavior that adheres to common standards of consistency, logical  ...  Acknowledgements We would like to thank the anonymous reviewers of this manuscript for useful comments.  ... 
doi:10.3233/aac-200903 fatcat:np34hizvt5debbzahelteyxr7y

Reasoning With and About Norms in Logical Argumentation [chapter]

Kees Van Berkel, Christian Strasser
2022 Frontiers in Artificial Intelligence and Applications  
Formal argumentation has proven to be a unifying framework for representing nonmonotonic logics.  ...  We prove soundness and completeness between DAC-instantiated argumentation frameworks and constrained Input/Output logics. We illustrate our approach in view of two deontic paradoxes.  ...  An ASPIC + -based approach yields the obligation to p with stable semantics since the argument for p from ( , p) is unchallenged.  ... 
doi:10.3233/faia220164 fatcat:mdol2knwuvamlmqewwdurqxuqm

Prioritized norms in formal argumentation

Beishui Liao, Nir Oren, Leendert van der Torre, Serena Villata
2018 Journal of Logic and Computation  
To resolve conflicts among norms, various nonmonotonic formalisms can be used to perform prioritized normative reasoning.  ...  Meanwhile, formal argumentation provides a way to represent nonmonotonic logics. In this paper, we propose a representation of prioritized normative reasoning by argumentation.  ...  Acknowledgements The authors are grateful to the anonymous reviewers for their helpful comments. The research reported in this  ... 
doi:10.1093/logcom/exy009 fatcat:lyehut5z3neu7fkusz3mbryjve

Enabling Reasoning with LegalRuleML [article]

Ho-Pun Lam, Mustafa Hashmi
2018 arXiv   pre-print
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  ...  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.  ...  The Logical Framework Defeasible Logic (DL) (Nute 2001 ) is a rule-based skeptical approach to non-monotonic reasoning.  ... 
arXiv:1711.06128v2 fatcat:hzfdopnu6beo3perephawdx5qu

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  
Now, in modal logic, the introduction of the possible worlds semantics has led to a complete paradigm shift, both in tools and new subjects of studies.  ...  It aims to capture diverse kinds of reasoning and dialogue activities in the presence of uncertainty and conflicting information in a formal and intuitive way, with potential applications ranging from  ...  We have received funding from the European Union's H2020  ... 
doi:10.4230/dagman.7.1.69 dblp:journals/dagstuhl-manifestos/GabbayGLT18 fatcat:g4dtu63a2vfwhp4sr6z74jh2va

Normative reasoning by sequent-based argumentation

Christian Straßer, Ofer Arieli
2015 Journal of Logic and Computation  
and of the two authors in Volume 6 (No. 1) of Argument & Computation), and use standard deontic logic as our base logic.  ...  , such as reasoning with maximally consistent sets, prioritized norms, and deontic formalisms based on I/O logic.  ...  Adaptive deontic logics proceed differently: they take a rather weak core logic as the basis for ampliative defeasible reasoning in which the core logic is defeasibly (i.e., non-monotonically) strengthened  ... 
doi:10.1093/logcom/exv050 fatcat:7yy7ea7yujepvbfcaxg53cxfrq

Sequent-Based Argumentation for Normative Reasoning [chapter]

Christian Straßer, Ofer Arieli
2014 Lecture Notes in Computer Science  
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  ...  In this paper we present an argumentative approach to normative reasoning. Special attention is paid to deontic conflicts, contraryto-duty and specificity cases.  ...  As a consequence, our consequence relations are non-monotonic.  ... 
doi:10.1007/978-3-319-08615-6_17 fatcat:kjsfh6z2zjbkflp4gbn2duquf4

Towards AI Logic for Social Reasoning [article]

Huimin Dong, Réka Markovich, Leendert van der Torre
2021 arXiv   pre-print
In this paper, we discuss how an argumentation-based AI logic could be used also to formalize important aspects of social reasoning.  ...  Fourth, we discuss how to argue about the freedom to act for intelligent agents. Examples from social, legal and ethical reasoning highlight the challenges in developing social AI logic.  ...  In this sense, AI logics are non-monotonic logic [43] .  ... 
arXiv:2110.04452v1 fatcat:2qnco6ytwve4rao2hrfsdcsiju

Theory of Semi-Instantiation in Abstract Argumentation

D. M. Gabbay
2015 Logica Universalis  
As an example of a logic let us take intuitionisitc propositional logic H, with consequence ⊢ H we can have: holds Another example is 3-valued classical propositional logic with the Kleene truth table  ...  Let us ask ourselves a very simple question: Question. What is the added value of abstract argumentation networks over, say, classical propositional logic?  ...  This can also be defined not only for monotonic theories but also for non-monotonic theories which satisfy the restricted monotonicity rule, namely:∆| ∼Φ and ∆ + Φ| ∼Ψ ==> ∆| ∼Ψ.  ... 
doi:10.1007/s11787-015-0133-9 fatcat:5jajxyv4zfeohieuekjmdaawgi

Theory of Semi-Instantiation in Abstract Argumentation [article]

D. M. Gabbay
2015 arXiv   pre-print
We use the method of conceptual analysis to derive the properties of our proposed system.  ...  , for example as Boolean formulas or as predicate logic formulas or as modal logic formulas.  ...  This can also be defined not only for monotonic theories but also for non-monotonic theories which satisfy the restricted monotonicity rule, namely:∆| ∼Φ and ∆ + Φ| ∼Ψ ==> ∆| ∼Ψ.  ... 
arXiv:1504.07020v1 fatcat:pjy25ottufg63jnbuoy73774zm

Sequent-based logical argumentation

Ofer Arieli, Christian Straßer
2015 Argument & Computation  
Altogether, we show that argumentation theory may benefit from incorporating proof theoretical techniques and that different non-classical formalisms may be used for backing up intended argumentation semantics  ...  This framework accommodates different languages and logics in which arguments may be represented, allows for a flexible and simple way of expressing and identifying arguments, supports a variety of attack  ...  • The incorporation of more complex forms of sequents, such as hypersequents (Avron 1987) or nested sequents (Brünnler 2010) , allows to express more sophisticated forms of argumentation, such as argumentation  ... 
doi:10.1080/19462166.2014.1002536 fatcat:yc5uk7je2rbtdhp7ptaifiamtu
« Previous Showing results 1 — 15 out of 26 results