当前位置:网站首页>MIT博士论文 | 使用神经符号学习的鲁棒可靠智能系统
MIT博士论文 | 使用神经符号学习的鲁棒可靠智能系统
2022-07-06 00:33:00 【智源社区】
这篇论文表明,通过神经符号模型的视角来看待智能系统比传统的深度学习方法有几个好处。神经符号模型包含符号程序性构造,如循环、条件和连续的神经成分。符号部分使模型具有可解释性、泛化性和稳健性,而神经部分处理智能系统的复杂性。具体而言,本文提出了两类神经符号模型——状态机和神经符号transformers,并以基于强化学习的自主系统和多机器人系统为例对它们进行了评估。这些案例研究表明,学习的神经符号模型是人类可读的,可以外推到看不见的场景,并可以处理规范中的稳健目标。为了有效地学习这些神经符号模型,我们引入了利用机器学习和程序合成的最新技术的神经符号学习算法。
边栏推荐
- Atcoder beginer contest 258 [competition record]
- [Chongqing Guangdong education] reference materials for Zhengzhou Vocational College of finance, taxation and finance to play around the E-era
- Spark SQL null value, Nan judgment and processing
- Hardware and interface learning summary
- Power Query数据格式的转换、拆分合并提取、删除重复项、删除错误、转置与反转、透视和逆透视
- Basic introduction and source code analysis of webrtc threads
- Priority queue (heap)
- QT -- thread
- 数据分析思维分析方法和业务知识——分析方法(二)
- Extracting profile data from profile measurement
猜你喜欢
时间戳的拓展及应用实例
Key structure of ffmpeg - avframe
Spark AQE
Calculate sha256 value of data or file based on crypto++
Extracting profile data from profile measurement
Teach you to run uni app with simulator on hbuilderx, conscience teaching!!!
【DesignMode】装饰者模式(Decorator pattern)
FFMPEG关键结构体——AVCodecContext
【DesignMode】组合模式(composite mode)
2022-02-13 work record -- PHP parsing rich text
随机推荐
Global and Chinese market of valve institutions 2022-2028: Research Report on technology, participants, trends, market size and share
Configuring OSPF load sharing for Huawei devices
【线上小工具】开发过程中会用到的线上小工具合集
Browser reflow and redraw
Intranet Security Learning (V) -- domain horizontal: SPN & RDP & Cobalt strike
QT -- thread
Problems and solutions of converting date into specified string in date class
NLP text processing: lemma [English] [put the deformation of various types of words into one form] [wet- > go; are- > be]
【DesignMode】组合模式(composite mode)
Determinant learning notes (I)
[noi simulation] Anaid's tree (Mobius inversion, exponential generating function, Ehrlich sieve, virtual tree)
Atcoder beginer contest 258 [competition record]
FFmpeg抓取RTSP图像进行图像分析
Codeforces round 804 (Div. 2) [competition record]
Comment faire votre propre robot
Power Query数据格式的转换、拆分合并提取、删除重复项、删除错误、转置与反转、透视和逆透视
[designmode] Decorator Pattern
XML Configuration File
What is information security? What is included? What is the difference with network security?
Extracting profile data from profile measurement