Feature Constraint Logic and Error Detection in ICALL Systems.

In this paper, an extension of feature constraint logic is presented which allows the coding of errors in feature structures. This is achieved by adding a designated feature to the feature logic with special properties resulting in an expansion of the underlying feature logic. The framework will be formally developed and applied in an ICALL system that allows errors of learners of a foreign-language. Furthermore the system provides an analysis of such errors. [ABSTRACT FROM AUTHOR]