Abstract
EPSILON* is a knowledge base management system (KBMS) integrating object oriented features, logic programming and databases in a uniform framework. Theories, containing knowledge in different representation formalisms, are the basic components of a knowledge base. Relationships among theories are expressed by various types of links, including inheritance links, which allow to combine the contents of existing theories. In a distributed environment it is possible to develop parts of an application separately on different nodes and to integrate them by defining suitable links as well as to split complex applications into a set of cooperating sub-applications running on different machines. Partitioning of a knowledge base and allocation of sub-knowledge bases to different nodes allow to exploit parallelism and make most efficient use of the resources of the network. Cooperation of autonomous problem solvers is supported by a communication subsystem with decentralized control.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A. S. Cromarthy. Control of Process by Communication over Ports as a Paradigm for Distributed Knowledge-Based System Design. In L. Kershberg (ed.), Proc. of First Conference on Expert Data Base Systems, Charleston, South Carolina 1986, pp. 47–59.
E. H. Durfee, V. R. Lesser, D. D. Corkill. Coherent Cooperation among Communicating Problem Solvers. In IEEE Transact, on Computer, C 36(11):1275–1291, 1987.
R. G. Smith. The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver. In IEEE Transactions on CompC-29(12): 1104–1113, 1980.
P. Coscia, S. Djennaoui, P. Franceschi, J. Kouloumdjian, G. Levi, L. Lei, G. H. Moll, I. De Saint Victor, G. Sardu, C. Simonelli, L. Torre. The EPSILON KBMS: Architecture and DB access optimization. Workshop on Integration of Logic Programming and Data Bases, Venice 1988.
G. Levi, M. Modesti, J. Kouloumdjian. Status and Evolution of the EPSILON System. In Proc. of the 4th Annual ESPRIT Conference, North Holland 1987, pp. 593–610.
J. Kouloumdjian, L. Lei, S. Djennaoui, G. H. Moll. The Communication Processor: Kernel — DBMS Communication, ESPRIT project 530, Report 15, 1986.
M. Rohen, G. Kniesel, A. B. Cremers, H. Bense. Specification of an Architecture for Distributed Problem Solving in EPSILON. In Proceedings of the 5th annual ESPRIT Conference 1988, North Holland, pp. 659–673.
G. Kniesel, A. B. Cremers. Cooperative Distributed Problem Solving in EPSILON. In Proceedings of the 7th annual ESPRIT Conference 1990, North Holland, pp. 177–193.
M. Rohen, G. Kniesel. Specification of the Distributed EPSILON Architecture, ESPRIT project 530 Report 13, 1987.
M. Rohen, G. Kniesel, R. Schlüter, H. Hönig, E. Moll. Design of the Distributed EPSILON KBMS, ESPRIT project 530 Report 2, 1988.
G. Kniesel, M. Rohen, K.-U. Höffgen, R. Schlüter, R. Waschkowski. Implementation of the Distributed EPSILON Prototype, ESPRIT project 530 Report 10, 1990.
K. A. Bowen, R. A. Kowalski. Amalgamating Language and Metalanguage in Logic Programming. In K. L. Clark, S. A. Tärnlund, (eds.), Logic Programming, Academic Press 1982, pp. 153–172.
H. Kauffmann, A. Grumbach. Representing and Manipulating Knowledge within Worlds. In L. Kershberg (ed.), Proc. of First Conference on Expert Data Base Systems, Charleston, South Carolina, 1986, pp. 61–73.
K. Furukawa, A. Takeuchi, S. Kunifuji, H. Yasukawa, M. Ohki, K. Ueda. MANDALA: A logic based knowledge programming system. In Proceedings of International Conf. on 5th Generation Computer Systems 1984, pp. 613–622.
L. Monteiro, A. Porto. Contextual Logic Programming. In Proc. of sixth International Conference on Logic Programming, pp. 284–299. MIT Press 1989.
N.J. Nilsson. Principles of Artificial Intelligence. Springer 1984.
M. Degl’Innocenti, G. Levi, G. Sardu. A methodology for the Design and Automatic Composition of Structured Prolog Meta-Interpreters. ESPRIT project 530 Report, May 1988.
G. Kniesel, M. Rohen. Das Theorien und Link-Konzept unter dem Aspekt der Verteilung (Distribution Aspects of the Theory and Link Concept). Internal paper, University of Dortmund, 1987.
M. Rohen. Semantik von komponierten modularen logischen Programmen in einer Programmierumgebung mit integrierten objektorientierten Vererbungsmechanismen ( Semantics of Composed Modular Logic Programs in a Programming Environment with Object-Oriented Inheritance Mechanisms ). Doctoral thesis at the Universiy of Dortmund, April 1991.
B. A. Lambird, D. Lavine, L. N. Kanal. Distributed architecture and parallel non-directional search for knowledge based cartographic feature extraction systems. In M. J. Coombs (ed.), Developments in expert systems, Academic Press 1984, pp. 221–234.
B. Chandrasekaran. Expert systems: Matching techniques to tasks. New York University Symposium on AI Applications for Business, 1983.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kniesel, G., Rohen, M., Cremers, A.B. (1991). A Management System for Distributed Knowledge Base Applications. In: Brauer, W., Hernández, D. (eds) Verteilte Künstliche Intelligenz und kooperatives Arbeiten. Informatik-Fachberichte, vol 291. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-76980-1_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-76980-1_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54617-7
Online ISBN: 978-3-642-76980-1
eBook Packages: Springer Book Archive