By Herbert G. Bohnert
Communications of the ACM,
July 1962,
Vol. 5 No. 7, Page 398
10.1145/368273.368564
Comments
The logic of English grammar is being investigated by a process of approximative logical synthesis. Beginning with a kernel language which is an alphabetically spelled form of symbolic logic with English-like vocabulary, English-like extensions are constructed simulating selected features of English grammar. For each extended language, an algorithm is given which would permit a computer to make a left-to-right, word-by-word scan of an input sequence, to transform it by stages (as long as the sequence is found to be a well-formed formula of the extended language) into a sentence in the logical grammar of the kernel (or into a logical symbolization if desired). The algorithm thus constitutes simultaneously (1) a recognition grammar of the extended language, i.e., not just formation rules or productions, but a decision method for sentencehood, and (2) a portion of its transformation rules (defining a consequence relation). To date, languages have been constructed simulating the English determiners, (e.g., “every”, “any”, “no”, “a”) and the system of groupers (“either”, “both”, “if”) with precedence-ordered connectives (e.g., “and”, “and furthermore”, “or”, “or else”) by which English achieves the effect of parentheses. Work soon to be reported extends the analysis to relative, general and indefinite pronouns. It is expected that the algorithms will be embodied in computer programs within the year for purposes of comparison with results of human parsers.
The full text of this article is premium content
No entries found
Log in to Read the Full Article
Need Access?
Please select one of the options below for access to premium content and features.
Create a Web Account
If you are already an ACM member, Communications subscriber, or Digital Library subscriber, please set up a web account to access premium content on this site.
Join the ACM
Become a member to take full advantage of ACM's outstanding computing information resources, networking opportunities, and other benefits.
Subscribe to Communications of the ACM Magazine
Get full access to 50+ years of CACM content and receive the print version of the magazine monthly.
Purchase the Article
Non-members can purchase this article or a copy of the magazine in which it appears.
