Abstract
Omega is a description system for knowledge embedding which enables representation of knowledge in conceptual taxonomies. Reasoning on this knowledge can be carried out by a process called taxonomic reasoning, which is based on operations of traversing the lattice of descriptions. This process can be performed with a high degree of parallelism, by spreading the activities among the nodes of the lattice. Reasoning strategies expressed at the metalevel of Omega can be used to tailor deductions to specific applications. A message-passing approach is proposed to implement the deduction in Omega. An extension to Common LISP is suggested to provide the necessary message-passing primitives.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Agha, G.A. "Actors: A Model of Concurrent Computation in Distributed Systems", MIT. AI-TR 844, 1985.
Attardi, G. and M. Simi "Semantics of Inheritance and Attributions in the Description System Omega", MIT, AI Memo 642, 1981.
Attardi, G. and M. Simi "Metalanguage and Reasoning across Viewpoints" Proc. of Sixth European Conference on Artificial Intelligence, Pisa, 1984.
Attardi, G. et al. "Building Expert Systems with Omega", DELPHI, Tech. Rep. ESP/85/2, 1985.
Attardi, G., Simi, M. "A Description Oriented Logic for Building Knowledge Bases", Proceedings of the IEEE IEEE, Vol. 74, N. 10, p. 1335–1344, October 1986.
Bobrow, D.G., et al. "COMMONLOOPS — Merging COMMON LISP and Object-Oriented Programming", Xerox PARC, ISL-85-8, 1985.
De Kleer. J., Doyle, J., Rich, C., Steele, G.L., Sussman, G.J., "AMORD: a Deductive Procedure System", MIT AI-Memo 435, 1978.
Friedman, D.P. and M. Wand "Reification: Reflection without Metaphysics", Proc. of Conf. on LISP and Functional Programming, 1984.
Hewitt, C., Attardi, G., Lieberman, H., "Specifying and Proving Properties of Guardians for Distributed Systems", (Ed. G. Kahn), Lecture Notes in Computer Science, No. 70, Springer-Verlag, Berlin, 1979.
Hewitt, C., Attardi, G., Simi M. "Knowledge Embedding in the Description System Omega", Proc. of First AAAI Conference, Stanford, 1980.
Kornfeld, W. "Using parallel processing for problem solving", MIT Ph.D. Thesis, 1982.
Steele, G.L. "Common Lisp: the Language", Digital Press, 1984.
Steele, G.L. and Gerald J. Sussman "The revised Report on SCHEME, A Dialect of LISP", MIT AI Memo AIM-452, 1978.
Stoy, J.E. "Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory", MIT Press, 1977.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Attardi, G. (1987). Concurrency in a knowledge base. In: Treleaven, P., Vanneschi, M. (eds) Future Parallel Computers. Lecture Notes in Computer Science, vol 272. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18203-9_14
Download citation
DOI: https://doi.org/10.1007/3-540-18203-9_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18203-0
Online ISBN: 978-3-540-47806-5
eBook Packages: Springer Book Archive