162,848 research outputs found
Improving Assumption based Distributed Belief Revision
Belief revision is a critical issue in real world DAI applications.
A Multi-Agent System not only has to cope with the intrinsic incompleteness
and the constant change of the available knowledge (as in the case of its stand
alone counterparts), but also has to deal with possible conflicts between the
agents’ perspectives. Each semi-autonomous agent, designed as a combination
of a problem solver – assumption based truth maintenance system (ATMS),
was enriched with improved capabilities: a distributed context management facility
allowing the user to dynamically focus on the more pertinent contexts,
and a distributed belief revision algorithm with two levels of consistency. This
work contributions include: (i) a concise representation of the shared external
facts; (ii) a simple and innovative methodology to achieve distributed context
management; and (iii) a reduced inter-agent data exchange format. The different
levels of consistency adopted were based on the relevance of the data under
consideration: higher relevance data (detected inconsistencies) was granted
global consistency while less relevant data (system facts) was assigned local
consistency. These abilities are fully supported by the ATMS standard functionalities
Distributed Belief Revision and Environmental Decision Support
This article discusses the development of an Intelligent Distributed Environmental
Decision Support System, built upon the association of a Multi-agent Belief
Revision System with a Geographical Information System (GIS). The inherent
multidisciplinary features of the involved expertises in the field of environmental
management, the need to define clear policies that allow the synthesis of divergent
perspectives, its systematic application, and the reduction of the costs and
time that result from this integration, are the main reasons that motivate the proposal
of this project.
This paper is organised in two parts: in the first part we present and discuss the
developed - Distributed Belief Revision Test-bed - DiBeRT; in the second part we
analyse its application to the environmental decision support domain, with special
emphasis on the interface with a GIS
Beliefs and Conflicts in a Real World Multiagent System
In a real world multiagent system, where the
agents are faced with partial, incomplete and
intrinsically dynamic knowledge, conflicts are
inevitable. Frequently, different agents have
goals or beliefs that cannot hold simultaneously.
Conflict resolution methodologies have to be
adopted to overcome such undesirable occurrences.
In this paper we investigate the application of
distributed belief revision techniques as the support
for conflict resolution in the analysis of the
validity of the candidate beams to be produced
in the CERN particle accelerators.
This CERN multiagent system contains a higher
hierarchy agent, the Specialist agent, which
makes use of meta-knowledge (on how the conflicting
beliefs have been produced by the other
agents) in order to detect which beliefs should be
abandoned. Upon solving a conflict, the Specialist
instructs the involved agents to revise their
beliefs accordingly.
Conflicts in the problem domain are mapped into
conflicting beliefs of the distributed belief revision
system, where they can be handled by
proven formal methods. This technique builds
on well established concepts and combines them
in a new way to solve important problems. We
find this approach generally applicable in several
domains
Revision in networks of ontologies
euzenat2015aInternational audienceNetworks of ontologies are made of a collection of logic theories, called ontologies, related by alignments. They arise naturally in distributed contexts in which theories are developed and maintained independently, such as the semantic web. In networks of ontologies, inconsistency can come from two different sources: local inconsistency in a particular ontology or alignment, and global inconsistency between them. Belief revision is well-defined for dealing with ontologies; we investigate how it can apply to networks of ontologies. We formulate revision postulates for alignments and networks of ontologies based on an abstraction of existing semantics of networks of ontologies. We show that revision operators cannot be simply based on local revision operators on both ontologies and alignments. We adapt the partial meet revision framework to networks of ontologies and show that it indeed satisfies the revision postulates. Finally, we consider strategies based on network characteristics for designing concrete revision operators
Tableau calculi for description logics revision
Focusing on the Ontology Change problem, we consider an environment where Description Logics (DLs) are the logical formalization to express knowledge bases, and the integration of distributed ontologies is developed under new extensions and modifications of the Belief Revision theories yielded originally in [2]. When using tableaux algorithms to reason about DLs, new information is yielded from the models considered in order to achieve knowledge satisfiability. Here a whole new theory have to be reinforced in order to adapt belief revision definitions and postulates to properly react over beliefs on extensions generated from these DL’s reasoning services.
In this text we give a brief background of these formalisms and comment the research lines to be taken in our way to this goal.Eje: Agentes y Sistemas InteligentesRed de Universidades con Carreras en Informática (RedUNCI
Beliefs and Conflicts in a Real World Multi-Agent System
In a real world multiagent system, where the
agents are faced with partial, incomplete and
intrinsically dynamic knowledge, conflicts are
inevitable. Frequently, different agents have
goals or beliefs that cannot hold simultaneously.
Conflict resolution methodologies have to be
adopted to overcome such undesirable occurrences.
In this paper we investigate the application of
distributed belief revision techniques as the support
for conflict resolution in the analysis of the
validity of the candidate beams to be produced
in the CERN particle accelerators.
This CERN multiagent system contains a higher
hierarchy agent, the Specialist agent, which
makes use of meta-knowledge (on how the con-
flicting beliefs have been produced by the other
agents) in order to detect which beliefs should be
abandoned. Upon solving a conflict, the Specialist
instructs the involved agents to revise their
beliefs accordingly.
Conflicts in the problem domain are mapped into
conflicting beliefs of the distributed belief revision
system, where they can be handled by
proven formal methods. This technique builds
on well established concepts and combines them
in a new way to solve important problems. We
find this approach generally applicable in several
domains
Towards a non monotonic description logics model
In order to deal with the Ontology Change problem and considering an environment where Description Logics (DLs) are used to describe ontologies, the question of how to integrate distributed ontologies appears to be in touch with Belief Revision since DL terminologies may define same concept descriptions of a not necessarily same world model. A possible alternative to reason about these concepts is to generate unique concept descriptions in a different terminology. This new terminology needs to be consistently created, trying to deal with the minimal change problem, and moreover, yielding a non-monotonic layer to express ontological knowledge in order to be further updated with new distributed ontologies.VII Workshop de Agentes y Sistemas Inteligentes (WASI)Red de Universidades con Carreras en Informática (RedUNCI
Belief Revision in Multi-Agent Systems
The ability to respond sensibly to changing and conflicting beliefs
is an integral part of intelligent agency. To this end, we outline the design and
implementation of a Distributed Assumption-based Truth Maintenance System
(DATMS) appropriate for controlling cooperative problem solving in a
dynamic real world multi-agent community. Our DATMS works on the principle
of local coherence which means that different agents can have different
perspectives on the same fact provided that these stances are appropriately
justified. The belief revision algorithm is presented, the meta-level code
needed to ensure that all system-wide queries can be uniquely answered is
described, and the DATMS’ implementation in a general purpose multi-agent
shell is discussed
Model contractions on description logics
When using tableaux algorithms to reason about Description Logics (DLs), new information is inferred from the models considered while trying to achieve knowledge satisfiability. By focusing the ontology change problem, we consider an environment where DLs are the logical formalization to express knowledge bases in the web, and the integration of distributed ontologies is developed under new extensions of the belief revision theories originally exposed in [1]. Hence, a reinforced theory arises in order to properly apply change operations over models, considering new inferred information and assumed beliefs in each possible world. As a result, a new type of contraction operator is proposed and its success postulate analyzed.Red de Universidades con Carreras en Informática (RedUNCI
- …