Esprit ’89 pp 361-374 | Cite as

Knowledge Base Development in a Standard Framework

  • Giuseppe Attardi
  • Maria Simi
Conference paper

Summary

In the ESPRIT Project P440 (Message Passing Architecture and Description Systems) several aspects of knowledge representation have been explored: formalisms, languages, techniques. The most significant techniques developed within the project are: taxonomic reasoning, meta level strategies and concurrent object oriented programming. These techniques are embedded in the systems developed in the project: Omega, KRS and DELPHI Common LISP. As a generalization of our experience in building knowledge based systems, we present a framework which provides a range of tools for building knowledge base applications. The framework is conceived so that industrial standards are selected where appropriate and areas where standard are missing are highlighted.

Keywords

Knowledge Representation Logic Programming Network File System Common LISP Descriptive Capability 
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. (1).
    AIT-KACI, H. and R. NASR, “LOGIN: A Logic Programming Language with Built-in Inheritance”, Journal of Logic Programming, 3(3), pp 187–215,1986.CrossRefGoogle Scholar
  2. (2).
    ATTARDI, G. and M. SIMI, “Consistency and Completeness of Omega, a Logic for Knowledge Representation, ” Proc. of 7th IJCAI, Vancouver 1981.Google Scholar
  3. (3).
    ATTARDI, G. and M. SIMI, “A Description Oriented Logic for Building Knowledge Bases, ” Proceedings of the IEEE, Vol 74, No 10, pp 1297–1472, October 1986.CrossRefGoogle Scholar
  4. (4).
    ATTARDI, G. and S. DIOMEDI, “Multithread Common LISP, ” ESPRIT MADS Tech. Rep. TR-87.1, DELPHI, 1987.Google Scholar
  5. (5).
    ATTARDI, G. et al., “Metalevel Programming in CLOS, ” ECOOP 89, S. Cook (ed.), Cambridge University Press, 1989.Google Scholar
  6. (6).
    BOBROW, D.G. and T. WINOGRAD, “An Overview of KRL, A Knowledge Representation Language, ” Cognitive Science, 1(1), pag. 3–46,1977.CrossRefGoogle Scholar
  7. (7).
    BOBROW, D.G., et al., “Common LISP Object System Specification, ” X3J13 Standards Committee Document 88–003 (ANSI COMMON LISP), June 88.Google Scholar
  8. (8).
    BRACHMAN, R.J. and J.G. SCHMOLZE, “An Overview of the KLONE Knowledge Representation System, ” Cognitive Science, 9(2), pag. 171–22,1985.CrossRefGoogle Scholar
  9. (9).
    BRACHMAN, R.J., V. GILBERT PIGMAN, H.J. LEVESQUE, “An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of Krypton, ” Proc. of 9th IJCAI, Los Angeles, 1985.Google Scholar
  10. (10).
    BOBROW, D.G. et al., “The Common LISP Object System, ” SIGPLAN Notices, 1988.Google Scholar
  11. (11).
    FIKES, R. and T. KEHLER, “The Role of Frame-based Representatio In Reasoning, ” Comm. of the ACM, 28(9), pag. 904–920,1985.CrossRefGoogle Scholar
  12. (12).
    GETTY, R. and R. SCHEIFLER, “The X Window System, ” Transactions on Graphics, 1987.Google Scholar
  13. (13).
    GOLDBERG, A., “Smalltalk 80, ” Addison-Wesley, 1986.Google Scholar
  14. (14).
    HAIMOWITZ, I.J., R.S. PATIL and P. SZOLOVITS, “Representing medical knowledge in a terminological language Is difficult, ” Symposium on Computer Application in Medical Care, 1988.Google Scholar
  15. (15).
    “KEE User’s Manual, ” IntelliCorp, 1988.Google Scholar
  16. (16).
    LEVESQUE, H.J. and BRACHMAN, R.J., “A Foundamental Tradeoff in Knowledge Representation and Reasoning, ” in “Readings in Knowledge Representation, ” Brachman and Levesque Eds, Morgan Kauffman, 1985.Google Scholar
  17. (17).
    NEBEL, B., “Computational Complexity of Terminological Reasoning in BACK, ” Artificial Intelligence Journal, 34(3), April 1988.Google Scholar
  18. (18).
    OREN LA MOTT and K. KIMBROUGH, “Common LISP User Interface Environment, ” Texas Instrument, 1988.Google Scholar
  19. (19).
    ROBERTS, R.B. and IP. GOLDSTEIN, “The FRL Manual, ” Al Memo 409, MIT Al-Lab, 1977.Google Scholar
  20. (20).
    STEELS, L., “The KRS Concept System, ” Vrije Universiteit Brussel Al-Lab Tech Rep 86–1, Brussels, 1985.Google Scholar
  21. (21).
    VILAIN, M.B. “The restricted language architecture of a hybrid representation system, ” in Proc. of the Ninth IJCAI, pag. 547–551,1985.Google Scholar
  22. (22).
    ZLOOF, P. “Query by Example, ” IBM Journal of Syst. and Devel., 1986.Google Scholar
  23. (23).
    S. BELHASSEN, E. DUROCHER, I. FILOTTI, W. QING, “Process Migration in a heterogeneous network of operating systems, ” ESPRIT CHAMELEON Tech. Rep. TR-88–55, DELPHI, 1988Google Scholar

Copyright information

© ECSC, EEC, EAEC, Brussels and Luxembourg 1989

Authors and Affiliations

  • Giuseppe Attardi
    • 1
  • Maria Simi
    • 1
  1. 1.DELPHI S.p.A.Viareggio LUItaly

Personalised recommendations