Loupe Copy

7-5 Inference (iv) - Forward chaining, Inference (v) - Backward chaining

Loading...
En provenance du cours de National Taiwan University
人工智慧：搜尋方法與邏輯推論 (Artificial Intelligence - Search & Logic)
148 notes
National Taiwan University

人工智慧：搜尋方法與邏輯推論 (Artificial Intelligence - Search & Logic)

148 notes
À partir de la leçon
First Order Logic
7-1 First-Order Logic (i) - Syntax of FOL and Semantics16:26
7-2 First-Order Logic (ii) - Using FOL, Inference (i) - Instantiation13:20
7-3 Inference (ii) - Propositionalization, Inference (iii) - Unification18:17
7-4 Inference (iii) - Unification, Inference (iv) - Forward chaining18:11
7-5 Inference (iv) - Forward chaining, Inference (v) - Backward chaining13:17
7-6 Logic Programing (i) - Prolog Systems17:31
7-7 Logic Programing (ii) - Redundant Inference and Infinite Loops in Prolog12:53
7-8 Inference (vi) - Resolution16:52

Rencontrer les enseignants

  • 于天立
    于天立
    副教授 (Associate Professor)
    電機工程學系 (Department of Electrical Engineering)

Explorer notre catalogue

Rejoignez-nous gratuitement et obtenez des recommendations, des mises à jour et des offres personnalisées.

Coursera propose un accès universel à la meilleure formation au monde, en partenariat avec des universités et des organisations du plus haut niveau, pour proposer des cours en ligne.
© 2018 Coursera Inc. Tous droits réservés.
Télécharger dans l'App StoreDisponible sur Google Play