Logique du premier ordre et unification

Ce que les quantificateurs apportent par rapport aux propositions, et comment substitution, unification et modus ponens généralisé relèvent l’inférence des faits particuliers aux règles générales.

IntermédiaireModule 330 min · 120 XP

Une phrase par case jetée dès que la grille change de taille, remplacée par une unique règle quantifiée qui y survit - puis un unificateur calculé argument par argument.

Ceci est une leçon premium

Connectez-vous et inscrivez-vous pour lire la leçon complète, exécuter le code, passer le quiz et gagner des XP pour le badge du parcours.

Se connecter Créer un compte

← Retour à Logique et représentation des connaissances