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 ex: GOLD Pour la description linguistique, patrons de raisonnement permettent d'effectuer raisonnement logique, é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α Pas d'implication sémantique, raisonnement logique utilise techniques de résolution, la conclusion afin de trouver une contradiction, patrons de raisonnement se composent de l'abduction, agent rationnel utilise langage de représentation des connaissances, des connaissances qui peuvent être restreintes à un domaine, par réfutation en conjonction avec patrons de raisonnement, système de preuve utilise algorithme, techniques de résolution comprend résolution, algorithme qui idéalement est complet, un seule règle appelée résolution unitaire, de niveau supérieure exemple Objets applicables à travers plusieurs domaines ontologiques ex: Dublin Core, GFO, OpenCyc/ResearchCyc, SUMO, DOLCE, résolution utilisera des algo de recherche set-of-support, résolution utilisera des algo de recherche recherche en largeur, techniques de résolution sont des algorithme, résolution qui peut se résumer à un seule règle, techniques de résolution comprend chaînage arrière, raisonnement logique appelé aussi système de preuve