Abstract
A procedural semantics system is described for English imperative sentences in natural language programming. Issues related to the handling of dialog focus, noun group resolution, quantifier processing, and imperative verb execution are discussed. Sequences of imperative sentences may be assembled to build natural language programs and techniques are given for processing such programs. The final sections include a discussion of related research and a brief overview of the field.
This material is based upon work partially supported by the National Science Foundation under Grant Number MCS-7904120 at Duke University and partially supported by the Naval Postgraduate School, Monterey, California while the author was visiting in the Spring of 1981.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ballard, B. W.: 1979, Semantic Processing for a Natural Language Programming System (Ph.D. Dissertation), Report CS-1979-5, Duke University, Durham, N.C.
Balzer, R.M.: 1973, “A Global View of Automatic Programming,” Proc. Third Joint Conf. on Artificial Intelligence, pp. 494–499.
Balder, R. M., Goldman, N., and Wile, D.: 1978, “Informality in Program Specifications,” IEEE Trans, on Software Engineering, Vol. SE-4, No. 2, pp. 94–103.
Barstow, D. R.: 1977, Automatic Construction of Algorithms and Data Structures Using a Knowledge Base of Programming Rules (Ph.D. Dissertation), Stanford Artificial Intelligence Memo AIM-308, Stanford, Calif.
Biermann, A. W. and Ballard, B. W.: 1980, “Towards Natural Language Programming,” American Journal of Computational Linguistics, Vol. 6, No. 2, pp. 71–86.
Biermann, A. W., Ballard, B. W., and Holler, A.: 1979, “An Experimental Study of Natural Language Programming,” Report CS-1979-9, Duke University, Durham, N. C.
Biermann, A. W., Baum, R. I., and Petry, F. E.: 1975, “Speeding Up the Synthesis of Programs from Traces,” IEEE Trans, on Computers, Vol. C-24, No. 2.
Dijkstra, E. W.: 1978, “On the Foolishness of Natural Language Programming,’” Unpublished Report.
Fink, P. K.: 1981, Thesis in preparation, Duke University, Durham, N. C.
Ginsparg, J. M.: 1978, Natural Language Processing in an Automatic Programming Domain, Stanford Artificial Intelligence Laboratory Memo AIM-316, Stanford, Calif.
Green, C. C.: 1967, “The Design of the PSI Program Synthesis System,” Proc. of the Second Inter. Conference on Software Engineering, San Francisco, Calif.
Green, C. C., Waldinger, R. J., Barstow, D. R., Elschlager, R., Lenat, D. B., McCune, B. P., Shaw, P. E., and Steinberg, L. I.,: 1974, “Progress Report on Program Understanding Systems,” Memo AIM-240, Stanford Artificial Intelligence, Stanford, Calif.
Grosz, B. J.; 1978, “Focus Spaces; A Representation of the Focus of Attention of a Dialog,” in Understanding Natural Language (Ed. D. E. Walker ), North Holland, pp. 269–284.
Heidorn, G. E.: 1972, Natural Language Inputs to a Simulation Programming System, Technical Report, Naval Postgraduate School, Monterey, Calif.
Heidorn, G. E.: 1976, “Automatic Programming through Natural Language Dialogue: A Survey,” IBM Journal of Research and Development, pp. 302–313.
Hobbs, J. R.: 1976, “Pronoun Resolution,” Report 76 - 1, Dept. of Computer Sciences, City University of New York, New York.
Kant, E.: 1979, Efficiency Considerations in Program Synthesis: A Knowledge Based Approach, Memo AIM-331, Stanford Artificial Intelligence Laboratory, Stanford, Calif.
Martin, W. A., Ginzberg, M. J., Krumland, R., Mark, B., Morgenstern, M., Niamir, B.£ and Sunguroff, A.: 1974, Internal Memos, Automatic Programming Group, Massachusetts Institute of Technology, Cambridge, Mass.
McCune, B.: 1978, Building Program Models Incrementally from Informal Descriptions, Technical Report, Stanford Artificial Intelligence Laboratory, Stanford, Calif.
Mikelsons, M.: 1973, Computer Assisted Application Definition, Unpublished Memo, IBM Thomas J. Watson Research Center, YorktownHeights, New York.
Mikelsons, M.: 1975, “Computer Assisted Application Definition,” Proc. of Second ACM Symposium on Principles of Programming Languages, Palo Alto, Calif.
Nilsson, N. J.: 1980, Principles of Artificial Intelligence, Tioga Publishing Co., Palo Alto, Calif.
Petrick, S. R.: 1976, “On Natural Language Based Computer Systems,” IBM Journal of Research and Development, Vol. 20, No. 4, pp. 314–325.
Sammet, J. E.: 1966, “The Use of English as a Programming Language,” Communications of ACM, Vol. 9, pp. 228
Samuel, A.; 1967, 11 Some Studies in Machine Learning Using the Game of Checkers II, IBM Journal of Research and Development, Vol. 11, pp. 601–617.
Sigmpn, A. H.: 1981, Thesis in preparation, Duke University, Durham, N. C.
Truscott, T.: 1981, Thesis in prepartion, Duke University, Durham, N. C.
Walker, D. E.: 1978, Understanding Spoken Language, North Holland, New York.
Winograd, T.: 1972, Understanding Natural Language, Academic Press, New York.
Woods, W. A.: 1970, “Transition Network Grammers for Natural Language Analysis,” Communicatxons of ACM, Vol. 13, pp. 591–606.
Woods, W. A., Kaplan, R. M. and Nash-Weber, B.: 1972, The Lunar Sciences Natural Language Information System:Final Report, Report Number 2378, Bolt, Beranek, and Newman, Inc., Cambridge, Mass.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1983 D. Reidel Publishing Company
About this paper
Cite this paper
Biermann, A.W. (1983). Natural Language Programming. In: Biermann, A.W., Guiho, G. (eds) Computer Program Synthesis Methodologies. NATO Advanced Study Institutes Series, vol 95. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-7019-9_10
Download citation
DOI: https://doi.org/10.1007/978-94-009-7019-9_10
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-009-7021-2
Online ISBN: 978-94-009-7019-9
eBook Packages: Springer Book Archive