Abstract
This paper presents the distributed implementation of ALIAS, an architecture composed of several cooperating intelligent agents. This system is particularly suited to solve problems in cases where knowledge about the problem domain is incomplete and agents may need to form reasonable hypotheses. In ALIAS agents are equipped with hypothetical reasoning capabilities, performed by means of abduction: if the knowledge available to a logic agent is insufficient to solve a query, the agent could abduce new hypotheses. Each agent is characterized by a local knowledge base represented by an abductive logic program. Agents might differ in their knowledge bases, but must agree on assumed hypotheses. That global knowledge base is dynamically created and managed by means of a shared tuple space. The prototype, developed using Java and Prolog, can run on a TCP/IP network of computers. In the paper, we also discuss some experimental results to evaluate prototype efficiency.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Abductive LogIc Agent System. http://www.lia.deis.unibo.it/Software/ALIAS/.
AMZI! Amzi! Prolog + Logic Server 4.1. http://www.amzi.com.
A. Brogi, E. Lamma, P. Mancarella, and P. Mello. A Unifying View for Logic Programming with Non-Monotonic Reasoning. In Theoretical Computer Science, Vol. 184, 1–49, North Holland, 1997.
K. L. Clark. Negation as Failure. In H. Gallaire and J. Minker, eds., Logic and Databases. Plenum Press, New York, 1978.
P. T. Cox and T. Pietrzykowski. Causes for events: Their computation and applications. In Proc. CADE-86, 608, 1986.
K. Eshgi and R. A. Kowalski. Abduction compared with negation by failure. In G. Levi and M. Martelli, editors, Proc. 6th International Conference on Logic Programming, 234. MIT Press, 1989.
D. Gelernter. Generative Communication in Linda. ACM Toplas, 7(1):80–112, 1985. V.7, N.1, 80–112, 1985.
A. C. Kakas, R. A. Kowalski, and F. Toni. Abductive Logic Programming. Journal of Logic and Computation, 2(6):719–770, 1993.
A. C. Kakas, and P. Mancarella. Generalized stable models: a semantics for abduction. In Proc. 9th European Conference on Artificial Intelligence. Pitman Pub., 1990.
A. C. Kakas, and P. Mancarella. On the relation between Truth Maintenance and Abduction. In Proc. PRICAI90, 1990.
R. A. Kowalski. Problems and promises of computational logic. In Proc. Symposium on Computational Logic, 1–36. Springer-Verlag, Nov. 1990.
N. R. Jennings, M. J. Wooldridge, eds., Agent Technology. Springer-Verlag, 1998.
D. L. Poole. A logical framework for default reasoning. Artificial Intelligence, 36:27. Elsevier, 1988.
K. Sicara, et al. Distributed Intelligent Agents. IEEE Expert, 36–46, Dec. 1996.
M. H. van Emden and R. A. Kowalski. The semantics of predicate logic as a programming language. Journal of the ACM, 23(4):733–742, 1976.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ciampolini, A., Lamma, E., Mello, P., Stefanelli, C., Torroni, P. (2000). An Implementation for Abductive Logic Agents. In: Lamma, E., Mello, P. (eds) AI*IA 99: Advances in Artificial Intelligence. AI*IA 1999. Lecture Notes in Computer Science(), vol 1792. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46238-4_6
Download citation
DOI: https://doi.org/10.1007/3-540-46238-4_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67350-7
Online ISBN: 978-3-540-46238-5
eBook Packages: Springer Book Archive