1,721,137 research outputs found
Cambio de creencias y sus aplicaciones sobre estados de conocimiento: Teoría de cambio de creencias y sus aplicaciones sobre estados de conocimiento
No full textEste libro ha sido principalmente escrito y editado durante los años 1993 a 1999 como parte del desarrollo de mi tesis doctoral. Esta edición, trece años después, busca que este libro sea un material de lectura para aquellos estudiantes de grado y posgrado, principalmentede la comunidad hispano-americana, que deseen iniciarse en áreas de Inteligencia Artificial tales como Representación de Conocimiento y Dinámica de Creencias. En esta edición no están contemplados los desarrollos de los ́ultimos años aunque tampoco ese es el objetivo de este libro. Aquí se busca presentar de manera intuitiva muchos de los problemas presentes en el área de revisión de creencias, dinámica de conocimiento, y actualización de bases de datos deductivas. Es importante remarcar que las investigaciones presentadas en esta tesis han sido punto de partida de nuevas investigaciones que actualmente continúan en desarrollo en el ámbito del Laboratorio de Investigación y Desarrollo en Inteligencia Artificial (LIDIA) del Departamento de Ciencias e Ingeniería de la Computación (DCIC) perteneciente a la Universidad Nacional del Sur (UNS), Bahía Blanca, Argentina...Fil: Falappa, Marcelo Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; Argentin
Semantically characterizing collaborative behavior in an Abstract dialogue framework
Full text linkA fundamental requirement of collaborative dialogue formal systems is ensuring both that all the relevant information will be exposed and also irrelevancies will be avoided. The challenge is to fulfill this requirement in the context of a distributed MAS where each agent is unaware of the private knowledge of the others. We argue that it is possible to give a general treatment to this problem in terms of relevance notions, and propose a partial solution which reduces the problem to that of finding adequate potential relevance notions. Specifically, we present in this work an Abstract Dialogue Framework which provides an environment for studying the behavior of collaborative dialogue systems in terms of abstract relevance notions, together with three Collaborative Semantics each of which defines a different collaborative behavior of the dialogues under the framework. One of these semantics describes an utopian, non practical, behavior which is approximated in different ways by the other two constructive semantics. Complete examples are provided in Propositional Logic Programming. © 2010 Springer Berlin Heidelberg.Fil: Marcos, Maria Julieta. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional del Sur; ArgentinaFil: Falappa, Marcelo Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional del Sur; ArgentinaFil: Simari, Guillermo Ricardo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional del Sur; Argentin
Dynamic argumentation in abstract dialogue frameworks
Full text linkIn this work we present a formal model for collaborative argumentation based dialogues by combining an abstract dialogue framework with a formalism for dynamic argumentation. The proposed model allows any number of agents to interchange and jointly build arguments in order to decide the justification status of a given claim. The model is customizable in several aspects: the argument attack relation and acceptability semantics, the notion of relevance of contributions, and also the degree of collaboration are selectable. Important properties are ensured such as dialogue progress step by step, completeness of the sequence of steps, and termination. Under the higher degree of collaboration, the dialogue constitutes a sound and complete distributed argumentation process. © 2011 Springer-Verlag.Fil: Marcos, Maria Julieta. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur; ArgentinaFil: Falappa, Marcelo Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur; ArgentinaFil: Simari, Guillermo Ricardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur; Argentin
A Set of Operators for Stratified Belief Bases
No full textThis work presents a set of change operators that can be defined in a stratied belief base, which is a belief base where the beliefs stored in it are assigned a value and each stratum stores all the beliefs that have the same value attached. The central idea is to provide a complete set of operations and a way of reasoning over stratified belief bases. We propose pertinent constructions and suggest practical applications.Fil: Falappa, Marcelo Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; ArgentinaFil: García, Alejandro Jorge. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; ArgentinaFil: Simari, Guillermo Ricardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; Argentin
A Set of Operations for Stratified Belief Bases
No full textThis work presents a set of change operators that can be defined in a stratified belief base, which is a belief base where the beliefs stored in it are assigned a value and each stratum stores all the beliefs that have the same value attached. The central idea is to provide a complete set of operations and a way of reasoning over stratified belief bases. We propose pertinent constructions and suggest practical applications.Fil: Falappa, Marcelo Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; ArgentinaFil: García, Alejandro Javier. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; ArgentinaFil: Simari, Guillermo Ricardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; Argentin
A quantitative approach to belief revision in structured probabilistic argumentation
Full text linkMany real-world knowledge-based systems must deal with information coming from different sources that invariably leads to incompleteness, overspecification, or inherently uncertain content. The presence of these varying levels of uncertainty doesn’t mean that the information is worthless – rather, these are hurdles that the knowledge engineer must learn to work with. In this paper, we continue work on an argumentation-based framework that extends the well-known Defeasible Logic Programming (DeLP) language with probabilistic uncertainty, giving rise to the Defeasible Logic Programming with Presumptions and Probabilistic Environments (DeLP3E) model. Our prior work focused on the problem of belief revision in DeLP3E, where we proposed a non-prioritized class of revision operators called AFO (Annotation Function-based Operators) to solve this problem. In this paper, we further study this class and argue that in some cases it may be desirable to define revision operators that take quantitative aspects into account, such as how the probabilities of certain literals or formulas of interest change after the revision takes place. To the best of our knowledge, this problem has not been addressed in the argumentation literature to date. We propose the QAFO (Quantitative Annotation Function-based Operators) class of operators, a subclass of AFO, and then go on to study the complexity of several problems related to their specification and application in revising knowledge bases. Finally, we present an algorithm for computing the probability that a literal is warranted in a DeLP3E knowledge base, and discuss how it could be applied towards implementing QAFO-style operators that compute approximations rather than exact operations.Fil: Simari, Gerardo. Universidad Nacional del Sur. Departamento de Ciencia e Ingeniería de la Computación. Laboratorio de Investigación y Desarrollo en Inteligencia Artificial; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; ArgentinaFil: Shakarian, Paulo. Arizona State University; Estados UnidosFil: Falappa, Marcelo Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; Argentina. Universidad Nacional del Sur. Departamento de Ciencia e Ingeniería de la Computación. Laboratorio de Investigación y Desarrollo en Inteligencia Artificial; Argentin
On the revision of informant credibility orders
Full text linkIn this paper we propose an approach to multi-source belief revision where the trust or credibility assigned to informant agents can be revised. In our proposal, the credibility of each informant represented as a strict partial order among informant agents, will be maintained in a repository called credibility base. Upon arrival of new information concerning the credibility of its peers, an agent will be capable of revising this strict partial order, changing the trust assigned to its peers accordingly. Our goal is to formalize a set of change operators over the credibility base: expansion, contraction, prioritized, and non-prioritized revision. These operators will provide the capability of dynamically modifying the credibility of informants considering the reliability of the information. This dynamics will reflect a new perception of trust assigned to the informant, or extend the set of informants by admitting the addition of new informant agents.Fil: Tamargo, Luciano Héctor. Universidad Nacional del Sur; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: García, Alejandro Javier. Universidad Nacional del Sur; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Falappa, Marcelo Alejandro. Universidad Nacional del Sur; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Simari, Guillermo Ricardo. Universidad Nacional del Sur; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentin
Stratified Belief Bases Revision with Argumentative Inference
Full text linkWe 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 some information to maintain consistency, instead of being withdrawn it will be kept and introduced in a different layer with lower value. Throughout this development we will follow the principle of minimal change, being one of the important principles proposed in belief change theory, particularly emphasized in the AGM model. Regarding the reasoning part from the stratified belief base, the agent will obtain the inferences using an argumentative formalism. Thus, the argumentation framework will decide which information prevails when sentences of different layers are used for entailing conflicting beliefs. We will also illustrate how inferences are changed and how the status of arguments can be modified after a revision process.Fil: Falappa, Marcelo Alejandro. Universidad Nacional del Sur; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Garcia, Alejandro Javier. Universidad Nacional del Sur; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Kern Isberner, Gabriele. Universitat Dortmund; AlemaniaFil: Simari, Guillermo Ricardo. Universidad Nacional del Sur; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentin
How does incoherence affect inconsistency-tolerant semantics for Datalog±?
Full text linkThe concept of incoherence naturally arises in ontological settings, specially when integrating knowledge. In the Datalog± literature, however, this is an issue that is yet to be studied more deeply. The main focus of our work is to show how classical inconsistency-tolerant semantics for query answering behaves when dealing with atoms that are relevant to unsatisfiable sets of existential rules, which may hamper the quality of answers and any reasoning task based on those semantics. We also propose a notion of incoherency-tolerant semantics for query answering in Datalog±, and exemplify this notion with a particular semantics based on the transformation of classic Datalog± ontologies into defeasible Datalog± ones, which use argumentation as its reasoning machinery.Fil: Deagustini, Cristhian Ariel David. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; Argentina. Universidad Nacional de Entre Ríos. Facultad de Ciencias de la Administración; ArgentinaFil: Martinez, Maria Vanina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; ArgentinaFil: Falappa, Marcelo Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; Argentina. Universidad Nacional de Entre Ríos. Facultad de Ciencias de la Administración; ArgentinaFil: Simari, Guillermo Ricardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; Argentin
A preliminary reification of argument theory change
Full text linkIn this article we introduce the basics for understanding the mechanisms of Argument Theory Change.In particular we reify it using Defeasible Logic Programming. In this formalism, knowledge bases are representedthrough defeasible logic programs. The main change operation we define over a defeasible logic program is aspecial kind of revision that inserts a new argument and then modifies the resulting program seeking for theargument’s warrant. Since the notion of argument refers to a set of defeasible rules, we generalize this techniquein order to handle extended arguments,i.e., arguments containing also strict rules. Hence, revision using extendedarguments allows us to consider program-independent arguments, which brings about new issues. A single notionof minimal change is analyzed, which refers to keep the contents of the program as much as possible. Finally, abrief discussion about the relation between our approach and the basic theory of belief revision is exposed, alongwith a description of other possible (more complex) minimal change principles.Fil: Rotstein, Nicolas Daniel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur; ArgentinaFil: Moguillansky, Martin Oscar. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur; ArgentinaFil: Falappa, Marcelo Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur; ArgentinaFil: García, Alejandro Javier. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur; ArgentinaFil: Simari, Guillermo Ricardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur; Argentin
- …
