Deductive Parsing: The Use of Knowledge of Language

  • Mark Johnson
Part of the Studies in Linguistics and Philosophy book series (SLAP, volume 44)


Current linguistic theory distinguishes a competent speaker’s knowledge of a language from the way in which that knowledge is used. This chapter describes a framework for modeling the relationship between knowledge of language and its use. The ‘Parsing as Deduction’ framework1 models knowledge of a language as an axiom system, and knowledge about the utterances of that language as logical consequences of these axioms. The use of knowledge of a language to generate knowledge about some particular utterance can then be regarded as the deduction of the relevant consequences in the theory defined by the axioms.


Inference Rule Logical Language Tree Automaton Universal Grammar Case Property 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Berwick, R.: 1991 forthcoming, ‘Principle-Based Parsing’, in T. Sells, S. Shieber, and T. Wasow (eds.), Foundational Issues in Natural Language Processing, MIT Press, Cambridge, Massachusetts.Google Scholar
  2. Berwick, R. and A. Weinberg: 1984, The Grammatical Basis of Linguistic Performance, MIT Press, Cambridge, Massachusetts.Google Scholar
  3. Chomsky, N.: 1981, Lectures on Government and Binding: The Pisa Lectures, Foris, Dordrecht, Holland.Google Scholar
  4. Chomsky, N.: 1986, Knowledge of Language: Its Nature, Origin and Use, Praeger Publishers, New York.Google Scholar
  5. Cohen, J.: 1985, ‘Describing Prolog by its Interpretation and Compilation’, Communications of the Association for Computing Machinery 28, 1311–1324.CrossRefGoogle Scholar
  6. Cohen, J. and T. Hickey: 1987, ‘Parsing and Compiling Using Prolog’, ACM Transactions on Programming Languages and Systems 9, 125–163.CrossRefGoogle Scholar
  7. Gazdar, G., E. Klein, G. Pullum, and I. Sag: 1985, Generalized Phrase Structure Grammar, Basil Blackwell, Oxford.Google Scholar
  8. Gècseg, F. and M. Steinby: 1984, Tree Automata, Akadémiai Kiadó, Budapest, Hungary.Google Scholar
  9. Genesereth, M. and N. Nilsson: 1987, Logical Foundations for Artificial Intelligence, Morgan Kaufmann, Los Altos, California.Google Scholar
  10. Giannesini, F., H. Kanoui, R. Pasero, and M. Caneghem: 1986, Prolog, Addison-Wesley, Reading, Massachusetts.Google Scholar
  11. Johnson, M.: 1989, ‘Move-α and the Unfold-Fold Transform’, unpublished manuscript, Brown University Department of Cognitive and Linguistic Sciences, Providence, Rhode Island.Google Scholar
  12. Kowalski, R.: 1979, Logic for Problem Solving, North Holland, New York.Google Scholar
  13. Marcus, M.: 1980, A Theory of Syntactic Recognition for Natural Language, MIT Press, Cambridge, Massachusetts.Google Scholar
  14. Marcus, M., D. Hindle, and M. Fleck: 1983, ‘D-Theory: Talking about Talking about Trees’, Proceedings of the 21st Annual Meeting of the Association for Computational Linguistics, Cambridge, Massachusetts, pp. 129–136.Google Scholar
  15. Miller, D. and G. Nadathur: 1986, ‘Some Uses of Higher-Order Logic in Computational Linguistics’, Proceedings of the 24th Annual Meeting of the Association for Computational Linguistics, Columbia, New York, pp. 247–256.Google Scholar
  16. Pereira, F. and S. Shieber: 1987, Prolog and Natural Language Processing, University of Chicago Press, Chicago, Illinois.Google Scholar
  17. Pereira, F. and D. Warren: 1983, ‘Parsing as Deduction’, Proceedings of the 21st Annual Meeting of the Association for Computational Linguistics, Cambridge, Massachusetts, pp. 137–144.Google Scholar
  18. Tamaki, H. and T. Sato: 1984, ‘Unfold/Fold Transformation of Logic Programs’, Proceedings of the Second International Logic Programming Conference, Uppsala University, Uppsala, Sweden, pp. 127–138.Google Scholar
  19. Van Riemsdijk, H. and E. Williams: 1986, Introduction to the Theory of Grammar, MIT Press, Cambridge, Massachusetts.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 1991

Authors and Affiliations

  • Mark Johnson
    • 1
  1. 1.Cognitive and Linguistic SciencesBrown UniversityProvidenceUSA

Personalised recommendations