Advertisement

Concurrency in a knowledge base

  • Giuseppe Attardi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 272)

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.

Keywords

Denotational Semantic Conceptual Taxonomy Hypothetical Reasoning CONT Cont Common Lisp 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Agha 85]
    Agha, G.A. "Actors: A Model of Concurrent Computation in Distributed Systems", MIT. AI-TR 844, 1985.Google Scholar
  2. [Attardi 81]
    Attardi, G. and M. Simi "Semantics of Inheritance and Attributions in the Description System Omega", MIT, AI Memo 642, 1981.Google Scholar
  3. [Attardi 84]
    Attardi, G. and M. Simi "Metalanguage and Reasoning across Viewpoints" Proc. of Sixth European Conference on Artificial Intelligence, Pisa, 1984.Google Scholar
  4. [Attardi 85]
    Attardi, G. et al. "Building Expert Systems with Omega", DELPHI, Tech. Rep. ESP/85/2, 1985.Google Scholar
  5. [Attardi 85b]
    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.Google Scholar
  6. [Bobrow 85]
    Bobrow, D.G., et al. "COMMONLOOPS — Merging COMMON LISP and Object-Oriented Programming", Xerox PARC, ISL-85-8, 1985.Google Scholar
  7. [De Kleer 78]
    De Kleer. J., Doyle, J., Rich, C., Steele, G.L., Sussman, G.J., "AMORD: a Deductive Procedure System", MIT AI-Memo 435, 1978.Google Scholar
  8. [Friedman & Wand 84]
    Friedman, D.P. and M. Wand "Reification: Reflection without Metaphysics", Proc. of Conf. on LISP and Functional Programming, 1984.Google Scholar
  9. [Hewitt 79]
    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.Google Scholar
  10. [Hewitt 80]
    Hewitt, C., Attardi, G., Simi M. "Knowledge Embedding in the Description System Omega", Proc. of First AAAI Conference, Stanford, 1980.Google Scholar
  11. [Kornfeld 82]
    Kornfeld, W. "Using parallel processing for problem solving", MIT Ph.D. Thesis, 1982.Google Scholar
  12. [Steele 84]
    Steele, G.L. "Common Lisp: the Language", Digital Press, 1984.Google Scholar
  13. [Steele & Sussman 87]
    Steele, G.L. and Gerald J. Sussman "The revised Report on SCHEME, A Dialect of LISP", MIT AI Memo AIM-452, 1978.Google Scholar
  14. [Stoy 77]
    Stoy, J.E. "Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory", MIT Press, 1977.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Giuseppe Attardi
    • 1
  1. 1.Dipartimento di InformaticaPisa

Personalised recommendations