: Vocabulaire du TAL: proposition

linguistique computationnelle > concept linguistique > unité linguistique > proposition

proposition

Le contenu de la clause ajoutée est le second argument du connecteur et s'obtient par substitution. (Danlos, Maskharashvili & Pogodalla, 2015)
Si A0 (~α0) → A1 (~α1) Am (~αm) est l'instanciation d'une clause c PG, alors Γ1A0 (~α0)Γ2 ⇒G, w Γ1A1 (~α1) Am (~αm)Γ2. (Kallmeyer, Maier & Parmentier, 2009)
Une clause C1 θ-subsume une clause C2 (C1 (cid:23)θ C2) si et seulement si (ssi) il existe une substitution θ telle que C1θ θ C2 (en considérant les clauses comme des ensembles de littéraux). (Névéol & Claveau, 2008)
Une proposition peut donc comporter un élément qui assure la liaison avec une autre proposition. (Nakamura-Delloye, 2008)
Une telle clause s'interprète ainsi : « si les prédicats P1 à Pn sont vérifiés, alors le prédicat P l'est aussi ». (Sagot & Boullier, 2004)

http://data.loterre.fr/ark:/67375/8LP-JVLXVHRG-7

RDF/XML TURTLE JSON-LD Dernière modification le 05/06/2024

Loterre