Intuitive statisticsIntuitive statistics, or folk statistics, is the cognitive phenomenon where organisms use data to make generalizations and predictions about the world. This can be a small amount of sample data or training instances, which in turn contribute to inductive inferences about either population-level properties, future data, or both. Inferences can involve revising hypotheses, or beliefs, in light of probabilistic data that inform and motivate future predictions.
Indice de masse corporelleL’indice de masse corporelle ou IMC (en anglais, body mass index ou BMI) est une grandeur qui permet d'estimer la corpulence d’une personne. Inventé au milieu du par Adolphe Quetelet, mathématicien belge et l'un des fondateurs de la statistique moderne, cet indice est aussi appelé l'indice de Quetelet. Il se calcule en fonction de la taille et de la masse corporelle. Il a été conçu, au départ, pour les adultes de 18 à , mais de nouveaux diagrammes de croissance ont vu le jour au cours des dernières décennies pour les enfants de 0 à .
Chaînage avantLe chaînage avant est une méthode de déduction qui applique des règles en partant des prémisses pour en déduire de nouvelles conclusions. Ces conclusions enrichissent la mémoire de travail et peuvent devenir les prémisses d'autres règles. Par opposition, le chaînage arrière part des conclusions pour essayer de « remonter » aux axiomes. Le chaînage avant est utilisé en intelligence artificielle, dans un système expert à base de règles, dans un moteur de règles, ou encore dans un système de production.
Gestion des applications mobilesLa gestion des applications mobiles (MAM : Mobile application management en anglais) décrit les logiciels et les services responsables de l'approvisionnement et du contrôle de l'accès aux applications mobiles développées en interne et disponibles dans le commerce, utilisées dans le cadre professionnel, sur les systèmes d'exploitation mobiles fournis par l'entreprise et sur les systèmes d'exploitation mobiles « à apporter soi-même » utilisés sur les smartphones et les tablettes.
Règle d'inférenceDans un système logique, les régles d'inférence sont les règles qui fondent le processus de déduction, de dérivation ou de démonstration. L'application des règles sur les axiomes du système permet d'en démontrer les théorèmes. Une règle d'inférence est une fonction qui prend un -uplet de formules et rend une formule. Les formules arguments sont appelées « les prémisses » et la formule retournée est appelée la « conclusion ».
Moteur d'inférenceUn moteur d'inférence (du verbe « inférer » qui signifie « déduire ») est un logiciel (processus informatique) correspondant à un algorithme de simulation des raisonnements déductifs. Un moteur d'inférence permet aux systèmes experts de conduire des raisonnements logiques et de dériver des conclusions à partir d'une base de faits et d'une base de connaissances. Les moteurs d'inférence peuvent implémenter : une logique formelle d'ordre 0 (logique des propositions), d'ordre 0+, d'ordre 1 (logique des prédicats) ou d'ordre 2 avec une gestion d'hypothèses monotone ou non monotone, un chaînage avant, chaînage arrière ou mixte, une complétude déductive ou non.
Thérapie rationnelle-émotiveLa thérapie rationnelle-émotive (abrégée parfois PCER, TCER, TREC, TER, en français; ou RT, RET puis TREC en anglais) est une pratique psychothérapeutique empirique et directive, à fondements philosophiques, qui vise à soulager les individus souffrant de difficultés psychologiques (émotion et comportement). C'est une des principales formes de psychothérapie cognitivo-comportementale. Elle a été développée par Albert Ellis à partir de 1956 sous le nom de . En 1959 cette méthode prit le nom de et en 1992 celui de (TREC ).
