검색어: typologisation (프랑스어 - 영어)

néologisme créé par p. dillenbourg. cf. adaptativité évolutive, interruptibiité typage typologisation typologisation selon bertrand russel répartition des objets d'une hiérarchie en types divers : type zéro (individus), type un (classes d'individus), type deux (classes de classes d'individus), etc. p. ex. mécanisme de typage type type concept abstrait présentant les propriétés communes aux entités d'un ensemble. p. ex. traillis des types, typologie de concepts nota une valeur ou une variable est dite "typée" lorsqu'on lui assigne un type. cf. prototype, typage haut de page u unificateur unifieur unifier opérateur d'unification. p. ex. unificateur le plus général, unificateurs simultanés nota on dit que deux littéraux sont "unifiables" lorsqu'ils possèdent une instance fondamentale commune. unification unification mise en correspondance d'expressions symboliques au moyen d'une liste des termes à substituer à des variables pour rendre les expressions équivalentes. p. ex. algorithme d'unification, ensemble d'unification, unification-instanciation, u. logique, u. typée nota l'unification est un mécanisme de base dans l'exécution des instructions en programmation logique. unifieur voir unificateur unifier univers voir monde world univers voir environnement environment univers complexe univers non structuré unstructured universe en perception-machine, champs de perception non limité sur lequel la connaissance à priori est faible. utilisateur confirmé utilisateur expert expert user utilisateur d'un système ia capable de modifier et d'actualiser la base de connaissance, de la faire évoluer par révisions successives. cf. experts/novices utilisateur débutant utilisateur novice novice user utilisateur d'un système ia qui consulte la base de connaissances sans pouvoir la modifier. cf. experts/novices utilisateur expert voir utilisateur confirmé expert user v valeur d'attribut attribute value valeur atomique numérique ou symbolique.
néologisme créé par p. dillenbourg. cf. adaptativité évolutive, interruptibiité typage typologisation typologisation selon bertrand russel répartition des objets d'une hiérarchie en types divers : type zéro (individus), type un (classes d'individus), type deux (classes de classes d'individus), etc. p. ex. mécanisme de typage type type concept abstrait présentant les propriétés communes aux entités d'un ensemble. p. ex. traillis des types, typologie de concepts nota une valeur ou une variable est dite "typée" lorsqu'on lui assigne un type. cf. prototype, typage top of page u unificateur unifieur unifier opérateur d'unification. p. ex. unificateur le plus général, unificateurs simultanés nota on dit que deux littéraux sont "unifiables" lorsqu'ils possèdent une instance fondamentale commune. unification unification mise en correspondance d'expressions symboliques au moyen d'une liste des termes à substituer à des variables pour rendre les expressions équivalentes. p. ex. algorithme d'unification, ensemble d'unification, unification-instanciation, u. logique, u. typée nota l'unification est un mécanisme de base dans l'exécution des instructions en programmation logique. unifieur voir unificateur unifier univers voir monde world univers voir environnement environment univers complexe univers non structuré unstructured universe en perception-machine, champs de perception non limité sur lequel la connaissance à priori est faible. utilisateur confirmé utilisateur expert expert user utilisateur d'un système ia capable de modifier et d'actualiser la base de connaissance, de la faire évoluer par révisions successives. cf. experts/novices utilisateur débutant utilisateur novice novice user utilisateur d'un système ia qui consulte la base de connaissances sans pouvoir la modifier. cf. experts/novices utilisateur expert voir utilisateur confirmé expert user top of page v valeur d'attribut attribute value valeur atomique numérique ou symbolique.