grammaire à clauses définies
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Définition :
Grammaire logique créée par Warren et Pereira en 1980. Elle est à la fois une représentation déclarative de la syntaxe d'un langage et un programme Prolog exécutable. Elle peut produire soit une analyse syntaxique profonde, soit une traduction en une représentation sémantique telle que le calcul des prédicats.
Terme privilégié :
- grammaire à clauses définies n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Note :
Definite clause grammars (DCGs) arose from seeing the rewrite rules of context-free grammars as declarative statements within a logic formalism, and by viewing parsing as a variation of theorem-proving. However, DCGs are more than implementations of context-free grammars (CFGs) in PROLOG. Whereas the rewrite rules of CFGs contain only unstructured symbols (e.g. "noun phrase", "verb group"), the rules of DCGs can contain structured objects consisting of a predicate and a number of arguments. These arguments can be used to build structures such as parse trees and to provide a general treatment of context sensitivity. There are also facilities in DCGs to include non-syntactic processes in the right-hand side of rules, enabling the interaction of semantic processing and parsing.
Termes :
- definite clause grammar
- DCG