English: L'usage a déjà consacré "problème difficilement résolvable", "problème récalcitrant" et "problème insoluble". ant. bien résolu, soluble cf. incalculabilité, problème NP-dur invocation de connaissances K-invocation knowledge invocation Sélection, par le moteur d'inférence, de certains faits ou règles de la base de connaissances, nécessaires à la poursuite du raisonnement en cours. itération iteration Répétition d'un cycle d'opérations. p. ex. symbole d'itération cf. récurrence Top of page J jonction de discontinuités gap junction Règle d'une grammaire discontinue. cf. grammaire discontinue, discontinuité justificateur module d'explication mi-course explanation facility mid-run explanation feature Module d'interface d'un système expert qui permet de relever l'ensemble des opérations menant à une conclusion (le savoir-comment) et aussi de l'expliquer (le savoir-pourquoi). cf. explicabilité K kinase formelle formal kinase Modélisation neuromimétique d'une enzyme capable d'en activer une autre. cf. synapse formelle Top of page L labilité slipperiness Caractère vague, nébuleux, instable d'un trait ou ensemble de traits permettant d'identifier un événement, objet ou situation. langage-acteurs actor-based language Langage de représentation des connaissances au moyen d'entités appelées acteurs qui communiquent par envoi de messages. cf. acteur, envoi de messages langage applicatif applicative language Langage de programmation axé sur les résultats des calculs et non pas sur les détails du traitement. cf. programmation applicative langage-auteur langage médiatique authoring language Langage comportant des instructions comparables à celles de BASIC, et des instructions spéciales pour la création de didacticiels classiques.
French: L'usage a déjà consacré "problème difficilement résolvable", "problème récalcitrant" et "problème insoluble". ant. bien résolu, soluble cf. incalculabilité, problème NP-dur invocation de connaissances K-invocation knowledge invocation Sélection, par le moteur d'inférence, de certains faits ou règles de la base de connaissances, nécessaires à la poursuite du raisonnement en cours. itération iteration Répétition d'un cycle d'opérations. p. ex. symbole d'itération cf. récurrence Haut de page J jonction de discontinuités gap junction Règle d'une grammaire discontinue. cf. grammaire discontinue, discontinuité justificateur module d'explication mi-course explanation facility mid-run explanation feature Module d'interface d'un système expert qui permet de relever l'ensemble des opérations menant à une conclusion (le savoir-comment) et aussi de l'expliquer (le savoir-pourquoi). cf. explicabilité K kinase formelle formal kinase Modélisation neuromimétique d'une enzyme capable d'en activer une autre. cf. synapse formelle L labilité slipperiness Caractère vague, nébuleux, instable d'un trait ou ensemble de traits permettant d'identifier un événement, objet ou situation. langage-acteurs actor-based language Langage de représentation des connaissances au moyen d'entités appelées acteurs qui communiquent par envoi de messages. cf. acteur, envoi de messages langage applicatif applicative language Langage de programmation axé sur les résultats des calculs et non pas sur les détails du traitement. cf. programmation applicative langage-auteur langage médiatique authoring language Langage comportant des instructions comparables à celles de BASIC, et des instructions spéciales pour la création de didacticiels classiques.