Style des formules

Les formules sont affichées en MathML, ces fonctions d'affichage sont en test et ne sont pas garanties.
Cette page utilise des fonctions particulières d'affichage de formules (plus d'infos) , vous pouvez choisir entre un affichage mathml, un affichage html, et un affichage texte

Programmation déclarative

Inhaltsverzeichnis

Nous sommes plus habitués à la programmation impérative (comme le langage C, ou le langage Java), mais Prolog, que nous allons voir dans les pages qui suivent, est un langage de programmation logique qui appartient à la programmation déclarative, et non à la programmation impérative.

La programmation déclarative contient non seulement la programmation logique, mais aussi la programmation descriptive (balises, comme HTML, ou XML), la programmation fonctionnelle (fonctions mathématiques, comme LISP, ou Caml), ou encore la programmation par contraintes.

Nous avons l'habitude de programmer le comment (quelles sont les opérations à réaliser, comment effectuer les traitements), mais en programmation déclarative nous allons programmer le quoi (ce qui est calculé, description de l'environnement).

Pré-requis

Avant d'aller plus loin, nous pouvons revoir certains principes qui nous seront utiles par la suite...

Validité des formules

Nous pouvons dire d'une formule qu'elle est valide si elle est vraie quelle que soit sont interprétation. Nous avons alors une tautologie.
Exemple $∀ x ¬ p (x) ∨ p (x)$

Nous pouvons dire d'une formule qu'elle est consistante (ou satisfiable) si il existe une interprétation dans laquelle elle est vraie. Rien n'empèche qu'une formule consistante soit invalide.
Exemple $∃ x ¬ p (x)$

Nous pouvons dire d'une formule qu'elle est inconsistante (ou insatisfiable) si il n'existe pas d'interprétation dans laquelle elle est vraie.
Exemple $x ¬ p (x) ∧ p (x)$

Inhaltsverzeichnis Haut

Equivalance

Deux formules sont sémantiquement équivalantes si leurs tables de vérités sont identiques. Nous noterons que deux formules sont équivalantes par le symbole $⇔$ , mais nous retrouvons souvent le symbole ≡.

Inhaltsverzeichnis Haut

Variable libre

Nous dirons d'une variable qu'elle est libre si elle ne dépend d'aucun quantificateur. Une variable liée dépend donc d'un quantificateur, et nous pouvons remplacer son nom par n'importe quel autre nom qui ne figure pas dans la formule.

Inhaltsverzeichnis Haut

Prédicat

Un prédicat (ou expression prédicative) est une expression appliquée à un certain nombre d'arguments² qui nous retourne vrai ou faux.

Dans le cas où notre prédicat ne possède q'un argument, nous sommes face à une définition de propriété. $parent (ibn_tufayl)$ est une propriété qui nous dit si Ibn Tufayl est un parent ou s'il ne l'est pas.

Si notre prédicatne possède plus d'un argument, nous définissions une relation entre les entités du monde. $parent (ibn_tufayl, max_planck)$ est une relation qui nous dit si Max Planck est le parent de Ibn Tufayl ou s'il ne l'est pas³.

Si toutes les variables d'une formule sont des variables liées, nous sommes en présence d'une formule close. Un prédicat est une formule dans laquelle nous avons toujours au moins une variable libre (un prédicat n'est donc pas une formule close).

Inhaltsverzeichnis Haut

Logique du premier ordre4

$C$ : ensemble de constantes $(c)$ ⁵.
$F$ : ensemble des fonctions $(f, g, h, etc.)$ $C ⊆ F$ .
une fonction est composée d'un nom et d'une arité ( $f / n$ )
$P$ : ensemble des prédicats $(p, q)$ .
$V$ : ensemble des variables $(X, Y, Z)$ .

Inhaltsverzeichnis Haut

Termes, constantes, variables

En programmation déclarative, nous n'avons pas de distinction entre les données du programme et le programme lui-même. Les éléments lexicaux de Prolog sont des « termes », que nous pouvons définir inductivement comme suit : $t ::= X | c | f (t_{1}, ..., t_{n})$ où $X$ est une variable, $c$ est une constante, et $f (t_{1}, ..., t_{n})$ est une fonction pour laquelle tout $t$ est un terme.

Variables

Toute variable est un terme.

Les noms de variables commencent par une majuscule, suivies d'un ensemble de lettres, nombres et caractères de soulignement. Nous pouvons aussi avoir (en Prolog) des noms de variables qui débutent par le caractère de soulignement « _ » pour représenter des variables anonymes.

Notion de variable en Prolog

Une variable en Prolog est différente de la notion de variable à laquelle nous sommes habitués en programmation impérative : Il ne s'agit pas d'un « container » dans lequel nous stockons une valeur qui peut être modifiée à tout moment, mais plus d'un élément que nous précisons par unification, et qui ne peut généralement être modifié au sein d'une même branche d'évaluation après unification.

Inhaltsverzeichnis Haut

Constantes

Toute constante est un terme. Une constante désigne une unité du monde.

Nous représenterons les constantes par un chiffre, une lettre minuscule, ou un nom qui commence par une minuscule. Si nous devons commencer par une majuscule, nous pouvons délimiter la constante par des apostrophes.

Termes composés

Si $t_{1}, ..., t_{n}$ sont des termes,
si $f / n$ est une fonction d'arité $n$ ,
alors $f (t_{1}, ..., t_{n})$ est un terme composé.

Par exemple en utilisant le foncteur suc et la constante 0, nous pouvons représenter les nombres naturels. Nous pouvons donc représenter la valeur 1, qui est le successeur de 0, par le terme suc(0).
La valeur 3 est donc suc(suc(suc(0))), ce qui est un terme composé.

Un exemple simple de terme composé est : $parent_de (carl_zeiss)$ .
Le terme utilisé est une constante, mais pouvons retrouver des variables dans les termes composés (puisque toute variable est un terme, et qu'un terme composé est l'ensemble formé par un foncteur et des termes). L'expression $parent_de (X)$ est donc aussi un terme composé qui représente « une entité qui est le parent de quelqu'un », alors que l'exemple précédent représentait « une entité qui est le parent de Carl Zeiss ».

Inhaltsverzeichnis Haut

Atomes, formules atomiques

Un atome (ou « formule atomique ») est une expression de la forme $p (t_{1}, ..., t_{n})$ où $p$ est un prédicat d'arité $n$ et $t_{1}, ..., t_{n}$ sont des termes.

Nous noterons les atomes comme les termes, mais débutant par une lettre minuscule. Nous pouvons encadrer un nom d'atome par des apostrophes.

Inhaltsverzeichnis Haut

Arité

L'arité est le nombre d'arguments d'une fonction.

Inhaltsverzeichnis Haut

Formules bien formées [wff]

Les formules bien formées sont des formules atomiques

Si $w_{1}$ et $w_{2}$ sont des formules bien formées, alors
$¬ w_{1}, w_{1} ∧ w_{2}, w_{1} ∨ w_{2}$ ,
$w_{1} ⇒ w_{2}, w_{1} ⇔ w_{2}$ ,
$∀ X (w_{1}), ∃ X (w_{1}), (w_{1})$ où $X$ est non quantifié dans $w_{1}$ , sont des formules bien formées.

Inhaltsverzeichnis Haut

Cette page utilise des fonctions particulières d'affichage de formules (plus d'infos) , vous pouvez choisir entre un affichage mathml, un affichage html, et un affichage texte

Deutsche Übersetzung

Sie haben gebeten, diese Seite auf Deutsch zu besuchen. Momentan ist nur die Oberfläche übersetzt, aber noch nicht der gesamte Inhalt.

Wenn Sie mir bei Übersetzungen helfen wollen, ist Ihr Beitrag willkommen. Alles, was Sie tun müssen, ist, sich auf der Website zu registrieren und mir eine Nachricht zu schicken, in der Sie gebeten werden, Sie der Gruppe der Übersetzer hinzuzufügen, die Ihnen die Möglichkeit gibt, die gewünschten Seiten zu übersetzen. Ein Link am Ende jeder übersetzten Seite zeigt an, dass Sie der Übersetzer sind und einen Link zu Ihrem Profil haben.

Vielen Dank im Voraus.

Dokument erstellt 11/04/2010, zuletzt geändert 28/10/2018
Quelle des gedruckten Dokuments:https://www.gaudry.be/de/programmation-declarative-rf-mathml.html

Die Infobro ist eine persönliche Seite, deren Inhalt in meiner alleinigen Verantwortung liegt. Der Text ist unter der CreativeCommons-Lizenz (BY-NC-SA) verfügbar. Weitere Informationen auf die Nutzungsbedingungen und dem Autor.

Aufzeichnungen

↑^a,b,c,d,e Prolog : PROgrammation LOGique
↑ Arguments du prédicat : les arguments d'un prédicat sont des termes ou des termes composés.
↑ Ordre des arguments : l'interprétation que nous pouvons faire de $parent (ibn_tufayl, max_planck)$ dépend de l'ordre dans lequel sont placés les arguments. Cet ordre est fixé par le programmeur et non par le langage.
↑ Logique du premier ordre : De nombreuses appellations correspondent à la logique du premier ordre, comme par exemple « calcul des prédicats du premier ordre », « calcul des relations », “lower predicate calculus”, ou encore “quantification theory”.
↑ ensemble de constantes (c) : nous retrouvons ici les termes d'arité 0.
↑^a,b well formed formula : entspricht « Formules bien formées » en français
↑ wff : “well formed formula” (en français, « Formules bien formées »)

Inhaltsverzeichnis Haut

Referenzen

IHDCB337 - Technique d'intelligence artificielle : JM Jacquet, Programmation déclarative (2009)
IHDCB337 - Technique d'intelligence artificielle : H Toussaint, Tp (2009)

Diese Verweise und Links verweisen auf Dokumente, die während des Schreibens dieser Seite konsultiert wurden, oder die zusätzliche Informationen liefern können, aber die Autoren dieser Quellen können nicht für den Inhalt dieser Seite verantwortlich gemacht werden.
Der Autor Diese Website ist allein dafür verantwortlich, wie die verschiedenen Konzepte und Freiheiten, die mit den Nachschlagewerken gemacht werden, hier dargestellt werden. Denken Sie daran, dass Sie mehrere Quellinformationen austauschen müssen, um das Risiko von Fehlern zu reduzieren.

Inhaltsverzeichnis Haut