This article is concerned with the problems of understanding the grammar and semantics of English as it would be used to instruct a robot. We describe a working prototype system, programmed in Standard LISP, which translates English sentences into an operator language and then executes them. Imperatives become actions that are performed while declaratives become assertions that are checked for truth. We describe the context-free grammar and parser that are the first stage of translation, the postparser that uses context-sensitive information to eliminate the many bad parses permitted by the context-free grammar, and the table-driven final stage of translation. We also describe the semantics of the operators and arguments, including the context-referent mechanisms we invented to construct loops rather than the artificial means (such as labels and goto, or begin-end pairs) usually employed in programming languages. Finally, we discuss the general question of designing systems which build new procedures out of already-known procedures in ways that are similar to how a human being is taught new procedures in terms of old procedures.
[1]
Bruce Lowerre,et al.
The Harpy speech understanding system
,
1990
.
[2]
Terry Winograd,et al.
Understanding natural language
,
1974
.
[3]
Richard C. Atkinson,et al.
Changing education : alternatives from educational research
,
1973
.
[4]
Patrick Suppes,et al.
Facts And Fantasies Of Education
,
1973
.
[5]
Wayne A. Lea,et al.
Trends in Speech Recognition
,
1980
.
[6]
Daniel H. Younger,et al.
Recognition and Parsing of Context-Free Languages in Time n^3
,
1967,
Inf. Control..
[7]
Patrick Suppes,et al.
A procedural theory of eye movements in doing arithmetic
,
1983
.
[8]
Victor R. Lesser,et al.
The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty
,
1980,
CSUR.
[9]
G. Miller,et al.
Language and Perception
,
1976
.
[10]
R. L. Smith.
CONSTRUCT: In Search of a Theory of Meaning. Technical Report No. 238.
,
1974
.