The ALDOUS90 Project: Merging Object-Oriented Databases and Knowledge-based Systems

  • F.-Y. Villemin
  • A. Paoli
  • I. Tourrilhes
  • M. Le
Conference paper


The ALDOUS90 project is originated in the difficulties met in realizing complex expert systems (in CAD, CASE, ...) using commercial shells such as KEE: they provide a good set of facilities for developing expert systems, but as the amount of data increases, their performance drasticly decreases. Object-oriented databases, such as O2 of the GIP-ALTAIR, optimize object management which is not done in these shells. The ALDOUS90 is aimed at giving O2 functionalities similar to KEE: a first-order rule language, a context mechanism (versions), a context management system (a powerful inference engine), an extended ATMS (to maintain consistencies of versions, schemas and objects), an extended RETE algorithm (to select rules), an inferential distance algorithm (to solve conflicts in multiple inheritance) and a device to add default values to classes.


Elementary Condition Trade Mark Complex Object Deduction Rule Multiple Inheritance 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Albert, 88]
    ALBERT L.“Présentation et évaluation de la complexité en moyenne d’algorithme de filtrage dans les moteurs d’inférence”, Revue d’Intelligence Artificielle, Vol 2, n°1, 1988.Google Scholar
  2. [Andrews and Harris, 87]
    ANDREWS T. and HARRIS C., “Combining language and database advances in an object-oriented development environment”, OOPSALA 87, October 1987.Google Scholar
  3. [Banerjee and all. 87]
    BANERJEE J., CHOU H. T., GARZA J. and KIM W. “Data model issues for object-oriented applications”, ACM trans. on Office Information Syst. 5, 1 1987.Google Scholar
  4. [Benay and all. 89]
    G. BENAY, M. VAZEILLES and F - Y VILLEMIN, “Conception intelligemment assistée de systèmes temps-réels”, Actes Congrès Systèmes Experts, Avignon 1989.Google Scholar
  5. Filman, 1987] FILMAN R.E., “Reasoning with worlds and truth maintenance in a knowledge-based programming environment”, Communication of ACM, Vol 31, n°4.Google Scholar
  6. [Forgy, 1982]
    FORGY C.L., “RETE: a fast algorithm for the many pattern/many object pattern match problem”, Artificial Intelligence, n°19, 1982.Google Scholar
  7. [de Kleer, 1986]
    de KLEER J., “An Assumption-based TMS”, Artificial Intelligence, n° 28, 1986.Google Scholar
  8. [Lé, 1991]
    LE M., “Base de données et base de connaissances: le gestionniare de monde”, Mémoire d’ingénieur CNAM, 1991.Google Scholar
  9. [Lécluse and all. 88]
    LECLUSE C., RICHARD P., and VELEZ F “02, an Object-Oriented Data Model”, Proceeding of ACM-Sigmod, Chicago, June 1988.Google Scholar
  10. [Maier and all. 86]
    MAIER D., STEIN J., OTTIS A. and PURDY A., “Development of an Object-Oriented DBMS”, OOPSALA 86, September 1986.Google Scholar
  11. [Morris and Nado, 1986]
    MORRIS P.H., NADO R.A., “Representing actions with an assumption-based truth maintenance system”, Proc. of the 5th National Conference in Artificial Intelligence, 1986.Google Scholar
  12. [Paoli, 1991]
    PAOLI A., “Base de données et base de connaissances: le maintien de la cohérence”, Mémoire d’ingénieur CNAM, 1991.Google Scholar
  13. [Touretzky, 1984]
    TOURETZKY D.S., “Implicit ordering of defaults in inheritance systems”, Proc. of A.A.A.I., 1984.Google Scholar
  14. [Tourrilhes, 1991]
    TOURRILHES I., “Base de données et base de connaissances: le filtrage des règles”, Mémoire d’ingénieur CNAM, 1991.Google Scholar

Copyright information

© Springer-Verlag Wien 1991

Authors and Affiliations

  • F.-Y. Villemin
    • 1
  • A. Paoli
    • 1
  • I. Tourrilhes
    • 1
  • M. Le
    • 1
  1. 1.Centre d’Etude et de Recherche en Informatique du CNAMParis Cedex03France

Personalised recommendations