Monde du Wumpus
Definition
Le Monde du Wumpus est un environnement basé sur une grille, introduit dans le manuel …
Logic
Terms tagged with Logic
Intelligence artificielle symbolique
Definition
L’intelligence artificielle symbolique, souvent appelée GOFAI (Good Old-Fashioned …
Apprentissage relationnel statistique
Definition
L’apprentissage relationnel statistique (ARS) combine la théorie des probabilités …
Logique STIT
Definition
STIT signifie « See To It That » (Veiller à ce que). C’est une branche de la …
Modèle de raisonnement
Definition
Contrairement aux modèles génératifs standards axés sur la fluidité, les modèles de …
Résolution de problèmes
Definition
En intelligence artificielle, la résolution de problèmes désigne l’approche …
Système de recommandation basé sur les connaissances
Definition
Contrairement au filtrage collaboratif qui repose sur le passé des utilisateurs, le KBRS …
Compilation des connaissances
Definition
La compilation des connaissances fait référence aux techniques d’intelligence …
Probabilité Inductive
Definition
La probabilité inductive quantifie la vraisemblance qu’une hypothèse soit vraie …
Théorème de séparation de Gabbay
Definition
Le théorème de séparation de Gabbay est un concept fondamental en logique mathématique, …
GOLOG
Definition
GOLOG est un langage de programmation logique utilisé principalement en intelligence …
Logique modale épistémique
Definition
La logique modale épistémique étend la logique classique avec des opérateurs qui …
Logique épistémique dynamique
Definition
La logique épistémique dynamique (LED) étend la logique modale pour modéliser comment la …
Calcul attributif
Definition
Le calcul attributif est une branche de la logique modale axée sur le raisonnement …
Cadre d'argumentation
Definition
Les cadres d’argumentation fournissent une base mathématique pour représenter les …
Logique agentive
Definition
Elle étend la logique traditionnelle pour tenir compte de l’agence, permettant aux …
Raisonnement
Definition
En IA, le raisonnement implique des algorithmes qui simulent la déduction logique, …
Planification
Definition
La planification en IA consiste à déterminer une séquence d’actions qui conduira …
multi-step
Definition
Les méthodes multi-étapes consistent à décomposer une requête ou une tâche complexe en …
du premier ordre
Definition
En intelligence artificielle et en mathématiques, « du premier ordre » décrit …
Comme pas
Definition
Dans l’interrogation de bases de données et la logique, « Comme pas » fait …
Donné
Definition
Dans les contextes de l’IA et de l’informatique, « donné » fait référence à …
Décision
Definition
La prise de décision en IA consiste à sélectionner l’action optimale parmi un …