ACGtk: A Toolkit for Developing and Running Abstract Categorial Grammars - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2024

ACGtk: A Toolkit for Developing and Running Abstract Categorial Grammars

Résumé

Abstract categorial grammars (ACGs) is an expressive grammatical framework whose formal properties have been intensively studied. While it can provide its own account, as a grammar, of linguistic phenomena, it is known to encode several grammatical formalisms, such as context-free grammars, but also mildly context-sensitive formalisms such as tree-adjoining grammars or m-linear context-free rewriting systems for which parsing is polynomial. The ACG framework is based on a small set of mathematical primitives from type theory, λ-calculus, and linear logic. These primitives combine via simple composition rules, offering it flexibility. The ACG toolkit we present provides a compiler, acgc, that checks and turns ACGs into representations that are suitable for testing and parsing, used in the acg interpreter. We illustrate these functionalities and discuss implementation features, in particular the Datalog reduction on which parsing is based, and the magic set rewriting techniques that can further be applied.
Fichier principal
Vignette du fichier
ACGtk.pdf (653.21 Ko) Télécharger le fichier
acg-examples.zip (2.58 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04479621 , version 1 (28-02-2024)
hal-04479621 , version 2 (29-02-2024)

Licence

Paternité

Identifiants

  • HAL Id : hal-04479621 , version 2

Citer

Maxime Guillaume, Sylvain Pogodalla, Vincent Tourneur. ACGtk: A Toolkit for Developing and Running Abstract Categorial Grammars. 17th International Symposium on Functional and Logic Programming (FLOPS 2024), May 2024, Kumamoto, Japan. ⟨hal-04479621v2⟩
42 Consultations
12 Téléchargements

Partager

Gmail Facebook X LinkedIn More