吉林大学计算机科学与技术学院张永刚主讲课程学习交
课程内容
一、课程背景
二、产生式系统表示及其搜索方法
三、逻辑表示及其推理方法
第三章 产生式系统的搜索策略
约束程序研究与进展
第四章 可分解产生式系统的搜索策略
第三部分 逻辑表示及推理方法
第五章 谓词演算(复习)
第六章 归结原理
第七章 基于规则的演绎系统
人工智能第一章.ppt 4.2 MB
人工智能第五章.ppt 803.0 KB
人工智能第四章.ppt 970.0 KB
人工智能第三章.ppt 1.3 MB
人工智能第七章.ppt 426.0 KB
人工智能第六章.ppt 880.0 KB
人工智能第二章.ppt 348.0 KB
第三章参考资料.ppt 1.3 MB
+教学材料 113.0 MB
算法技术手册.pdf 32.2 MB
Slides of ai a modern approach.rar 23.1 MB
sc2014_proceedings.pdf 1.6 MB
SAT-presentation.pdf 834.0 KB
SAT Competitions.htm 38.5 KB
main_lan1.pdf 8.1 MB
jpms-wodes08.pdf 133.0 KB
jarvisalo-leberre-roussel-simon.aimag.pdf 343.0 KB
Artificial+Intelligence+for+Games.pdf 5.3 MB
Artificial Intelligence Structures and Strategies for Complex Problem Solving.pdf 40.7 MB
algorithms-for-satisfiability.pdf 1.1 MB
人工智能课件.part1.rar
(100 MB, 需要: RMB 29 元)
人工智能课件.part2.rar
(8.82 MB)


雷达卡



京公网安备 11010802022788号







