22 found
Order:
Disambiguations
Guillermo R. Simari [15]Guillermo Ricardo Simari [6]Guillermo Simari [1]
See also
Guillermo Ricardo Simari
Universidad Nacional del Sur
  1. Introduction to Structured Argumentation.Philippe Besnard, Alejandro Garcia, Anthony Hunter, Sanjay Modgil, Henry Prakken, Guillermo Simari & Francesca Toni - 2014 - Argument and Computation 5 (1):1-4.
    In abstract argumentation, each argument is regarded as atomic. There is no internal structure to an argument. Also, there is no specification of what is an argument or an attack. They are assumed to be given. This abstract perspective provides many advantages for studying the nature of argumentation, but it does not cover all our needs for understanding argumentation or for building tools for supporting or undertaking argumentation. If we want a more detailed formalization of arguments than is available with (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  2.  2
    A Mathematical Treatment of Defeasible Reasoning and its Implementation.Guillermo R. Simari & Ronald P. Loui - 1992 - Artificial Intelligence 53 (2-3):125-157.
  3.  21
    Defeasible Logic Programming: DeLP-Servers, Contextual Queries, and Explanations for Answers.Alejandro J. García & Guillermo R. Simari - 2014 - Argument and Computation 5 (1):63-88.
    Argumentation represents a way of reasoning over a knowledge base containing possibly incomplete and/or inconsistent information, to obtain useful conclusions. As a reasoning mechanism, the way an argumentation reasoning engine reaches these conclusions resembles the cognitive process that humans follow to analyze their beliefs; thus, unlike other computationally reasoning systems, argumentation offers an intellectually friendly alternative to other defeasible reasoning systems. LogicProgrammingisacomputationalparadigmthathasproducedcompu- tationallyattractivesystemswithremarkablesuccessinmanyapplications. Merging ideas from both areas, Defeasible Logic Programming offers a computational reasoning system that uses an argumentation engine (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  4.  53
    Prioritized and Non-Prioritized Multiple Change on Belief Bases.Marcelo A. Falappa, Gabriele Kern-Isberner, Maurício D. L. Reis & Guillermo R. Simari - 2012 - Journal of Philosophical Logic 41 (1):77-113.
    In this article we explore multiple change operators, i.e., operators in which the epistemic input is a set of sentences instead of a single sentence. We propose two types of change: prioritized change, in which the input set is fully accepted, and symmetric change, where both the epistemic state and the epistemic input are equally treated. In both kinds of operators we propose a set of postulates and we present different constructions: kernel changes and partial meet changes.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  5.  3
    Arguing About Informant Credibility in Open Multi-Agent Systems.Sebastian Gottifredi, Luciano H. Tamargo, Alejandro J. García & Guillermo R. Simari - 2018 - Artificial Intelligence 259 (C):91-109.
  6.  1
    On the Revision of Informant Credibility Orders.Luciano H. Tamargo, Alejandro J. García, Marcelo A. Falappa & Guillermo R. Simari - 2014 - Artificial Intelligence 212 (C):36-58.
  7.  9
    Similarity Notions in Bipolar Abstract Argumentation.Paola Daniela Budán, Melisa Gisselle Escañuela Gonzalez, Maximiliano Celmo David Budán, Maria Vanina Martinez & Guillermo Ricardo Simari - 2020 - Argument and Computation 11 (1-2):103-149.
    Abstract. The notion of similarity has been studied in many areas of Computer Science; in a general sense, this concept is defined to provide a measure of the semantic equivalence between two pieces of knowledge, expressing how “close” their meaning can be regarded. In this work, we study similarity as a tool useful to improve the representation of arguments, the interpretation of the relations between arguments, and the semantic evaluation associated with the arguments in the argumentative process. In this direction, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  1
    Explanations, Belief Revision and Defeasible Reasoning.Marcelo A. Falappa, Gabriele Kern-Isberner & Guillermo R. Simari - 2002 - Artificial Intelligence 141 (1-2):1-28.
  9.  43
    Stratified Belief Bases Revision with Argumentative Inference.Marcelo Alejandro Falappa, Alejandro Javier García, Gabriele Kern-Isberner & Guillermo Ricardo Simari - 2013 - Journal of Philosophical Logic 42 (1):161-193.
    We propose a revision operator on a stratified belief base, i.e., a belief base that stores beliefs in different strata corresponding to the value an agent assigns to these beliefs. Furthermore, the operator will be defined as to perform the revision in such a way that information is never lost upon revision but stored in a stratum or layer containing information perceived as having a lower value. In this manner, if the revision of one layer leads to the rejection of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  2
    An Approach to Decision Making Based on Dynamic Argumentation Systems.Edgardo Ferretti, Luciano H. Tamargo, Alejandro J. García, Marcelo L. Errecalde & Guillermo R. Simari - 2017 - Artificial Intelligence 242 (C):107-131.
  11.  6
    An Approach to Abstract Argumentation with Recursive Attack and Support.Andrea Cohen, Sebastian Gottifredi, Alejandro J. García & Guillermo R. Simari - 2015 - Journal of Applied Logic 13 (4):509-533.
    This work introduces the Attack-Support Argumentation Framework (ASAF), an approach to abstract argumentation that allows for the representation and combination of attack and support relations. This framework extends the argumentation Framework with Recursive Attacks (AFRA) in two ways. Firstly, it adds a support relation enabling to express support for arguments; this support can also be given to attacks, and to the support relation itself. Secondly, it extends AFRA’s attack relation by allowing attacks to the aforementioned support relation. Moreover, since the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  12.  7
    An Informant-Based Approach to Argument Strength in Defeasible Logic Programming.Andrea Cohen, Sebastian Gottifredi, Luciano H. Tamargo, Alejandro J. García & Guillermo R. Simari - 2021 - Argument and Computation 12 (1):115-147.
    This work formalizes an informant-based structured argumentation approach in a multi-agent setting, where the knowledge base of an agent may include information provided by other agents, and each piece of knowledge comes attached with its informant. In that way, arguments are associated with the set of informants corresponding to the information they are built upon. Our approach proposes an informant-based notion of argument strength, where the strength of an argument is determined by the credibility of its informant agents. Moreover, we (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13. Characterizing Acceptability Semantics of Argumentation Frameworks with Recursive Attack and Support Relations.Sebastian Gottifredi, Andrea Cohen, Alejandro J. García & Guillermo R. Simari - 2018 - Artificial Intelligence 262 (C):336-368.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  2
    Belief Base Contraction by Belief Accrual.Cristhian A. D. Deagustini, M. Vanina Martinez, Marcelo A. Falappa & Guillermo R. Simari - 2019 - Artificial Intelligence 275 (C):78-103.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  6
    A Labeled Argumentation Framework.Maximiliano C. D. Budán, Mauro Gómez Lucero, Ignacio Viglizzo & Guillermo R. Simari - 2015 - Journal of Applied Logic 13 (4):534-553.
    Argumentation is a form of reasoning where a claim is accepted or rejected according to the analysis of the arguments for and against it; furthermore, it provides a reasoning mechanism able to handle contradictory, incomplete and uncertain information in real-world situations. We combine Bipolar Argumentation Frameworks (an extension of Dung’s work) with an Algebra of Argumentation Labels modeling two independent types of interaction between arguments, representing meta-information associated with arguments, and introducing an acceptability notion that will give more information for (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  8
    Belief Revision and Computational Argumentation: A Critical Comparison.Pietro Baroni, Eduardo Fermé, Massimiliano Giacomin & Guillermo Ricardo Simari - 2022 - Journal of Logic, Language and Information 31 (4):555-589.
    This paper aims at comparing and relating belief revision and argumentation as approaches to model reasoning processes. Referring to some prominent literature references in both fields, we will discuss their (implicit or explicit) assumptions on the modeled processes and hence commonalities and differences in the forms of reasoning they are suitable to deal with. The intended contribution is on one hand assessing the (not fully explored yet) relationships between two lively research fields in the broad area of defeasible reasoning and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  52
    Modelling Inference in Argumentation Through Labelled Deduction: Formalization and Logical Properties. [REVIEW]Carlos Iván Chesñevar & Guillermo Ricardo Simari - 2007 - Logica Universalis 1 (1):93-124.
    . Artificial Intelligence (AI) has long dealt with the issue of finding a suitable formalization for commonsense reasoning. Defeasible argumentation has proven to be a successful approach in many respects, proving to be a confluence point for many alternative logical frameworks. Different formalisms have been developed, most of them sharing the common notions of argument and warrant. In defeasible argumentation, an argument is a tentative (defeasible) proof for reaching a conclusion. An argument is warranted when it ultimately prevails over other (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  84
    Computing Generalized Specificity.Frieder Stolzenburg, Alejandro J. García, Carlos I. Chesñevar & Guillermo R. Simari - 2003 - Journal of Applied Non-Classical Logics 13 (1):87-113.
    Most formalisms for representing common-sense knowledge allow incomplete and potentially inconsistent information. When strong negation is also allowed, contradictory conclusions can arise. A criterion for deciding between them is needed. The aim of this paper is to investigate an inherent and autonomous comparison criterion, based on specificity as defined in [POO 85, SIM 92]. In contrast to other approaches, we consider not only defeasible, but also strict knowledge. Our criterion is context-sensitive, i. e., preference among defeasible rules is determined dynamically (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  91
    Defeasible Argumentation Over Relational Databases.Cristhian Ariel David Deagustini, Santiago Emanuel Fulladoza Dalibón, Sebastián Gottifredi, Marcelo Alejandro Falappa, Carlos Iván Chesñevar & Guillermo Ricardo Simari - 2017 - Argument and Computation 8 (1):35-59.
    Defeasible argumentation has been applied successfully in several real-world domains in which it is necessary to handle incomplete and contradictory information. In recent years, there have been interesting attempts to carry out argumentation processes supported by massive repositories developing argumentative reasoning applications. One of such efforts builds arguments by retrieving information from relational databases using the DBI-DeLP framework; this article presents eDBI-DeLP, which extends the original DBI-DeLP framework by providing two novel aspects which refine the interaction between DeLP programs and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20.  80
    Computing Generalized Specificity.Frieder Stolzenberg, Alejandro Javier Garcia, Carlos Ivan Chesñevar & Guillermo Ricardo Simari - 2003 - Journal of Applied Non-Classical Logics 13 (1):87-113.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  99
    Introducing Argument & Computation.Guillermo R. Simari, Chris Reed, Iyad Rahwan & Floriana Grasso - 2010 - Argument and Computation 1 (1):1-5.
    Over the past decade or so, a new interdisciplinary field has emerged in the ground between, on the one hand, computer science – and artificial intelligence in particular – and, on the other, the area of philosophy concentrating on the language and structure of argument. There are now hundreds of researchers worldwide who would consider themselves a part of this nascent community. Various terms have been proposed for the area, including "Computational Dialectics," "Argumentation Technology," and "Argument-based Computing," but the term (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  4
    Incremental Computation for Structured Argumentation Over Dynamic DeLP Knowledge Bases.Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Gerardo I. Simari & Guillermo R. Simari - 2021 - Artificial Intelligence 300 (C):103553.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark