NotesFAQContact Us
Collection
Advanced
Search Tips
ERIC Number: ED010692
Record Type: RIE
Publication Date: 1966-Mar
Pages: 1
Abstractor: N/A
Reference Count: N/A
ISBN: N/A
ISSN: N/A
AUTOMATIC ENGLISH-TO-LOGIC TRANSLATION IN A SIMPLIFIED MODEL, A STUDY IN THE LOGIC OF GRAMMAR. FINAL REPORT.
BACKER, P.O.; BOHNERT, H.G.
THE LATEST IN A SERIES OF ENGLISH-LIKE LANGUAGES IS DESCRIBED WHICH IS TRANSLATABLE INTO FORMS OF A FIRST-ORDER PREDICATE CALCULUS NOTATION. THE STUDY IS BASED ON THE HYPOTHESIS THAT SYNTACTIC AMBIGUITY ARISING FROM DIFFERENCES IN DEEP STRUCTURE CAN BE ADEQUATELY DESCRIBED ONLY IF THE DEEP STRUCTURES CAN BE SYSTEMATICALLY REPRESENTED. THE NOTATION OF MODERN LOGIC IS CONSIDERED A SUITABLE TOOL FOR REPRESENTING ASPECTS OF GRAMMAR, SUCH AS TENSE, WHICH ARE NOT PURELY LOGICAL. BASIC PARSING ALGORITHMS ARE EMBODIED IN A COMPUTER PROGRAM, WHICH NOT ONLY REVEALS ERRORS IN ALGORITHMS BUT PROVIDES SUGGESTIONS FOR POSSIBLE SIMPLIFYING PARAPHRASES. NATURAL LANGUAGES CORRELATES OF THE LOGICAL CONCEPTS OF DEGREE, GROUPING, QUANTIFICATION, AND SCOPE HAVE BEEN EXPLORED, AND SEVERAL LONGSTANDING SUGGESTIONS OF LOGICIANS HAVE BEEN FOLLOWED. THE LOGIC OF NATURAL GRAMMAR IS CONSIDERED A PROMISING FIELD OF INVESTIGATION FOR THEORETICAL LINGUISTICS. THIS DOCUMENT IS AVAILABLE FROM THE FEDERAL CLEARINGHOUSE AS AD 637 227. (KL)
Publication Type: N/A
Education Level: N/A
Audience: N/A
Language: N/A
Sponsor: N/A
Authoring Institution: International Business Machines Corp., Yorktown Heights, NY. Thomas J. Watson Research Center.
Identifiers: New York (Yorktown Heights); Predicates