WARNING:
JavaScript is turned OFF. None of the links on this concept map will
work until it is reactivated.
If you need help turning JavaScript On, click here.
Cette carte de concepts créée avec IHMC CmapTools traite de: 04_LOG625-H2011, de niveau général exemple ????, énumérer les modèles dans lesquels KB est vrai = MK énumérer les modèles dans lesquels α est vrai = Mα si MK n'est pas inclus dans Mα ????, patrons de raisonnement permettent d'effectuer raisonnement logique, raisonnement logique utilise techniques de résolution, patrons de raisonnement se composent de patron3???, ???? afin de trouver une contradiction, des connaissances qui peuvent être restreintes à un domaine, agent rationnel utilise langage de représentation des connaissances, par réfutation en conjonction avec patrons de raisonnement, techniques de résolution comprend résolution, système de preuve utilise algorithme, un seule règle appelée résolution unitaire, algorithme qui idéalement est complet, résolution utilisera des algo de recherche set-of-support, de niveau supérieure exemple ????, résolution utilisera des algo de recherche recherche en largeur, techniques de résolution sont des algorithme, techniques de résolution comprend chaînage arrière, résolution qui peut se résumer à un seule règle, raisonnement logique appelé aussi système de preuve