Grammar bidirectionality through controlled backward deduction / Marc Dymetman, Pierre Isabelle. : Co28-1/48-1990E-PDF
"Grammars can be seen as logical theories, and parsers as special purpose theorem provers for these theories. Generators can and should be viewed in the same way. We present an approach in which the same goal-oriented theorem prover is used for parsing and generation. Grammar rules (ie axioms of the theory) are annotated with control directives addressed to the parsing mode or to the generation mode. This ensures a strict declarative equivalence of the two modes, as well as linguistic perspicuity, while allowing the linguist to specify processing behaviour in both modes with some flexibility. Such flexibility turns out to be highly valuable, considering our practical aims: building a bidirectional English-French translation system capable of handling real texts in a limited domain"--Abstract.
Lien permanent pour cette publication :
publications.gc.ca/pub?id=9.873043&sl=1
| Ministère/Organisme |
|
|---|---|
| Titre | Grammar bidirectionality through controlled backward deduction / Marc Dymetman, Pierre Isabelle. |
| Type de publication | Monographie |
| Langue | [Anglais] |
| Autres langues publiées | [Français] |
| Format | Texte numérique |
| Document électronique | |
| Note(s) |
|
| Information sur la publication |
|
| Auteur / Contributeur |
|
| Description | 1 online resource (30 pages) |
| Numéro de catalogue |
|
| Descripteurs |
Demander des formats alternatifs
Pour demander une publication dans un format alternatif, remplissez le formulaire électronique des publications du gouvernement du Canada. Utilisez le champ du formulaire «question ou commentaire» pour spécifier la publication demandée.Détails de la page
- Date de modification :