PLC -- Cours 2

pages

Français

Documents

Écrit par
Thi Bich Hanh Dao

Publié par
Armyo

Lire

Le téléchargement nécessite un accès à la bibliothèque YouScribe Tout savoir sur nos offres

pages

Français

Documents

Lire

Le téléchargement nécessite un accès à la bibliothèque YouScribe Tout savoir sur nos offres

Publié par

Armyo

Nombre de lectures

Langue

Français

PlanPLC – Cours 21. Modélisation de problème2. Spéciﬁer un prédicat : argument d’entrée et de sortieThi-Bich-Hanh Dao3. Sémantique déclarativeM1 STIC - Université d’Orléans 4. Relation entre les sémantiquesAnnée 2008-2009I. Modélisation de problèmes I. Modélisation de problèmesTermes et prédicats Un autre exemple! Les entités, les objets dont on parle : les termes, construits à Un arbre binaire est soit une feuille, soit un nœud dont les deux ﬁlsl’aide des symboles de fonction. sont des arbres binaires.! Les relations entre objets : les prédicats, construits à l’aide des La hauteur d’une feuille est 0, la hauteur d’un nœud est le max dessymboles de prédicat. hauteurs de ses ﬁls plus 1.La taille d’une feuille est 1, la taille d’un nœud est la somme des! Exemple :tailles de ses ﬁls plus 1.Toto est un cheval. Toto est un parent de Titi. Toto aime lespommes. Les chevaux et les moutons sont des animaux. ! Symboles de fonction : feuille/0, noeud/2Chaque animal a un parent. ! Présentation d’arbres binaires : feuille,! Les objets (symboles de fonction) :noeud(feuille,feuille),toto/0, titi/0, pommes/0noeud(feuille,noeud(feuille,feuille)), ...! Les relations entre objets (symboles de prédicats) :cheval/1, mouton/1, animal/1, parent/2, aime/2 ! Symboles de prédicats : hauteur/2, taille/2! Déﬁnition des prédicats : ...I. Modélisation de problèmes PlanUn autre exempleUn arbre binaire est soit une feuille, soit un nœud dont les deux ﬁlssont des arbres binaires ...

Voir

Publié par

Armyo

Langue

Français

Voir