Direct automated inversion of logic grammars

New Generation Computing

Volumn 14, Issue 2, 1996, Pages 131-168

  Minnen, Guido ^a,b   Gerdemann, Dale ^a   Hinrichs, Erhard ^a  

^a UNIVERSITY OF TÜBINGEN   (Germany)

^b TILBURG UNIVERSITY   (Netherlands)

Author keywords

Bidirectionality between Parsing and Generation; Direction of Computation; Reversible Grammar

Indexed keywords

AUTOMATA THEORY; FORMAL LOGIC; NATURAL LANGUAGE PROCESSING SYSTEMS; PERFORMANCE; PROGRAM INTERPRETERS; PROLOG (PROGRAMMING LANGUAGE); RECURSIVE FUNCTIONS;

BIDIRECTIONALITY; COMPILE TIME; DIRECT AUTOMATED INVERSION; DIRECTION OF COMPUTATION; LOGIC GRAMMARS; PARSING; PROLOG INTERPRETER;

COMPUTATIONAL GRAMMARS;

EID: 0029774635     PISSN: 02883635     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF03037497     Document Type: Article

References (22)

1. Dymetman, M. and Isabelle, P., "Reversible Logic Grammars for Machine Translation," in Proceedings of the 2nd International Conference on Theoretical and Methodological Issues in Machine Translation of Natural Languages, Pittsburgh, PA, 1988.
2. Dymetman, M., Isabelle, P., and Perrault, F., "A Symmetrical Approach to Parsing and Generation," in Proceedings of COLING-90, Helsinki, Finland, 1990.
3. Dymetman, M., "A Generalized Greibach Normal Form for Definite Clause Grammars," in Proceedings of COLING-92, Nantes, France, 1992.
4. Gerdemann, D., "Parsing and Generation of Unification Grammars," Ph.D dissertation, published as Beckman Institute Cognitive Science Technical Report, CS-91-06, University of Illinois, 1991.
5. Gerdemann, D. and Hinrichs, E., "Functor-Driven Natural Language Generation with Categorical-Unification Grammar," in Proceedings of COLING-90, Helsinki, Finland, 1990.
6. Hinrichs, E., Meurers, D., and Nakazawa, T., "Partial-VP and Split-NP Topicalization in German: An HPSG Analysis and Its Implementation," Arbeitspapiere des Sonderforschungsbereichs 340 "Sprachtheoretische Grundlagen für die Computerlinguistik", 1994.
7. Linden, E. van der and Minnen, G., "Algorithms for Generation in Lambek Theorem Proving," in Proceedings of the 28th ACL, Pittsburgh, PA, 1990.
8. Martinović, M. and Strzalkowski, T., "Comparing Two Grammar-based Generation Algorithms: A Case Study," in Proceedings of the 30th ACL, Newark, DE, 1992.
9. ∼minnen)
10. ∼minnenl)
11. Peng, P. and Strzalkowski, T., "An Implementation of a Reversible Grammar," in Proceedings of the 8th Canadian Conference on Artificial Intelligence, Ottawa, Canada, 1990.
12. Pereira, F. and Shieber, S., Prolog and Natural Language Analysis, Volume 10 of CSLI Lecture Notes, Stanford, CA, 1987.
13. O'Keefe, R., The Craft of Prolog, MIT Press, Cambridge, MA, 1990.
14. Sterling, L. and Shapiro, E., The Art of Prolog, MIT Press, Cambridge, MA, 1986.
15. Shieber, S., "A Uniform Architecture for Parsing and Generation," in Proceedings of COLING-88, Budapest, Hungary, 1988.
16. Shieber, S., Van Noord, G., Moore, R., and Pereira, F., "Semantic Head-Driven Generation," Computational Linguistics, 16, 1, 1990.
17. Shoham, Y. and McDermott, D., "Directed Relations and Inversion of Prolog Programs," in Proceedings of the International Conference of Fifth Generation Computer Systems, Institute for New Generation Computer Technology, Tokyo, Japan, 1984.
18. Strzalkowski, T., "How to Invert a Parser into an Efficient Generator: An Algorithm for Logic Grammars," in Proceedings of COLING-90, Helsinki, Finland, 1990.
19. Strzalkowski, T., "Reversible Logic Grammars for Natural Language Parsing and Generation," Computational Intelligence, 6, 3, 1990.
20. Strzalkowski, T., "A General Computational Method for Grammar Inversion," in Proceedings Reversible Grammar Workshop, Berkeley, CA, 1991.
21. Strzalkowski, T. and Peng, P., "Automated Inversion of Logic Grammars for Generation," in Proceedings of the 28th ACL, Pittsburgh, PA, 1990.
22. Ullman, J., "Implementation of Logical Query Languages for Databases," ACM Transactions on Database Systems, 10, 3, 1985.