A platform of integration and evaluation of linguistic formalisms: Formal Methods

摘要

Several formalisms have been proposed to describe and represent linguistic knowledge (i.e., Formal Grammars, Unification Grammars, Lexical Functional Grammars, HPSG, etc.). The diversity of formalisms arises a crucial problem of choosing the appropriates formalisms needed to develop an application. In this paper, we present a platform that helps to solve these problems. This platform is based on formal methods. Starting from a unified (or pivot) representation of the main linguistic formalisms, we develop an integration process of a various knowledge described initially by different formalisms. This process is very useful to the development of lingware that deal with different aspects of language (i.e., morphologic, syntactic, semantic, etc.). Moreover, it guides the choose process, based on formal evaluation, of the appropriate formalism needed to develop a lingware.