Paper: Automated Reasoning About Natural Language Correctness

ACL ID E87-1008
Title Automated Reasoning About Natural Language Correctness
Venue Annual Meeting of The European Chapter of The Association of Computational Linguistics
Session Main Conference
Year 1987
Authors

Automated Reasoning techniques applied to the problem of natural language correct- ness allow the design of flexible training aids for the teaching of foreign langua- ges. The approach involves important advantages for both the student and the teacher by detecting possible errors and pointing out their reasons. Explanations may be given on four distinct levels, thus offering differently instructive error messages according to the needs of the student. I. THE IDEA The application of techniques from the domain of Automated Reasoning to the problem of natural language correctness offers solutions to at least some of the deficiencies of traditional approaches to computer assisted language learning. By supplying a specialized inference mecha- nism with knowledge about what is correct within fra...