麻省理工公开课02 推理：目标树与问题求解

最新推荐文章于 2025-12-06 17:00:00 发布

原创

最新推荐文章于 2025-12-06 17:00:00 发布 · 1.4k 阅读

24 ·

CC 4.0 BY-SA版权

文章标签：

#ai #学习 #笔记

麻省理工公开课02 目标树与问题求解

如何计算积分？

$\int \frac{-5x^4}{ (1-x^2) ^{\frac{5}{2}}} \,dx$

最低0.47元/天解锁文章

确定要放弃本次机会？

福利倒计时

: :

立减 ¥

普通VIP年卡可用

立即使用

kawendixv

关注关注

18
点赞
踩
24

收藏

觉得还不错? 一键收藏
0
评论
分享

复制链接

分享到 QQ

分享到新浪微博

扫一扫
举报

举报

专栏目录

Flow-GRPO: Training Flow Matching Models via Online RL

liguandong

09-08

209

90%的人低估了TRPO算法在强化学习历史的地位。就是将扩散模型和flow matching并没有本质的区别，扩散模型只是flow matching的一个子集，flow matching是一种更广形式，扩散和flow matching的正向都可以视为马尔科夫过程，其区别在于反向去噪，扩散是离散的ddpm过程，是概率流的ODE或者SDE，而flow matching的去噪更加高效，其采用了直接匹配速度场这种概率，仅需几步就可完成采样，核心区别就在于去噪的采样过程，flow matching在理论上更加高效。

MIT18.06线性代数课程笔记11：矩阵空间、子空间的交和、秩一矩阵

silent56_th的博客

11-05

3762

课程简介18.06是Gilbert Strang教授在MIT开的线性代数公开课，课程视频以及相关资料请见https://ocw.mit.edu/courses/mathematics/18-06-linear-algebra-spring-2010/index.htm。课程笔记这部分对向量空间做了一些拓展，介绍了矩阵空间以及解集空间，然后给出了子空间的操作定义：交、和。然后Strang给出了一些对

参与评论您还未登录，请先登录后发表或查看评论

人工智能公开课——03推理：目标树与基于规则的专家系统

tangering的博客

12-04

1202

课程内容小介绍目标树基于规则的专家系统小介绍第一次写博客，目的是将在公开课中所学的东西做一个梳理，同时加深印象。加油！目标树老师首先引入了一个叠方块的程序，即告诉程序需要将哪个方块放到哪个方块上面，程序会通过挪其他方块等一系列操作实现目标，同时该程序还能回答进行某一步移动的原因。（没学过什么建模语言，就这么凑合看叭）分解程序：findspace->grasp->move-&...

第二课：推理：目标树和基于规则的专家系统

egendO的博客

05-05

411

目标树和基于规则的专家系统

目标树（与/或树 and/or tree）

热门推荐

weixin_42155128的博客

07-27

1万+

目标树（与/或树 and/or tree）目标树，虽然是一颗树，看着挺高大上的，其实非常的简单，就是将目标分解至无法分解为止。有人会说，这不就是思维导图么？可以肯定的说基本相同，就是分工更加明确了。什么是思维导图思维导图是在讨论一样事物时，将事物的本质不断地发散，不断得进行引导，最后得出的一种视图，可以把事物进行更加深层次的思考。什么是目标树目标树主要适用于结果导向的各种问题，将...

P2 推理：目标树与问题求解

qq_28404829的博客

09-18

1041

P2 推理：目标树与问题求解问题归约 (problem reduction)安全变换(safe transformations)启发式变换 (heuristic transformations) 问题归约 (problem reduction) 将题目转化为另一个更简单的问题，这个过程起名叫问题规约。安全变换(safe transformations) 一个复杂的函数积分，任何做人工智能 ste...

第二天：目标树与问题求解

weixin_30399055的博客

08-08

396

1、为微积分数学题建立目标树 2、列出结积分题要用到所有的公式　　a、元素　　b、安全变换（safe）　　c、启发式（Heuristics）有时有效 3、计算积分题的流程图 4、积分题计算的过程 5、根据解决积分题的思路　　建立目标树转载于:https://www.cnblogs.com/cha...

《麻省理工学院公开课：人工智能》笔记一

it_is_me_a的博客

05-20

3037

视频链接：https://www.bilibili.com/video/av17963543/?p=2 【内容简介】本节课内容主要是围绕 James Slagle 开发的一个符号积分程序的展开，并从这个例子中理解和思考人工智能。【笔记】如果给你一个下面这个积分题，你将如何求解呢？假设我们有一个程序，它可以求解积分问题，那么这个程序算不算智能呢？现在我们来设计一个程序使得它可以求解积分问...

麻省理工公开课19 认知架构

kawendixv的博客

03-12

317

general problem solver 通用问题求解器观测差异d（差异）决定o d2决定o2，目的是缩小起点到终点的差值d（从MIT回家，先走路去公交站，坐公交去机场，然后坐飞机回家）但是寻找d和o的对应关系是很难的。

麻省理工公开课人工智能笔记十八

wuwei178的博客

01-29

1039

本节课讲了几种人工智能的架构一：通用问题求解器你最开始处在一个当前状态C，你要到一个最终状态S，做法是测量两者间的象征性差异d，依据这个差异d，我们可以使用一个算子o从当前状态到达一个中间状态T，然后测量中间状态和最终状态间的差异d2，依据d2得到算子o2，再进入一个中间状态，依次下去，最后得到最终状态。这种思想差异采集和算子寻找都需要人类来做，所以并不算一个好的人类智能。二：...

计算复杂性理论 | 从 P 与 NP 问题到元复杂性

u013669912的博客

07-29

3389

…

MIT线性代数公开课完整笔记116页PDF

《MIT线性代数公开课笔记》是一份系统、详尽且极具学习价值的数学学习资料，全面涵盖了麻省理工学院（MIT）著名教授Gilbert Strang所讲授的线性代数课程的核心内容。该笔记以PDF格式呈现，共116页，图文并茂，结构...

探索 10bit 100MS/s 流水线Pipelined ADC电路：0.18um工艺下的宝藏学习资源

最新发布

qq__27699885的博客

12-06

265

10bit 100MS/s 流水线Pipelined ADC电路，采用0.18um工艺，直接可以用，直接可以跑仿真，包含实际电路和各模块的测试电路，有效位9.5bit，适合学习。最近在研究ADC电路相关内容，发现了一个超赞的 10bit 100MS/s 流水线Pipelined ADC电路，基于0.18um工艺设计，简直就是学习ADC的神器，必须来和大家分享分享。

【AI学习-comfyUI学习-第十二节-FLUX局部重绘工作流-各个部分学习-第十二节】

qq_22146161的博客

12-02

863

最近，学习comfyUI，这也是AI的一部分，想将相关学习到的东西尽可能记录下来。加载图像这就是上传的那张桥墩照片没问题这也算各一个开始吧，我也在学习摸索中。

【模式识别与机器学习（8）】主要算法与技术（下篇：高级模型与集成方法）之元学习与集成方法：组合多个学习器来提高整体性能

hiliang521的博客

12-02

880

【模式识别与机器学习（8）】主要算法与技术（下篇：高级模型与集成方法）之元学习

vite学习

qq_41549657的博客

12-04

607

核心优势极速开发启动：开发阶段不打包，直接让浏览器加载原生ESM,配合ebuild预购建第三方依赖，启动时间从webpack的秒级变为毫秒级热更新（HMR）快:只更新修改的模块，而非全量重建，大型项目热更新耗时<10ms按需编译：开发阶段仅编译当前请求的模块，而非全量打包内置对Typescript、JSX、CSS、静态资源的支持，无需复杂配置生产环境优化：基于Rollup打包，输出高度优化的静态资源，兼顾开发销量和生产性能<docs>Vite 处理.vue。

C++基础：Stanford CS106L学习笔记 1 类型与结构

WM2101的博客

12-02

331

本文介绍了C++的类型系统和结构体特性。在类型系统方面，C++采用静态类型，变量类型一旦确定不可更改，与Python的动态类型形成对比。静态类型能提高效率并减少运行时错误。文章还介绍了using类型别名、auto类型推断以及函数重载等现代类型特性。在结构体方面，展示了如何定义和使用结构体，以及使用std::pair模板简化多值返回的实现方式。通过对比Python和C++的代码示例，突出了C++在类型安全性和编译时检查方面的优势。

算法题归类学习

qq_43751506的博客

12-05

251

删除排序链表中的重复元素II（LeetCode 82） - 全删除。删除排序链表中的重复元素（LeetCode 83） - 保留一个。删除链表的倒数第N个结点（LeetCode 19） - 快慢指针。二叉树的最大深度（LeetCode 104） - DFS/BFS。二叉树的最近公共祖先（LeetCode 236） - 递归查找。二叉树的层序遍历（LeetCode 102） - BFS队列。二叉树的中序遍历（LeetCode 94） - 递归/迭代。环形链表（LeetCode 141） - 快慢指针判环。

【Prompt学习技能树地图】LangChain原理及应用操作指南

致力于成为一名data scientist 的奋斗者

12-03

672

基础层主要解决两个核心问题：模型调用的统一化和数据存储的标准化。通过抽象接口设计，为上层应用提供了稳定、可预测的编程模型。表3.2：基础层核心组件概览组件类别核心功能解决的关键问题典型实现模型抽象统一模型调用接口屏蔽不同模型API差异存储抽象统一数据访问方式标准化各类存储系统操作文档处理多格式文档加载与转换统一文档处理流程PDF、HTML、Markdown解析接口规范定义标准化调用契约确保组件间兼容性BaseLLM、VectorStore接口。