Filters








13,523 Hits in 4.5 sec

Revision and Conditional Inference for Abstract Dialectical Frameworks

Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm
2021 Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning   unpublished
We first define revision operators for abstract dialectical frameworks, and use such revision operators to define dynamic conditionals by means of the Ramsey test.  ...  For propositional beliefs, there are well-established connections between belief revision, defeasible conditionals and nonmonotonic inference.  ...  belief revision, nonmonotonic inference and defeasible conditionals within abstract dialectical argumentation.  ... 
doi:10.24963/kr.2021/33 fatcat:rfi2jimbj5et5agnne5admd3z4

Proceedings of the Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'16) [article]

Sarah A. Gaggl, Matthias Thimm
2016 arXiv   pre-print
This volume contains the thesis abstracts presented at the Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'2016) held on September 8-12 in Potsdam, Germany.  ...  Combining Belief Revision and Abstract Dialectical Framework (ADF) Umer Mushtaq, Faculty of Informatics, Technische Universität Dresden Abstract.  ...  Abstract Argumentation, Belief Revision, Abstract Dialectical Frameworks Overview Belief Revision is the process of determining how a new truth assertion, possibly inconsistent with an existing body  ... 
arXiv:1608.02441v1 fatcat:kknjnshtvnay5orti7e7yb6boa

Inconsistent-tolerant base revision through Argument Theory Change

M. O. Moguillansky, R. Wassermann, M. A. Falappa
2011 Logic Journal of the IGPL  
Argument Theory Change (ATC) encloses the revision operators that modify the AF by analyzing dialectical trees-arguments as nodes and attacks as edges-as the adopted argumentation semantics.  ...  Firstly, by constructing an argumentation framework (AF) from the inconsistent KB, we can decide whether to accept or reject a certain claim through the interplay among arguments and counterarguments.  ...  , where this article was drafted; and finally, the anonymous reviewers for their valuable comments and suggestions on a previous draft of this article.  ... 
doi:10.1093/jigpal/jzr029 fatcat:biua4uop7bdpjbj2s6u26ax3de

Logical models of argument

Carlos Iván Chesñevar, Ana Gabriela Maguitman, Ronald Prescott Loui
2000 ACM Computing Surveys  
real-world applications, and allows more formal work to be done in different areas, such as AI and Law, case-based reasoning and negotiation among intelligent agents.  ...  argumentation from the mid-1980s, when argument systems emerged as an alternative to nonmonotonic formalisms based on classical logic, to the present, as argument is embedded in different complex systems for  ...  ACKNOWLEDGMENTS We want to thank anonymous referees for suggestions and comments that helped to improve the structure of the first version of this paper. Computación (Oct.) Ciencias de la  ... 
doi:10.1145/371578.371581 fatcat:fcifpsaik5hd7diovit5h67p7e

A General Account of Argumentation with Preferences [article]

Sanjay Modgil, Henry Prakken
2018 arXiv   pre-print
We conclude by arguing that ASPIC+'s modelling of defeasible inference rules further testifies to the generality of the framework, and then examine and counter recent critiques of Dung's framework and  ...  This paper builds on the recent ASPIC+ formalism, to develop a general framework for argumentation with preferences.  ...  We first motivate a revised definition of conflict free sets of arguments for ASPIC + , adapt ASPIC + to accommodate a broader range of instantiating logics, and show that the resulting framework satisfies  ... 
arXiv:1804.06763v1 fatcat:nlpmzytzorg3xniuqtts5qtehm

A general account of argumentation with preferences

Sanjay Modgil, Henry Prakken
2013 Artificial Intelligence  
We conclude by arguing that ASPIC + 's modelling of defeasible inference rules further testifies to the generality of the framework, and then examine and counter recent critiques of Dung's framework and  ...  We motivate a revised definition of conflict free sets of arguments, adapt ASPIC + to accommodate a broader range of instantiating logics, and show that under some assumptions, the resulting framework  ...  Acknowledgements We would like to thank the anonymous reviewers, whose comments on earlier versions of this paper have helped to improve the content and presentation of this paper.  ... 
doi:10.1016/j.artint.2012.10.008 fatcat:wa65yv3rsndflelpno5felsygm

Argumentation: Reconciling Human and Automated Reasoning

Antonis C. Kakas, Loizos Michael, Francesca Toni
2016 International Joint Conference on Artificial Intelligence  
We study how using argumentation as an alternative foundation for logic gives a framework in which we can reconcile human and automated reasoning.  ...  We analyse this reconciliation between human and automated reasoning at three levels: (1) at the level of classical, strict reasoning on which, till today, automated reasoning and computing are based,  ...  thus provide a uniform framework for it.  ... 
dblp:conf/ijcai/KakasMT16 fatcat:pd7cusvwszdxpf5gdz4wjib574

Cognitive Systems: Argument and Cognition

Antonis C. Kakas, Loizos Michael
2016 The IEEE intelligent informatics bulletin  
from Cognitive Psychology and of work on computational argumentation from AI can offer a scientifically sound and pragmatic basis for building human-aware cognitive systems for everyday tasks.  ...  THE EMERGING NEED FOR COGNITIVE SYSTEMS T HE ever increasing demand for smart devices with ordinary human-level intelligence, capable of common sense reasoning and attuned to everyday problem solving,  ...  ACKNOWLEDGMENTS We would like to thank our colleagues, Irianna Diakidoy, Bob Kowalski, Hugo Mercier, Rob Miller, Pavlos Moraitis, Nikos Spanoudakis, Francesca Toni, and György Turán, for useful discussions  ... 
dblp:journals/cib/KakasM16 fatcat:weqd5wbhpvh5pbvzzkj3k4wqqm

Approximating operators and semantics for abstract dialectical frameworks

Hannes Strass
2013 Artificial Intelligence  
We use polynomial, faithful and modular translations to relate the formalisms, and our results show that both abstract argumentation frameworks and abstract dialectical frameworks are at most as expressive  ...  We provide a systematic in-depth study of the semantics of abstract dialectical frameworks (ADFs), a recent generalisation of Dung's abstract argumentation frameworks.  ...  The author wishes to thank Gerhard Brewka, Stefan Ellmauthaler and Johannes Peter Wallner for useful discussions and providing (counter-)examples.  ... 
doi:10.1016/j.artint.2013.09.004 fatcat:sbzoknndc5f7jknjshx6x22b2e

Online Handbook of Argumentation for AI: Volume 1 [article]

OHAAI Collaboration: Federico Castagna, Timotheus Kampik, Atefeh Keshavarzi Zafarghandi, Mickaël Lafages, Jack Mumford, Christos T. Rodosthenous, Samy Sá, Stefan Sarkadi, Joseph Singleton, Kenneth Skiba, Andreas Xydis
2020 arXiv   pre-print
This volume contains revised versions of the papers selected for the first volume of the Online Handbook of Argumentation for AI (OHAAI).  ...  The purpose of this handbook is to provide an open access and curated anthology for the argumentation research community.  ...  We owe many thanks to Sanjay Modgil for helping to form the motivation for the handbook, and to Elizabeth Black and Simon Parsons for their advice and guidance that enabled the OHAAI project to come to  ... 
arXiv:2006.12020v1 fatcat:nm44du33f5dhlluueq7srbbvzi

An enhanced graph-oriented approach for change management in distributed biomedical ontologies and linked data

A. Shaban-Nejad, V. Haarslev
2011 2011 IEEE International Conference on Bioinformatics and Biomedicine Workshops (BIBMW)  
In this approach Category theory along with rule-based hierarchical distributed (HD) graph transformation have been employed to propose a more specific semantics for analyzing ontological changes and transformations  ...  between different versions of an ontology, as well as tracking the effects of a change in different levels of abstractions.  ...  In argumentation-based multi-agent systems, a dialectical database tends to improve the speed of inference responses by storing pre-compiled knowledge about potential dialectical trees [18] .  ... 
doi:10.1109/bibmw.2011.6112439 dblp:conf/bibm/Shaban-NejadH11 fatcat:gqbf54slizagxhblqzczfvdule

Dynamics of Knowledge in DeLP through Argument Theory Change [article]

Martín O. Moguillansky, Nicolás D. Rotstein, Marcelo A. Falappa, Alejandro J. García, Guillermo R. Simari
2011 arXiv   pre-print
Argument Theory Change (ATC) studies certain aspects of belief revision in order to make them suitable for abstract argumentation systems.  ...  The objective of our proposal is to define prioritized argument revision operators \'a la ATC for de.l.p.s, in such a way that the newly inserted argument ends up undefeated after the revision, thus warranting  ...  (In abstract argumentation, the logic for arguments and their inner structure is abstracted away.)  ... 
arXiv:1111.6883v1 fatcat:766eazydezbhney7wsgryxbx5q

The New Dialectic

Douglas Walton
1999 ProtoSociology  
Fulbright Program and the Department of Communication Studies of Northwestern University for funding that helped to support the work in this paper.  ...  Acknowledgements I would like to thank Manfred Kienpointer for comments that enabled me to avoid several errors, and helped me to improve the exposition of many points.  ...  The new dialectic is a framework for reasoning that strikes a healthy balance between descriptive empirical research on argumentation and normative or abstract logical methods of setting standards for  ... 
doi:10.5840/protosociology1999136 fatcat:js5xtspjebhozanblrpgeep3mm

Instantiating rule-based defeasible theories in abstract dialectical frameworks and beyond

Hannes Strass
2015 Journal of Logic and Computation  
We present a translation from defeasible theory bases to abstract dialectical frameworks, a recent generalisation of abstract argumentation frameworks.  ...  Furthermore, the frameworks can detect inconsistencies in the set of strict inference rules and cyclic (strict and defeasible) supports amongst literals.  ...  The author is grateful to Gerhard Brewka for informative discussions. He also thanks Leila Amgoud and Martin Caminada for clarifying some aspects of the ASPIC framework.  ... 
doi:10.1093/logcom/exv004 fatcat:hz23guoslvcx7fy7yfx64unfpi

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

Dov M. Gabbay, Massimiliano Giacomin, Beishui Liao, Leendert Van Der Torre, Marc Herbstritt
2016 Dagstuhl Reports  
This report documents the program and the outcomes of Dagstuhl Perspectives Workshop 15362 "Present and Future of Formal Argumentation".  ...  A critical survey of the field has been carried out through individual presentations and collective discussions.  ...  Our approach rests on the notion of explicit acceptance conditions, as first studied in Abstract Dialectical Frameworks (ADFs).  ... 
doi:10.4230/dagrep.5.8.74 dblp:journals/dagstuhl-reports/GabbayGLT15 fatcat:htoo2zzpi5hyjogjeck2m6iilm
« Previous Showing results 1 — 15 out of 13,523 results