An Approach to Functional Formal Models of Constraint-Based Lexicalized Grammar

Article type: Research Article

Authors: Loukanova, Roussanka^*

Affiliations: Department of Mathematics, Stockholm University, Stockholm, Sweden. rloukanova@gmail.com

Correspondence: [*] Address for correspondence: Department of Mathematics, Stockholm University, SE-106 91 Stockholm.

Abstract: This paper is a review of the formal definitions of a description language of functional models of Constraint-Based Lexicalized Grammar (CBLG), with a notion of well-formedness, models of linguistic objects, and the corresponding denotation function. The language uses feature-value descriptions. A formalization of CBLG is presented via definitions of several classes of objects by this formal language using mutual recursion. The core engine of the CBLG formal grammar is a hierarchical type system associated with constraints for representation of linguistic information. The constraints are classified as linguistic principles, grammar rules, lexical entries, lexical rules, and semantic representations. The formal system of CBLG targets a computational approach to human language grammar.

Keywords: grammar models, functional formalization, types, natural language, feature-values

DOI: 10.3233/FI-2017-1524

Journal: Fundamenta Informaticae, vol. 152, no. 4, pp. 341-372, 2017