Towards an automated reasoning for computing with words

This paper paves the path for the design and implementation of a practical automated reasoning mechanism for computing with words. The presented methodology aims at filling the gap between the raw theory and the implementation of CW paradigm. As part of this methodology, a portion of a formal grammar for Generalized Constraint Language (GCL) as well as a systematic approach for applying the deduction rules are introduced.