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.
This work has been partially supported by ESPRIT Project P440 (Message Passing Architectures and Description Systems) and is a contribution to Cost13 n.21 (Advanced Issues in Knowledge Representation).
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.
References
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.
ATTARDI, G. and M. SIMI, “Consistency and Completeness of Omega, a Logic for Knowledge Representation, ” Proc. of 7th IJCAI, Vancouver 1981.
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.
ATTARDI, G. and S. DIOMEDI, “Multithread Common LISP, ” ESPRIT MADS Tech. Rep. TR-87.1, DELPHI, 1987.
ATTARDI, G. et al., “Metalevel Programming in CLOS, ” ECOOP 89, S. Cook (ed.), Cambridge University Press, 1989.
BOBROW, D.G. and T. WINOGRAD, “An Overview of KRL, A Knowledge Representation Language, ” Cognitive Science, 1(1), pag. 3–46,1977.
BOBROW, D.G., et al., “Common LISP Object System Specification, ” X3J13 Standards Committee Document 88–003 (ANSI COMMON LISP), June 88.
BRACHMAN, R.J. and J.G. SCHMOLZE, “An Overview of the KLONE Knowledge Representation System, ” Cognitive Science, 9(2), pag. 171–22,1985.
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.
BOBROW, D.G. et al., “The Common LISP Object System, ” SIGPLAN Notices, 1988.
FIKES, R. and T. KEHLER, “The Role of Frame-based Representatio In Reasoning, ” Comm. of the ACM, 28(9), pag. 904–920,1985.
GETTY, R. and R. SCHEIFLER, “The X Window System, ” Transactions on Graphics, 1987.
GOLDBERG, A., “Smalltalk 80, ” Addison-Wesley, 1986.
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.
“KEE User’s Manual, ” IntelliCorp, 1988.
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.
NEBEL, B., “Computational Complexity of Terminological Reasoning in BACK, ” Artificial Intelligence Journal, 34(3), April 1988.
OREN LA MOTT and K. KIMBROUGH, “Common LISP User Interface Environment, ” Texas Instrument, 1988.
ROBERTS, R.B. and IP. GOLDSTEIN, “The FRL Manual, ” Al Memo 409, MIT Al-Lab, 1977.
STEELS, L., “The KRS Concept System, ” Vrije Universiteit Brussel Al-Lab Tech Rep 86–1, Brussels, 1985.
VILAIN, M.B. “The restricted language architecture of a hybrid representation system, ” in Proc. of the Ninth IJCAI, pag. 547–551,1985.
ZLOOF, P. “Query by Example, ” IBM Journal of Syst. and Devel., 1986.
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, 1988
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 ECSC, EEC, EAEC, Brussels and Luxembourg
About this paper
Cite this paper
Attardi, G., Simi, M. (1989). Knowledge Base Development in a Standard Framework. In: Esprit ’89. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-1063-8_29
Download citation
DOI: https://doi.org/10.1007/978-94-009-1063-8_29
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-6968-7
Online ISBN: 978-94-009-1063-8
eBook Packages: Springer Book Archive