Belief Revision in Structured Probabilistic Argumentation

In real-world applications, knowledge bases consisting of all the information at hand for a specific domain, along with the current state of affairs, are bound to contain contradictory data coming from different sources, as well as data with varying degrees of uncertainty attached. Likewise, an important aspect of the effort associated with maintaining knowledge bases is deciding what information is no longer useful; pieces of information (such as intelligence reports) may be outdated, may come from sources that have recently been discovered to be of low quality, or abundant evidence may be available that contradicts them. In this paper, we propose a probabilistic structured argumentation framework that arises from the extension of Presumptive Defeasible Logic Programming (PreDeLP) with probabilistic models, and argue that this formalism is capable of addressing the basic issues of handling contradictory and uncertain data. Then, to address the last issue, we focus on the study of non-prioritized belief revision operations over probabilistic PreDeLP programs. We propose a set of rationality postulates -- based on well-known ones developed for classical knowledge bases -- that characterize how such operations should behave, and study a class of operators along with theoretical relationships with the proposed postulates, including a representation theorem stating the equivalence between this class and the class of operators characterized by the postulates

Embedding defeasible argumentation in the semantic web: an ontology-based approach

The SemanticWeb is a project intended to create a universal medium for information exchange by giving semantics to the content of documents on the Web by means of ontology definitions. Ontologies intended for knowledge representation in intelligent agents rely on common-sense reasoning formalizations. Defeasible argumentation has emerged as a successful approach to model common-sense reasoning. Recent research has linked argumentation with belief revision in order to model the dynamics of knowledge. This paper outlines an approach which combines ontologies, argumentation and belief revision by defining an ontology algebra. We suggest how different aspects of ontology integration can be defined in terms of defeasible argumentation and belief revision.Eje: Inteligencia artificialRed de Universidades con Carreras en Informática (RedUNCI

Solving Power and Trust Conflicts through Argumentation in Agent-mediated Knowledge Distribution

Distributing pieces of knowledge in large, usually distributed organizations is a central problem in Knowledge and Organization management. Policies for distributing knowledge and information are mostly incomplete or in potential conflict with each other. As a consequence, decision processes for information distribution may be difficult to formalize on the basis of a rationally justified procedure. This article presents an argumentative approach to cope with this problem based on integrating the JITIK multiagent system with Defeasible Logic Programming (DeLP), a logic programming formalism for defeasible argumentation. We show how power relations, as well as delegation and trust, can be embedded within our framework in terms of DeLP, in such a way that a dialectical argumentation process works as a decision core. Conflicts among policies are solved on the basis of a dialectical analysis whose outcome determines to which specific users different pieces of knowledge are to be delivered.Fil: Chesñevar, Carlos Iván. Universitat de Lleida; España. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; ArgentinaFil: Brena, Ramón. Centro de Sistemas Inteligentes, Tecnológico de Monterrey; MéxicoFil: Aguirre, José L.. Centro de Sistemas Inteligentes, Tecnológico de Monterrey; Méxic

Some approaches to Belief Bases Merge

In this work, we de fine some non-prioritized merge operators, that is, operators for the consistent union of belief bases. We de ne some postulates for several kinds of merge operator and we give different constructions: trivial merge, partial meet merge and kernel merge. For some constructions we provide representation theorems linking construction with a set of postulates. Finally, we propose that the formulated operators can be used in some multi-agent systemsVII Workshop de Agentes y Sistemas Inteligentes (WASI)Red de Universidades con Carreras en Informática (RedUNCI

Deliberative DeLP agents with multiple informants

In this paper we define a trust-based argumentative reasoning formalism where the source of the received information is used to decide the warranted conclusions. In the proposed formalism, the agent’s tentative conclusions are supported by arguments, and these conclusions can in turn be attacked by other arguments, referred to as counter-arguments. The inference mechanism compares arguments and counter-arguments to decide which conclusion prevails. We propose a novel development of different argument comparison criteria based on trust. Thus, given a particular application domain, the more appropriate criterion can be used. Finally, since a realistic scenario should consider that trust on informants is usually subject to change, a complete change theory over the agents’ trust is introduced.Fil: Tamargo, Luciano Héctor. 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: Gottifredi, Sebastián. 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: 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: 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

Discussion and analysis of a graduate recital: an examination of Gary Burton's "Chega De Saudade," Steve Reich's "Marimba Phase," Michael Gordon's "XY," John Cage's "In a Landscape," Minoru Miki's "Time for Marimba," and Milton Babbitt's "Homily"

Master's Project (M.Mu.) University of Alaska Fairbanks, 2017This paper discusses some of the many facets of percussion music through the examination and analysis of the following works: Gary Burton's Chega De Saudade for solo vibraphone; Steve Reich's Marimba Phase for two marimbas; Michael Gordon's XY for five drums; the author's own arrangement for multiple-percussion setup of John Cage's In a Landscape; Minoru Miki's Time for Marimba for solo marimba; and Milton Babbitt's Homily for solo snare drum. As the repertoire and performance practices of percussion continue to develop, there are many issues of note to the studying percussionist. These range from technical concerns, to issues of interpretation. Each work exemplifies certain of these issues, and this paper seeks to glean better understanding of those through analysis and study of the works

Discussion and analysis of a graduate recital: an examination of Gary Burton's "Chega De Saudade," Steve Reich's "Marimba Phase," Michael Gordon's "XY," John Cage's "In a Landscape," Minoru Miki's "Time for Marimba," and Milton Babbitt's "Homily"

Master's Project (M.Mu.) University of Alaska Fairbanks, 2017This paper discusses some of the many facets of percussion music through the examination and analysis of the following works: Gary Burton's Chega De Saudade for solo vibraphone; Steve Reich's Marimba Phase for two marimbas; Michael Gordon's XY for five drums; the author's own arrangement for multiple-percussion setup of John Cage's In a Landscape; Minoru Miki's Time for Marimba for solo marimba; and Milton Babbitt's Homily for solo snare drum. As the repertoire and performance practices of percussion continue to develop, there are many issues of note to the studying percussionist. These range from technical concerns, to issues of interpretation. Each work exemplifies certain of these issues, and this paper seeks to glean better understanding of those through analysis and study of the works