caa a22 4500 463187121 CHVBK 20180406164857.0 cr unu---uuuuu 170326e20070601xx s 000 0 eng 10.1007/s10472-007-9069-y doi (NATIONALLICENCE)springer-10.1007/s10472-007-9069-y Greco Gianluigi Dipartimento di Matematica, Università della Calabria, 87036, Rende, Italy aut Solving abduction by computing joint explanations [Elektronische Daten] Logic programming formalization, applications to P2P data integration, and complexity results [Gianluigi Greco] An extension of abduction is investigated where explanations are jointly computed by sets of interacting agents. On the one hand, agents are allowed to partially contribute to the reasoning task, so that joint explanations can be singled out even if each agent does not have enough knowledge for carrying out abduction on its own. On the other hand, agents maintain their autonomy in choosing explanations, each one being equipped with a weighting function reflecting its perception about the reliability of sets of hypotheses. Given that different agents may have different and possibly contrasting preferences on the hypotheses to be chosen, some reasonable notions of agents' agreement are introduced, and their computational properties are thoroughly studied. As an example application of the framework discussed in the paper, it is shown how to handle data management issues in Peer-to-Peer systems and, specifically, how to provide a repair-based semantics to inconsistent ones. Springer Science+Business Media B.V., 2007 Abduction nationallicence Nonmonotonic reasoning nationallicence Data integration nationallicence Annals of Mathematics and Artificial Intelligence Springer Netherlands 50/1-2(2007-06-01), 143-194 1012-2443 50:1-2<143 2007 50 10472 https://doi.org/10.1007/s10472-007-9069-y text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s10472-007-9069-y text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Greco Gianluigi Dipartimento di Matematica, Università della Calabria, 87036, Rende, Italy aut NATIONALLICENCE 773 0- Annals of Mathematics and Artificial Intelligence Springer Netherlands 50/1-2(2007-06-01), 143-194 1012-2443 50:1-2<143 2007 50 10472 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer