Herbrand定理（语义树）
完全语义树：
原子集中所有元素逐层添加的一棵二叉树。将元素的是与非分别标记在两侧的分枝上（可不完全画完） 。
S的完全语义树是无限、可数树。
封闭语义树：
如果S的完全语义树的每个分枝上都有一个失败结点，就称它是一棵封闭语义树。
S的封闭语义树是有限、可数树。
2021-12-24 12:35:46
1.87MB
1
为了解决空调遥控器不兼容问题,设计了一款基于Atmega16单片机的智能空调遥控器。该遥控器采用测量脉冲宽度的方法学习红外信号,同时使用游程编码算法对数据进行压缩后存储,并利用单片机内部定时器PWM模式产生红外载波,成功实现了对红外遥控的学习与再现,并可通过上位机进行控制。经运行测试表明,该智能遥控器操作灵活,性能稳定,为智能遥控器设计提供了一种新方案。
1 引言
本文设计了一款针对空调设备的智能学习型红外遥控器，采用记录脉冲宽度的方法，成功实现了对多种红外空调遥控信号的学习与再现，真正实现了""。本文在阐述了系统的总体结构及硬件设计的基础上，详细研究了系统学习，发送及通信
2021-11-29 12:58:20
337KB
1
博弈树搜索
博弈问题
双人
一人一步，轮流进行
双方信息完备，即双方得到的信息是一样的
零和，即双方是寻找置对手于必败态的过程
双方都无法干预对方的选择
可用图搜索技术进行，但效率很低
2021-10-16 17:25:38
1.87MB
1
人工智能资料，包括pathon，数学基础，算法基础，Tensorflow的学习，视频，代码及文档，全套，超值。现在分享给大家。
2021-10-13 11:03:10
93B
1
此压缩包包含人工智能及其应用蔡自兴第四版第一章，第二章，第三章，第五章，第六章，第七章，第八章ppt，模糊计算、深度学习、神经计算资料。
2021-09-24 15:46:16
45.3MB
1