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.
This work was completed with the help of a grant from SESORI (Research Convention 73047).
Let us also indicate that the Artificial Intelligence Group is an Associated Research Group of the CNRS.
Preview
Unable to display preview. Download preview PDF.
Bibliography
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.
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.
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.
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.
COLMERAUER A., DANSEREAU J., HARRIS B. et KITTREDGE, TAUM 71, Rapport annuel du projet de traduction automatique de l'Université de MONTREAL, Januar 1971.
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.
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.
KOWALSKI R. et KUEHNER D., Linear resolution with selection function, Artificial Intelligence 2, 1971.
KOWALSKI R. et VAN EMDEN M., The semantic of predicate logic as programming language, JACM, 23, nℴ 4, pp. 733–743, October 1976.
ROBINSON J.A., A machine-oriented logic based on the resolution principle, JACM 12, nℴ 1, pp. 227–234, December 1965.
ROUSSEL Ph., PROLOG, Manuel d'utilisation, Rapport interne, Groupe d'Intelligence Artificielle, UER de LUMINY, Université d'AIX-MARSEILLE, September 1975.
WARREN D., Warplan: A system for generating, plans, Memo nℴ 76, Department of computational logic, School of Artificial Intelligence, Université d'EDIMBOURG, June 1974.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1978 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Colmerauer, A. (1978). Metamorphosis grammars. In: Bolc, L. (eds) Natural Language Communication with Computers. Lecture Notes in Computer Science, vol 63. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0031371
Download citation
DOI: https://doi.org/10.1007/BFb0031371
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08911-7
Online ISBN: 978-3-540-35765-0
eBook Packages: Springer Book Archive