说明：matlab多机器人编程设计的程序，采用的是模糊逻辑算法，经检验有较好的效果

模糊-机器人 模糊逻辑算法 多机器人 robot-fuzzy-matlab

说明：【数学逻辑，人工智能】 Second Order Quantifier Elimination

相关数学知识

说明：Mathematical Logic 《数理逻辑》

Mathematica

说明：Introduction to Mathematical Logic, 《数理逻辑》第四版

Mathematica

说明：A Course on Mathematical Logic《 数学逻辑课程》

Mathematica

说明：提供了一个基于prescan场景做的FCW逻辑算法，是用simulink搭建的，用MATLAB 做的GUI，可以实时显示出车辆在运行时的一些结果值，包括distance、TTC、vehicleSpeed等(This paper provides a FCW logic algorithm。

distance adas FCW SIMULINK prescan

说明：模糊控制课程作业，针对给定的系统（传递函数）搭建了Simulink平台，对比了模糊控制与PID控制的效果，可通过选取不同的模糊逻辑规则与参数调节仿真结果。

pid-fuzzy-simulink 控制 simulink-pid-模糊 模糊控制 模糊逻辑

说明：航迹起始算法代码，用于实现简单航迹逻辑的算法

航迹起始算法 航迹起始-matlab 逻辑航迹起始 航迹 航迹起始

说明：多目标跟踪时的逻辑航迹起始算法，用于跟踪航迹起始，仿真效果不错

航迹起始、 航迹起始 航迹matlab仿真 航迹起始-matlab logical-matlab

说明：多目标跟踪时的逻辑航迹起始算法，用于跟踪航迹起始，仿真效果不错

航迹起始、 航迹起始 航迹matlab仿真 航迹起始-matlab logical-matlab