PLC -- Cours 2

Thi Bich Hanh Dao

Description

PlanPLC – Cours 21. Modélisation de problème2. Spécifier 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 filsl’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 fils plus 1.La taille d’une feuille est 1, la taille d’un nœud est la somme des! Exemple :tailles de ses fils 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éfinition 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 filssont des arbres binaires ...

Informations

• Publié par: Armyo
• Nombre de lectures: 55
• Langue: Français

Extrait