Metamorphosis grammars

  • A. Colmerauer
Chapter
Part of the Lecture Notes in Computer Science book series (LNCS, volume 63)

Abstract

We present some very general grammars in which each re-writing rule is of the type: “replace such and such sequence of trees by such and such another sequence of trees”. Within the framework of programming in first-order logic, we propose axioms for these grammars which produce efficient parsing and syntheses algorithms. We illustrate this work by the programming-language PROLOG and by two important examples: writing of a compiler and writing of an intelligent system conversing in French.

Key-words

Grammars syntactic analysis 1st order logic predicate calculus automatic demonstration compilation natural language 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. (1).
    BATTANI G. et MELONI H., Interpréteur du langage de programmation prolog, Rapport de DEA, Groupe d'Intelligence Artificielle, UER de LUMINY, Université d'AIX-MARSEILLE, September 1973.Google Scholar
  2. (2).
    BATTANI G. et MELONI H., Mise en oeuvre des contraintes phonologiques, syntaxiques et sémantiques dans un système de compréhension automatique de la parole, Thèse de 3ème cycle. Groupe d'Intelligence Artificielle, UER de LUMINY, Université d'AIX-MARSEILLE, June 1975.Google Scholar
  3. (3).
    BERGMAN M. et KANOUI H., Sycophante: Système de calcul formel et d'intégration symbolique sur ordinateur, Rapport de recherche, Groupe d'Intelligence Artificielle, UER de LUMINY, Université d'AIX-MARSEILLE, October 1975.Google Scholar
  4. (4).
    COLMERAUER A., les systèmes-q ou un formalisme pour analyser et synthétiser des phrases sur ordinateur, publication interne nℴ 43, Département d'Informatique, Université de MONTREAL, September 1970.Google Scholar
  5. (5).
    COLMERAUER A., DANSEREAU J., HARRIS B. et KITTREDGE, TAUM 71, Rapport annuel du projet de traduction automatique de l'Université de MONTREAL, Januar 1971.Google Scholar
  6. (6).
    COLMERAUER A., KANOUI H., PASERO R. et ROUSSEL Ph., Un système de communication homme-machine en franÇais, Rapport de recherche, Groupe d'Intelligence Artificielle, UER de LUMINY, Université d'AIX-MARSEILLE, June 1973.Google Scholar
  7. (7).
    PASERO R., Représentation du franÇais en logique du 1er ordre, en vue de dialoguer avec un ordinateur, Thèse de 3ème cycle, Groupe d'Intelligence Artificielle, UER de LUMINY, Université d'AIX-MARSEILLE, October 1972.Google Scholar
  8. (8).
    KOWALSKI R. et KUEHNER D., Linear resolution with selection function, Artificial Intelligence 2, 1971.Google Scholar
  9. (9).
    KOWALSKI R. et VAN EMDEN M., The semantic of predicate logic as programming language, JACM, 23, nℴ 4, pp. 733–743, October 1976.CrossRefGoogle Scholar
  10. (10).
    ROBINSON J.A., A machine-oriented logic based on the resolution principle, JACM 12, nℴ 1, pp. 227–234, December 1965.CrossRefGoogle Scholar
  11. (11).
    ROUSSEL Ph., PROLOG, Manuel d'utilisation, Rapport interne, Groupe d'Intelligence Artificielle, UER de LUMINY, Université d'AIX-MARSEILLE, September 1975.Google Scholar
  12. (12).
    WARREN D., Warplan: A system for generating, plans, Memo nℴ 76, Department of computational logic, School of Artificial Intelligence, Université d'EDIMBOURG, June 1974.Google Scholar

Copyright information

© Springer-Verlag 1978

Authors and Affiliations

  • A. Colmerauer
    • 1
  1. 1.GROUPE D'INTELLIGENCE ARTIFICIELLE U.E.R. Scientifique de LuminyUniversité d'Aix-Marseille IIMarseilleFrance

Personalised recommendations