Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/solving-abduction-by-computing-joint-explanations-7aQMLJT7tx
References (79)
-
Adrian Petcu, B. Faltings (2004)
A Distributed, Complete Method for Multi-Agent Constraint Optimization -
M. Yokoo, K. Hirayama (2000)
Algorithms for Distributed Constraint Satisfaction: A ReviewAutonomous Agents and Multi-Agent Systems, 3
-
Pragnesh Modi, M. Veloso (2005)
Bumping strategies for the multiagent agreement problem -
A. Ciampolini, E. Lamma, P. Mello, Paolo Torroni (2001)
LAILA: a language for coordinating abductive reasoning among logic agentsComput. Lang., 27
-
M. Osborne, Ariel Rubinstein (1995)
A Course in Game Theory, 1
-
I. Pivkina, Enrico Pontelli, Tran Son (2004)
Revising Knowledge in Multi-agent Systems Using Revision Programming with Preferences -
T. Sandholm (1999)
Distributed rational decision making -
T. Ferguson (1967)
Game Theory and Decision Theory -
J. Lang (2005)
Some Representation and Computational Issues in Social Choice -
F. Rossi, K. Venable, T. Walsh (2004)
mCP Nets: Representing and Reasoning with Preferences of Multiple Agents -
Enrico Franconi, G. Kuper, Andrei Lopatenko, L. Serafini (2003)
A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems -
Davy Nieuwenborgh, S. Heymans, D. Vermeir (2004)
On Programs with Linearly Ordered Multiple Preferences -
L. Bertossi, Loreto Bravo (2004)
Query Answering in Peer-to-Peer Data Exchange SystemsArXiv, cs.DB/0401015
-
G. Greco, S. Greco, E. Zumpano (2003)
A Logical Framework for Querying and Repairing Inconsistent DatabasesIEEE Trans. Knowl. Data Eng., 15
-
David Johnson (1991)
A Catalog of Complexity Classes -
A. Kakas, Bert Nuffelen, M. Denecker (2001)
A-System: Problem Solving through Abduction -
G. Gottlob, N. Leone, H. Veith (1999)
Succinctness as a Source of Complexity in Logical FormalismsAnn. Pure Appl. Log., 97
-
A. Kakas, P. Mancarella (1990)
Generalized Stable Models: A Semantics for Abduction -
A. Calí, D. Lembo, R. Rosati (2003)
On the decidability and complexity of query answering over inconsistent and incomplete databases -
Marina Vos, Tom Crick, J. Padget, M. Brain, Owen Cliffe, J. Needham (2005)
LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming -
Diego Calvanese, Giuseppe Giacomo, M. Lenzerini, R. Rosati (2004)
Logical foundations of peer-to-peer data integration -
P. Faratin, B. Walle (2002)
Agent preference relations: strict, indifferent and incomparable -
Eugene Charniak, S. Shimony (1994)
Cost-Based Abduction and MAP ExplanationArtif. Intell., 66
-
Bert Nuffelen, Alvaro Cortés-Calabuig, M. Denecker, O. Arieli, M. Bruynooghe (2004)
Data Integration Using ID-Logic -
Fangzhen Lin, Jia-Huai You (2001)
Abduction in logic programming: A new definition and an abductive procedure based on rewritingArtif. Intell., 140
-
J. Dix, Y. Zhang (2005)
Multi-agent Programming, LNAI 3346 -
Michael Schroeder, I. Móra, L. Pereira (1996)
A deliberative and reactive diagnosis agent based on logic programmingProceedings Eighth IEEE International Conference on Tools with Artificial Intelligence
-
P. Dung (1991)
Negations as Hypotheses: An Abductive Foundation for Logic Programming -
John Davin, Pragnesh Modi (2006)
Hierarchical Variable Ordering for Multiagent Agreement Problems -
S. Vadhan (2005)
Computational Complexity -
R. Mailler, V. Lesser (2004)
Solving distributed constraint optimization problems using cooperative mediationProceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004.
-
Thomas Eiter, Michael Fink, G. Greco, D. Lembo (2003)
Efficient Evaluation of Logic Programs for Querying Data Integration Systems -
G. Greco, S. Greco, E. Zumpano (2001)
A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases -
A. Abdelbar (2004)
Approximating cost-based abduction is NP-hardArtif. Intell., 159
-
G. Gottlob, G. Greco, Francesco Scarcello (2003)
Pure Nash equilibria: hard and easy games -
Sarit Kraus (1997)
Negotiation and Cooperation in Multi-Agent EnvironmentsArtif. Intell., 94
-
Thomas Eiter, V. Subrahmanian, G. Pick (1999)
Heterogeneous Active Agents, I: SemanticsArtif. Intell., 108
-
U. Endriss, P. Mancarella, F. Sadri, G. Terreni, Francesca Toni (2009)
The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experimentsTheory and Practice of Logic Programming, 9
-
M. Lenzerini (2004)
Principles of P2P Data Integration -
H. Przymusinska, Teodor Przymusinski (1990)
Semantic Issues in Deductive Databases and Logic Programs -
Loreto Bravo, L. Bertossi (2003)
Logic programs for consistently querying data integration systems -
K. Hindriks, F. Boer, W. Hoek, J. Meyer (2000)
Semantics of Communicating Agents Based on Deduction and Abduction -
L. Bertossi, J. Chomicki, Alvaro Cortés-Calabuig, Claudio Gutiérrez (2002)
Consistent Answers from Integrated Data Sources -
M. Denecker, A. Kakas (2002)
Abduction in Logic Programming -
Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan (2009)
Characterizations of stable model semantics for logic programs with arbitrary constraint atomsTheory and Practice of Logic Programming, 9
-
T. Syrjänen, I. Niemelä (2001)
The Smodels System -
R. Yager (2001)
Fusion of multi-agent preference orderingsFuzzy Sets Syst., 117
-
N. Leone, G. Pfeifer, Wolfgang Faber, Francesco Calimeri, Tina Dell'Armi, Thomas Eiter, G. Gottlob, Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch, S. Perri, A. Polleres (2002)
The DLV System -
Thomas Eiter, G. Gottlob, H. Mannila (1997)
Disjunctive datalogACM Trans. Database Syst., 22
-
John Davin, Pragnesh Modi (2006)
Hierarchical variable ordering for distributed constraint optimization -
A. Kakas, Pavlos Moraitis (2003)
Argumentation based decision making for autonomous agents -
M. Gavanelli, E. Lamma, P. Mello, Paolo Torroni (2004)
An Abductive Framework for Information Exchange in Multi-agent Systems -
Krzysztof Apt, Francesca Rossi, K. Venable (2005)
CP-nets and Nash equilibriaArXiv, abs/cs/0509071
-
A. Kakas, F. Sadri (2002)
Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part I -
Marina Vos, D. Vermeir (2004)
Extending Answer Sets for Logic Programming AgentsAnnals of Mathematics and Artificial Intelligence, 42
-
O. Arieli, M. Denecker, Bert Nuffelen, M. Bruynooghe (2004)
Coherent Integration of Databases by Abductive Logic ProgrammingJ. Artif. Intell. Res., 21
-
T. Meyer, A. Ghose, S. Chopra (2001)
Social Choice, Merging, and Elections -
S. Parsons, M. Wooldridge (2002)
Game Theory and Decision Theory in Multi-Agent SystemsAutonomous Agents and Multi-Agent Systems, 5
-
A. Ciampolini, E. Lamma, P. Mello, Francesca Toni, Paolo Torroni (2004)
Cooperation and Competition in ALIAS: A Logic Framework for Agents that NegotiateAnnals of Mathematics and Artificial Intelligence, 37
-
Peter Flach, A. Kakas (2000)
Abduction and Induction -
M. Arenas, L. Bertossi, J. Chomicki (1999)
Consistent query answers in inconsistent databases -
C. Domshlak, F. Rossi, K. Venable, T. Walsh (2003)
Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques -
A. Calí, D. Lembo, R. Rosati (2003)
Query rewriting and answering under constraints in data integration systems -
A. Bracciali, P. Mancarella, Kostas Stathis, Francesca Toni (2004)
On Modelling Multi-agent Systems Declaratively -
J. Nash (1951)
Non-cooperative gamesAnn. Math., 54
-
F. Sadri, Francesca Toni, Paolo Torroni (2002)
An Abductive Logic Programming Architecture for Negotiating Agents -
C. Peltz (2003)
Web Services Orchestration and ChoreographyComputer, 36
-
Marina Vos, D. Vermeir (1999)
Choice Logic Programs and Nash Equilibria in Strategic Games -
G. Greco, Francesco Scarcello (2005)
On the complexity of computing peer agreements for consistent query answering in peer-to-peer data integration systems -
J. Dix, Yingqian Zhang (2005)
IMPACT: A Multi-Agent Framework with Declarative Semantics -
G. Brewka, I. Niemelä, M. Truszczynski (2003)
Answer Set Optimization -
L. Console, D. Dupré, P. Torasso (1991)
On the Relationship between Abduction and DeductionJ. Log. Comput., 1
-
J. Cox, E. Durfee, T. Bartold (2005)
A distributed framework for solving the Multiagent Plan Coordination Problem -
M. Schlosser, Michael Sintek, S. Decker, W. Nejdl (2002)
HyperCuP - Hypercubes, Ontologies, and Efficient Search on Peer-to-Peer Networks -
Thomas Eiter, G. Gottlob (1993)
The complexity of logic-based abduction -
S. Perri, Francesco Scarcello, N. Leone (2003)
Abductive logic programs with penalization: semantics, complexity and implementationTheory and Practice of Logic Programming, 5
-
Pierfrancesco Mura, Y. Shoham (1998)
Conditional, Hierarchical, Multi-Agent Preferences -
F. Buccafurri, G. Gottlob (2002)
Multiagent Compromises, Joint Fixpoints, and Stable Models -
Paul Allen (1997)
CENTER FOR
- Publisher
- Springer Journals
- Copyright
- Copyright © 2007 by Springer Science+Business Media B.V.
- Subject
- Computer Science; Complexity; Computer Science, general ; Mathematics, general; Artificial Intelligence (incl. Robotics)
- ISSN
- 1012-2443
- eISSN
- 1573-7470
- DOI
- 10.1007/s10472-007-9069-y
- Publisher site
- See Article on Publisher Site
Abstract
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.
Journal
Annals of Mathematics and Artificial Intelligence – Springer Journals
Published: Jul 17, 2007