6-4 Inference (ii) - Simple Knowledge, Resolution and CNF (i) - Proof by Resolution, CNF Conversion, Resolution Algorithm

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

Rencontrer les enseignants

  • 于天立(Tian-Li,Yu)
    于天立(Tian-Li,Yu)
    副教授(Associate Professor)
    電機工程學系(Electrical Engineering)

Explorer notre catalogue

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