Merging existential rules programs in multi-agent contexts through credibility accrual

Merging operators represent a significant tool to extract a consistent and informative view from a set of agents. The consideration of practical scenarios where some agents can be more credible than others has contributed to substantially increase the interest in developing systems working with trus...

Descripción completa

Detalles Bibliográficos
Autores: Deagustini, Cristhian Ariel David, Teze, Juan Carlos Lionel, Martinez, Maria Vanina, Falappa, Marcelo Alejandro, Simari, Guillermo Ricardo
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:2020
País:Argentina
Institución:Consejo Nacional de Investigaciones Científicas y Técnicas
Repositorio:CONICET Digital (CONICET)
Idioma:inglés
OAI Identifier:oai:ri.conicet.gov.ar:11336/142511
Acceso en línea:http://hdl.handle.net/11336/142511
Access Level:acceso abierto
Palabra clave:BELIEF ACCRUAL
BELIEF REVISION
MULTI-AGENT SYSTEMS
ONTOLOGIES MERGING
TRUST
https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
Descripción
Sumario:Merging operators represent a significant tool to extract a consistent and informative view from a set of agents. The consideration of practical scenarios where some agents can be more credible than others has contributed to substantially increase the interest in developing systems working with trust models. In this context, we propose an approach to the problem of merging knowledge in a multiagent scenario where every agent assigns to other agents a value reflecting its perception on how credible each agent is. The focus of this paper is the introduction of an operator for merging Datalog± ontologies considering agents’ credibility. We present a procedure to enhance a conflict resolution strategy by exploiting the credibility attached to a set of formulas; the approach is based on accrual functions that calculate the value of formulas according to the credibility of the agents that inform them. We show how our new operator can obtain the best-valued knowledge base among consistent bases available, according to the credibilities attached to the sources.