XiaoMi-AI文件搜索系统
World File Search Systemwumpus
计算机科学与工程系B. AI＆ML（R22）
通过搜索-II和命题逻辑对手搜索解决问题：游戏，游戏中的最佳决策，alpha – beta修剪，实时决策不完善。约束满意度问题：定义约束满意度问题，约束传播，回溯搜索CSP，本地搜索CSP，问题的结构。命题逻辑：基于知识的代理，王子世界，逻辑，命题逻辑，命题定理证明：推论和证明，通过解决方案，霍恩条款和确定的条款证明，前向和向后链条，有效的命题模型，基于命题逻辑。单位-III