The complexity of logic-based abduction
Journal of the ACM (JACM)
ACM Transactions on Database Systems (TODS)
Reasoning agents in dynamic domains
Logic-based artificial intelligence
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Answer set programming and plan generation
Artificial Intelligence
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
Multiagent Compromises, Joint Fixpoints, and Stable Models
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Preferred Answer Sets for Ordered Logic Programs
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
The DLVK Planning System: Progress Report
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Strong and Weak Constraints in Disjunctive Datalog
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
MINERVA - A Dynamic Logic Programming Agent Architecture
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Word problems requiring exponential time(Preliminary Report)
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
Extending Answer Sets for Logic Programming Agents
Annals of Mathematics and Artificial Intelligence
The Diagnosis Frontend of the dlv system
AI Communications
Approximating Extended Answer Sets
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Context-based commonsense reasoning in the DALI logic programming language
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
A social semantics for multi-agent systems
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
LAIMA: a multi-agent platform using ordered choice logic programming
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
TOAST: applying answer set programming to superoptimisation
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Coordination between logical agents
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Specifying and analysing agent-based social institutions using answer set programming
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Formalizing an electronic institution for the distribution of human tissues
Artificial Intelligence in Medicine
Communicating ASP and the polynomial hierarchy
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |
We present a multi-agent formalism based on extended answer set programming. The system consists of independent agents connected via a communication channel, where knowledge and beliefs of each agent are represented by a logic program. When presented with an input set of literals from its predecessor, an agent computes its output as an extended answer set of its program enriched with the input, carefully eliminating contradictions that might occur. It turns out that while individual agents are rather simple, the interaction strategy makes the system quite expressive: essentially a hierarchy of a fixed number of agents n captures the complexity class ΣnP, i.e. the n-th level of the polynomial hierarchy. Furthermore, unbounded hierarchies capture the polynomial hierarchy PH. This makes the formalism suitable for modelling complex applications of MAS, for example cooperative diagnosis. Furthermore, such systems can be realized by implementing an appropriate control strategy on top of existing solvers such as DLV and SMODELS.