Skip to main content

From feature bundles to abstract data types: New directions in the representation and processing of linguistic knowledge

  • Syntax And Grammatical Analysis
  • Conference paper
  • First Online:
Natural Language at the Computer (IBM 1988)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 320))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Aït-Kaci, H. (1984) A New Model of Computation Based on a Calculus of Type Subsumption. Ph.D. Thesis, University of Pennsylvania.

    Google Scholar 

  • Bear, J. (1981) Gaps as Syntactic Features. MA Thesis, University of Texas at Austin.

    Google Scholar 

  • Beierle, C., and U. Pletat (1987) Feature Graphs and Abstract Data Types: A Unifying Approach. ms. IBM Germany, Science and Technology Div., LILOG, Stuttgart.

    Google Scholar 

  • Beierle, C., U. Pletat, and H. Uszkoreit (forthcoming) A Formal Semantics of the Stuttgart Type Unification Formalism.

    Google Scholar 

  • Bobrow, D.G., and T. Winograd (1977) An Overview of KRL. a Knowledge Representation Language. Cognitive Science 1, 3–46.

    Google Scholar 

  • Bouma G., König, E., and H. Uszkoreit (1988) The Application of the Stuttgart Type Unification Formalism to Syntactic and Semantic Processing. to appear in: IBM Journal of Research and Development, March 1988.

    Google Scholar 

  • Brachman R. J. and J. G. Schmolze (1985) An Overview of the KL-ONE Knowledge Representation System, Cognitive Science 9, 171–216.

    Google Scholar 

  • Bresnan, J. (ed) (1982) The Mental Representation of Grammatical Relations. Cambridge, Mass.

    Google Scholar 

  • Cardelli, L. (1984) A Semantics of Multiple Inheritance. Technical Report, Bell Laboratories, Murray Hill, New Jersey.

    Google Scholar 

  • Chomsky, N. (1965) Aspects of the Theory of Syntax. Cambridge, Mass.: MIT Press.

    Google Scholar 

  • Chomsky, N. (1970) Remarks on Nominalization. In: R. A. Jacobs and P. S. Rosenbaum (eds.), A Festschrift for Morris Halle. New York: Holt, Rinehart and Winston, 232–286.

    Google Scholar 

  • Colmerauer, A., H. Kanoui, and M. van Caneghem (1979) Etude et Realisation d'un Systeme Prolog. Groupe d'Intelligence Artificielle, U.E.R. de Luminy, Universite d'Aix-Marseille II.

    Google Scholar 

  • Colmerauer, A. (1978) Metamorphosis Grammars. In: L. Bolc (ed) Natural Language Communication with Computers. Berlin: Springer.

    Google Scholar 

  • Dahl, O.-J., B. Myhrhaug, and Kristen Nygaard. (1970) The SIMULA 67 Common Base Language. Publication S-22, Norwegian Computing Center, Oslo.

    Google Scholar 

  • Eisele, A. (1984) A Lexical Functional Grammar System in Prolog, ms. University of Stuttgart.

    Google Scholar 

  • Gazdar, G. (1979) English as a Context-Free Language. ms. Cognitive Studies Programme, School of Social Sciences, University of Sussex.

    Google Scholar 

  • Gazdar, G., and G. K. Pullum (1982) Generalized Phrase Structure Grammar: A Theoretical Synopsis. Bloomington, Indiana: Indiana University Linguistics Club, 38–68.

    Google Scholar 

  • Gazdar, G., E. Klein, G. Pullum, and I. Sag (1985) Generalized Phrase Structure Grammar. London: Blackwell.

    Google Scholar 

  • Goguen, J., J. Thatcher, and E. Wagner (1978) An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types. In: Yeh, R. (ed) Current Trends in Programming Methodology IV, 80–149, New Jersey: Prentice-Hall.

    Google Scholar 

  • Harman, G. (1963) Generative Grammars Without Transformation Rules: A Defense of Phrase Structure. Language, 39, 597–616.

    Google Scholar 

  • Harris, Z. (1951) Methods in Structural Linguistics. Chicago: University of Chicago Press.

    Google Scholar 

  • Heidorn, G. E. (1976) Automatic Programming Through Natural Language Dialogue. IBM Journal of Research and Development 20, 302–313.

    Google Scholar 

  • Hendrix, G. G. (1975) Expanding the Utility of Semantic Networks Through Partitioning. In: Procceedings of the IJCAI 4, 115–121.

    Google Scholar 

  • Hirsh, S. (1987) P-PATR: A Prolog Implementation of PATR-II, MA Thesis, Stanford University.

    Google Scholar 

  • Jackendoff, R. S. (1977) X-bar Syntax: A Study of Phrase Structure, Cambridge, Mass.: MIT Press.

    Google Scholar 

  • Kaplan, R. M. (1973) A General Syntactic Processor. In: R. Rustin (ed) Natural Language Processing. New York: Algorithmics Press.

    Google Scholar 

  • Kasper, R. T. (1987) Feature Structures: A Logical Theory with Application To Language Analysis, Ph.D. Thesis, University of Michigan.

    Google Scholar 

  • Kasper, R. T., and W. C. Rounds (1986) A Logical Semantics for Feature Structures. In: Proceedings of the 24th Annual Meeting of the ACL.

    Google Scholar 

  • Katz, J. J., and J. A. Fodor (1963) The Structure of a Semantic Theory, Language 39, 170–210.

    Google Scholar 

  • Kay, M. (1979) Functional Grammar. In: C. Chiarello et al. (eds) Proceedings of the Fifth Annual Meeting of the Berkeley Linguistic Society, 142–158.

    Google Scholar 

  • Kay, M. (1985) Parsing in Functional Unification Grammar, in D. Dowty, L. Karttunen, and A. Zwicky (eds) Natural Language Parsing, Cambridge, England.

    Google Scholar 

  • Minsky, M. (1975) A Framework for Representing Knowledge. In: P. H. Winston (ed) The Psychology of Computer Vision. New York: McGraw-Hill, 211–277.

    Google Scholar 

  • Mukai, K. (1985) Unification over Complex Indeterminates in Prolog. ICOT Technical Report No. TR-113. Tokyo, ICOT Research Center, Institute for New Generation Computing.

    Google Scholar 

  • Pereira, F. C. N. (1983) Logic for Natural Language Analysis. Technical Note 275, AI Center, SRI International, Menlo Park, Cal.

    Google Scholar 

  • Pereira, F. C. N., and D. H. D. Warren (1980) Definite Clause Grammars for Natural Language Analysis. Artificial Intelligence 13, 231–278.

    Article  Google Scholar 

  • Quillian, M. R. (1968) Semantic Memory. In: M. Minsky (ed) Semantic Information Processing. Cambridge, Mass.: MIT Press, 216–217.

    Google Scholar 

  • Roberts, R. B., and I. P. Goldstein (1977) The FRL Primer. Memo 408, MIT AI Laboratory, MIT.

    Google Scholar 

  • Robinson, J. (1982) DIAGRAM: A Grammar for Dialogues. CACM 25, 27–47.

    Google Scholar 

  • Robinson, J. A. (1965) A Machine-oriented Logic Based on the Resolution Principle. JACM 25, 23–44.

    Google Scholar 

  • Sag, I., and C. Pollard (1987) Head-Driven Phrase Structure Grammar: An Informal Synopsis, CSLI Report79, Stanford University.

    Google Scholar 

  • Shieber, S., H. Uszkoreit, F. Pereira, J. Robinson, and M. Tyson (1983) The Formalism and Implementation of PATR-II. in Grosz, B. and M. Stickel (eds.), Research on Interactive Acquisition and Use of Knowledge. SRI International, Menlo Park, Cal.

    Google Scholar 

  • Smolka, G., and H. Aït-Kaci (1987) Inheritance Hierarchies: Semantics and Unification. MCC Technical Report AI-057-87, MCC, Austin, Texas.

    Google Scholar 

  • Sowa, J. F. (1984) Conceptual Structure: Information Processing in Mind and Machine. Reading, Mass.: Addison-Wesley.

    Google Scholar 

  • Uszkoreit, H. (1986) Categorial Unification Grammars, in Proceedings of COLING 1986, Bonn, W.Germany.

    Google Scholar 

  • Uszkoreit, H. (1987) The Stuttgart Type Unification Formalism, LILOG Report, IBM Germany, Science and Technology Div. LILOG, Stuttgart.

    Google Scholar 

  • Weinreb, D., and D. Moon (1981) FLAVORS: Message Passing in the LISP-Machine, In: Lisp-Machine Manual, Cambridge, Mass.: MIT.

    Google Scholar 

  • Winograd, T. (1972) Understanding Natural Language. New York: Academic Press.

    Google Scholar 

  • Woods, W. A. (1970) Transition Network Grammars for Natural Language Analysis. CACM 13, 591–606.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Albrecht Blaser

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Uszkoreit, H. (1988). From feature bundles to abstract data types: New directions in the representation and processing of linguistic knowledge. In: Blaser, A. (eds) Natural Language at the Computer. IBM 1988. Lecture Notes in Computer Science, vol 320. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50011-1_32

Download citation

  • DOI: https://doi.org/10.1007/3-540-50011-1_32

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-50011-7

  • Online ISBN: 978-3-540-45885-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics