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: 02_LOG625-H2011_PL, mécanisme utilise KB, langages formels langages existants logique de description, débat Neat/Scruffy sujet de Artificial Intelligence is not like circuit theory and electromagnetism. Instead of looking for a unifying principle, the time has come to build systems out of diverse components, some connectionist and some symbolic, each with its own diverse justification., Prix de Loebner qui permet de vérifier quel test? Test de Turing, systèmes à base de connaissances Knowledge-based System (KBS) peut inclure agent rationnel, langage de représentation pour représenter des connaissances, Laboratoire 1 quels patrons de raisonnement? Déduction (Modus Ponens Modus Tolens Élimination du ET Introduction du OU Introduction du ET Resolution Unitaire), créer ou choisir un langage? créer/choisir langages non formels, langages non formels langages existants donnez des exemples???? -Français -Anglais -etc., raisonnement logique s'applique sur propositions, créer ou choisir un langage? créer/choisir langages formels, agent rationnel utilise langage de représentation, langages formels langages existants langage propositionnel, Forme normale conjonctive (FNC) ex: (P V Q V nonR) ^ (Q V S) où V = ou ^ = et qui exige une conversion des remplacer les A <=> B par deux => éliminer les => distribuer les négations (Morgan) distribuer les OU sur les ET, langage de représentation qui peuvent être langages non formels, mécanisme utilise règles, langages formels langages existants logique modale, systèmes à base de connaissances Knowledge-based System (KBS) se compose officiellement de base de connaissances + moteur d'inférence, langages formels langages existants logique du 2e ordre, agir, penser, imiter, rationaliser lecture/web quelques tests