A fifth generation approach to intelligent information retrieval

ABSTRACT

This paper briefly examines certain of the Intelligent Information Retrieval (IIR) mechanisms used in the RESEDA system, a system equipped with “reasoning” capabilities in the field of complex biographical data management. Particular attention is paid to a description of the different “levels” of inference procedure which can be executed by the system. The intention is to show that the technical solutions to IIR problems implemented in RESEDA are of an equivalent level to those now proposed in the same field by the Japanese project for Fifth Generation Computer Systems.

REFERENCES

• 1: AMAMIYA, M., HAKOZAKI, K., YOKOI, T., FUSAOKA, A., and TANAKA, Y. (1982) "New Architecture for Knowledge Base Mechanisms", in Fifth Generation Computer Systems, Moto-oka, T., ed. Amsterdam: North-Holland.
• 2: BRUYNOOGHE, M. (1982) "The Memory Management of PROLOG Implementations", in Logic Programming, Clarck, K.L., and Tärnlund, S.A., eds. New York: Academic Press.
• 3: Eugene Charniak , James R. Meehan , Christopher K. Reisbeck , Drew V. McDermott, Artificial Intelligence Programming, Lawrence Erlbaum Associates, Inc., Mahwah, NJ, 1987
• 4: COLMERAUER, A. (1983) "PROLOG in 10 Figures", in Proceedings of the 8th International Joint Conference on Artificial Intelligence - IJCAI/8. Los Altos: William Kaufmann, Inc.
• 5: COLMERAUER, A., KANOUI, H., et VAN CANEGHEM, M. (1983) "PROLOG, bases théoriques et développements actuels", TSI - Technique et science informatiques, II, 271-311.
• 6: Randall Davis, Generalized procedure calling and content-directed invocation, Proceedings of the 1977 symposium on Artificial intelligence and programming languages, p.45-54, August 15-17, 1977
• 7: DAVIS, R. (1980) "Meta-Rules: Reasoning and Control", Artificial Intelligence, XV, 179-222.
• 8: FILLMORE, C.J. (1968) "The Case for Case", in Universals in Linguistic Theory, ach, E., and Harms, R.T., eds. New York: Holt, Rinehart and Winston.
• 9: FILLMORE, C.J. (1977) "The Case for Case Reopened", in Syntax and Semantics, 8, Cole P., and Saddock, J.R., eds. New York: Academic Press.
• 10: Alan Mark Frisch, Knowledge retrieval as specialized inference (artificial intelligence, sorted logic), 1986
• 11: Alan M. Frisch , James F. Allen , Mark Giuliano, An overview of the HORNE logic programming system, ACM SIGART Bulletin [doi>10.1145/1056623.1056624]
• 12: FUCHI, K. (1982) "Aiming for Knowledge Information Processing Systems", in Fifth Generation Computer Systems, Moto-oka, T., ed. Amsterdam: North-Holland.
• 13: GALLAIRE, H., and LASSERRE, Claudine (1979) "Controlling Knowledge Deduction in a Declarative Approach", in Proceedings of the 6th International Joint Conference on Artificial Intelligence - IJCAI/6. Los Altos: William Kaufmann, Inc.
• 14: KOWALSKY, R. (1982) "Logic as a Computer Language", in Logic Programming, Clarck, K.L., and Tärnlund, S.A., eds. New York: Academic Press.
• 15: Georges Lee , Ruddy Lelouche , Vincent Meissonnier , Gian Piero Zarri, Using APL in an Artificial Intelligence environment: A knowledge engineering system dealing with biographical data, Proceedings of the international conference on APL, p.183-191, July 26-30, 1982, Heidelberg, Germany
• 16: MOTO-OKA, T., ed. (1982) Fifth Generation Computer Systems. Amsterdam: North-Holland.
• 17: PEREIRA, L.M., and PORTO, A. (1982) "Selective Backtracking", in Logic Programming, Clarck, K.L., and Tärnlund, S.A., eds. New York: Academic Press.
• 18: YOKOTA, M., YAMAMOTO, A., TAKI, K., NISHIKAWA, H., and UCHIDA, S. (1983) "The Design and Implementation of a Personal Sequential Inference Machine", New Generation Computing, I, 125-144.
• 19: ZARRI, G.P. (1981) "Building the Inference component of an Historical Information Retrieval system", in Proceedings of the 7th International Joint Conference on Artificial Intelligence - IJCAI/7. Los Altos: William Kaufmann, Inc.
• 20: ZARRI, G.P. (1983) "An Outline of the Representation and Use of Temporal Data in the RESEDA System", Information Technology: Research and Development, II, 89-108.
• 21: ZARRI, G.P. (1984) "Expert Systems and Information Retrieval: An Experiment in the Domain of Biographical Data Management", International Journal of Man-Machine Studies - Special Issue on Expert Systems, Part 2, XX, 87-106.
• 22: ZARRI, G.P., ORNATO, Monique, LEE, G., LELOUCHE, R., MEISSONNIER, V., de VRIES, P., et ROCCATI, M. (1980) Project RESEDA/1: Rapport sur les recherches effectuées du ler octobre 1979 au ler juillet 1980 (Rapp. LISH/187). Paris: Laboratoire d'Informatique pour les Sciences de l'Homme.
• 23: ZARRI, G.P., LELOUCHE, R., ORNATO, Monique, FARIBAULT, Marthe, MEISSONNIER, V., LEE, G., et LEON, Jacqueline (1983) Réalisations pratiques et développements théoriques dans le cadre d'un systéme I.A. pour bases de données biographiques: Rapport final (Rapp. LISH/363 - ATP no 955045). Paris: Laboratoire d'Informatique pour les Sciences de l'Homme.

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.3 INFORMATION STORAGE AND RETRIEVAL
      H.3.3 Information Search and Retrieval

Additional Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT

General Terms:
Management, Theory