Formalization of Generalized Constraint Language: A Crucial Prelude to Computing With Words

Abstract

Abstract-The Generalized Constraint Language (GCL) , introduced by Zadeh, serves as a basis for computing with words (CW). It provides an agenda to express the imprecise and fuzzy information embedded in natural language and allows reasoning with perceptions. Despite its fundamental role, the definition of GCL has remained informal since its introduction by Zadeh, and to our knowledge, no attempt has been made to formulate a rigorous theoretical framework for GCL . Such formalization is necessary for further theoretical and practical advancement of CW for two important reasons: first, it provides the underlying infrastructure for the development of useful inference patterns based on sound theories. Second, it determines the scope of GCL as well as its set of well-formed formula and hence facilitates the translation of natural language expressions into GCL. This paper is an attempt to step in this direction by providing a formal syntax together with a compositional semantics for GCL. A soundness theorem is defined and Zadeh's deduction rules are proved to be valid in the defined semantics. Furthermore, a discussion is provided on how the proposed language may be used in practice.

Advanced Computing with Words: Status and Challenges

“…Many theoretical approaches have been proposed to formalize CWW, among which are: 2-tuple models [34], rough sets [80], concept algebra [111], fuzzy arithmetic [14], voting model semantics [49], ontologies [32,90], Turing Machines [81,103], fuzzy automata [130], formalization of the Generalized Constraint Language (GCL) [44] (GCL was proposed by Zadeh [143,145,148]), fuzzy Petri nets [10], meta-linguistic axioms [101], approximate reasoning [122], and Perceptual Computing (Per-C) [64,65,68,74].…”