Sémantique, Interprétation et Transformation

auteur:Pierre-Antoine Champin

Une version PDF et présentation sont disponibles.

Sémantique humaine

Sémantique humaine (1)

Qu’est ce qu’un diprotodonte ?

• Comment puis-je le savoir ?

Sémantique humaine (2)

Qu’est-ce que Paris ?

• Qu’en sais-un ordinateur ?
• Qu’en sais-je vraiment ?
• Comment puis-je le savoir ?

Sémantique humaine (3)

• Paris est une Ville
• Paris a 10 millions d’habitants
• Paris est une ville agréable

→ simple question d’interopérabilité ?

Sémantique informatique

Sémantique dénotationnelle

Interprétation en théorie des modèles = (Δ,𝔍)

• Δ : domaine d’interprétation
• 𝔍 : fonction d’interprétation

• pour chaque terme T, 𝔍(T) ∈ Δ

• pour chaque énoncé E, 𝔍(E) ∈ { vrai, faux }

  en fonction des termes T qui constituent E

Un énoncé E est vrai si il existe une interprétation qui le vérifie.

Un énoncé E entraine un énoncé E’ si toutes les interprétations vériant E vérifient aussi E’.

Sémantique dénotationnelle (exemple)

Phascolarctidé ⊑ Diprotodonte

Notoryctemorphes ⊑ ¬Diprotodonte

• interprétation possible :

  𝔍(Phascolarctidé) = {1,3}

  𝔍(Diprotodonte) = {1,2,3,4}

  𝔍(Notoryctemorphes) = {5,6}

Sémantique dénotationnelle (suite)

La théorie des modèles ne me dit pas comment interpréter.

Elle me dit comment ne pas interpréter.

Chaque axiome contraint l’interprétation.

Sémantique axiomatique

On définit

• des énoncés vrais par définition (axiomes)
• des règles permettant de dériver des énoncés vrais à partir d’autres énoncés vrais

Approche syntaxique de la sémantique.

Syntaxe et sémantique

Deux faces d’une même pièce ?...

Tout langage informatique possède une syntaxe et une sémantique

• même s’il certains s’en défendent ! (XML, JSON...)
• NB : langage au sens large : langage de programmation, protocole, format...

... ou la face et la tranche ?

La syntaxe détermine si un énoncé est conforme au langage ou non.

→ c’est une propriété des énoncés

La sémantique définit une relation entre un énoncé et quelque chose d’autre.

→ c’est une relation entre un énoncé et autre chose

Mélange des genres

Différence entre un énoncé non conforme et un énoncé faux ?

Exemple :

<#pa> foaf:age "toto"^^xsd:integer .

Chaîne de syntaxes/sémantiques