会员服务
操作 · 讲稿 ·
2023 年 5 月 26 日
Meta-MeTTa: an operational semantics for MeTTa
翻译：暂无翻译
Lucius Gregory Meredith,Ben Goertzel,Jonathan Warrell,Adam Vandervorst
Lucius Gregory Meredith,Ben Goertzel,Jonathan Warrell,Adam Vandervorst

We present an operational semantics for the language MeTTa.


翻译：暂无翻译
0
下载
关闭预览

相关内容

史上最全！358篇机器学习&自然语言处理综述论文！都这儿了
专知会员服务
129+阅读 · 2020年7月18日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
96+阅读 · 2020年3月12日
【NLP| 推荐文章】 基于文本和知识库的语义搜索 （Semantic search on text and knowledge bases）
专知会员服务
46+阅读 · 2019年11月24日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
50+阅读 · 2019年10月17日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
59+阅读 · 2019年10月17日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
182+阅读 · 2019年10月11日
[综述]深度学习下的场景文本检测与识别
[综述]深度学习下的场景文本检测与识别
专知会员服务
78+阅读 · 2019年10月10日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
94+阅读 · 2019年10月10日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
41+阅读 · 2019年10月9日
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
图与推荐
2+阅读 · 2022年11月2日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
27+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
29+阅读 · 2019年5月18日
上百种预训练中文词向量：Chinese-Word-Vectors
上百种预训练中文词向量：Chinese-Word-Vectors
AINLP
23+阅读 · 2019年2月26日
强化学习的Unsupervised Meta-Learning
强化学习的Unsupervised Meta-Learning
CreateAMind
18+阅读 · 2019年1月7日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
44+阅读 · 2019年1月3日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
LibRec 精选：推荐系统的论文与源码
LibRec 精选：推荐系统的论文与源码
LibRec智能推荐
14+阅读 · 2018年11月29日
Single-Shot Object Detection with Enriched Semantics
Single-Shot Object Detection with Enriched Semantics
统计学习与视觉计算组
14+阅读 · 2018年8月29日
【论文推荐】最新5篇图像分割（Image Segmentation）相关论文—多重假设、超像素分割、自监督、图、生成对抗网络
【论文推荐】最新5篇图像分割（Image Segmentation）相关论文—多重假设、超像素分割、自监督、图、生成对抗网络
专知
27+阅读 · 2018年2月7日
两类带导数的非线性Schrodinger方程拟周期解的存在性
国家自然科学基金
0+阅读 · 2015年12月31日
SIP1-SHR-SCR蛋白复合体调控根分生组织发育分子机制的研究
国家自然科学基金
0+阅读 · 2015年12月31日
PSMA通过TRAF6和TTC3调控前列腺癌细胞自噬在CRPC产生过程中的机制研究
国家自然科学基金
0+阅读 · 2014年12月31日
线性离散周期系统的鲁棒控制
国家自然科学基金
0+阅读 · 2012年12月31日
ASICs在肿瘤酸化微环境中对MDSCs抑制免疫活性的影响及其机制的研究
国家自然科学基金
0+阅读 · 2012年12月31日
不同垒层厚度并掺杂的GaNAs基短周期超晶格太阳能电池与MBE生长研究
国家自然科学基金
0+阅读 · 2012年12月31日
带有不确定干扰的无穷维振动系统的镇定
国家自然科学基金
0+阅读 · 2012年12月31日
Sema4C对斑马鱼血管和淋巴管生成的调控机制及其在肿瘤转移中的功能研究
国家自然科学基金
0+阅读 · 2011年12月31日
ERα介导的膜雌激素信号通路在神经细胞生长和凋亡中的作用
国家自然科学基金
0+阅读 · 2009年12月31日
基于适配体的小分子和蛋白质无标记化学发光检测技术
国家自然科学基金
0+阅读 · 2009年12月31日
Probabilistic Query Evaluation with Bag Semantics
Arxiv
0+阅读 · 2023年7月17日
Multilingual Speech-to-Speech Translation into Multiple Target Languages
Arxiv
0+阅读 · 2023年7月17日
Orders between channels and implications for partial information decomposition
Orders between channels and implications for partial information decomposition
Arxiv
0+阅读 · 2023年7月14日
On the Effect of Anticipation on Reading Times
Arxiv
0+阅读 · 2023年7月14日
Secure Short-Packet Communications via UAV-Enabled Mobile Relaying: Joint Resource Optimization and 3D Trajectory Design
Arxiv
0+阅读 · 2023年7月14日
Unpacking polarization: Antagonism and Alignment in Signed Networks of Online Interaction
Arxiv
0+阅读 · 2023年7月13日
Safe Networked Robotics with Probabilistic Verification
Arxiv
0+阅读 · 2023年7月12日
RaBiT: An Efficient Transformer using Bidirectional Feature Pyramid Network with Reverse Attention for Colon Polyp Segmentation
Arxiv
0+阅读 · 2023年7月12日
Infusing Knowledge into the Textual Entailment Task Using Graph Convolutional Networks
Infusing Knowledge into the Textual Entailment Task Using Graph Convolutional Networks
Arxiv
23+阅读 · 2019年11月5日
Single-Shot Object Detection with Enriched Semantics
Arxiv
11+阅读 · 2018年4月8日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
操作
讲稿
最新内容
乌克兰前线的五项创新
乌克兰前线的五项创新
专知会员服务
1+阅读 · 今天6:14
军事通信系统与设备的技术演进综述
军事通信系统与设备的技术演进综述
专知会员服务
1+阅读 · 今天5:59
《北约 AI手册：作战人员的实用考量》（2026最新64页）
《北约 AI手册：作战人员的实用考量》（2026最新64页）
专知会员服务
1+阅读 · 今天5:54
《北约标准：医疗评估手册》174页
《北约标准：医疗评估手册》174页
专知会员服务
1+阅读 · 今天5:51
《提升生成模型的安全性与保障》博士论文
《提升生成模型的安全性与保障》博士论文
专知会员服务
0+阅读 · 今天5:47
美国当前高超音速导弹发展概述
美国当前高超音速导弹发展概述
专知会员服务
4+阅读 · 4月19日
《高超音速武器：一项再度兴起的技术》120页slides
《高超音速武器：一项再度兴起的技术》120页slides
专知会员服务
8+阅读 · 4月19日
无人机蜂群建模与仿真方法
无人机蜂群建模与仿真方法
专知会员服务
8+阅读 · 4月19日
《重建美国空中力量：为应对同级冲突平衡空军战斗力量》美智库报告
《重建美国空中力量：为应对同级冲突平衡空军战斗力量》美智库报告
专知会员服务
3+阅读 · 4月19日
《量化反无人机系统对抗无人机蜂群效能的创新方法》
《量化反无人机系统对抗无人机蜂群效能的创新方法》
专知会员服务
12+阅读 · 4月19日
澳大利亚发布《国防战略（2026年）》
澳大利亚发布《国防战略（2026年）》
专知会员服务
4+阅读 · 4月19日
【CMU博士论文】迈向基于基础先验的 4D 感知研究
【CMU博士论文】迈向基于基础先验的 4D 感知研究
专知会员服务
4+阅读 · 4月19日
大语言模型智能体中的外显化机制：记忆、技能、协议与评测基准工程综述
大语言模型智能体中的外显化机制：记忆、技能、协议与评测基准工程综述
专知会员服务
14+阅读 · 4月19日
全球高超音速武器最新发展趋势
全球高超音速武器最新发展趋势
专知会员服务
3+阅读 · 4月19日
《利用大语言模型增强多域作战兵棋推演》（报告）
《利用大语言模型增强多域作战兵棋推演》（报告）
专知会员服务
14+阅读 · 4月18日
相关VIP内容
史上最全！358篇机器学习&自然语言处理综述论文！都这儿了
专知会员服务
129+阅读 · 2020年7月18日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
96+阅读 · 2020年3月12日
【NLP| 推荐文章】 基于文本和知识库的语义搜索 （Semantic search on text and knowledge bases）
专知会员服务
46+阅读 · 2019年11月24日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
50+阅读 · 2019年10月17日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
59+阅读 · 2019年10月17日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
182+阅读 · 2019年10月11日
[综述]深度学习下的场景文本检测与识别
[综述]深度学习下的场景文本检测与识别
专知会员服务
78+阅读 · 2019年10月10日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
94+阅读 · 2019年10月10日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
41+阅读 · 2019年10月9日
热门VIP内容
相关资讯
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
图与推荐
2+阅读 · 2022年11月2日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
27+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
29+阅读 · 2019年5月18日
上百种预训练中文词向量：Chinese-Word-Vectors
上百种预训练中文词向量：Chinese-Word-Vectors
AINLP
23+阅读 · 2019年2月26日
强化学习的Unsupervised Meta-Learning
强化学习的Unsupervised Meta-Learning
CreateAMind
18+阅读 · 2019年1月7日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
44+阅读 · 2019年1月3日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
LibRec 精选：推荐系统的论文与源码
LibRec 精选：推荐系统的论文与源码
LibRec智能推荐
14+阅读 · 2018年11月29日
Single-Shot Object Detection with Enriched Semantics
Single-Shot Object Detection with Enriched Semantics
统计学习与视觉计算组
14+阅读 · 2018年8月29日
【论文推荐】最新5篇图像分割（Image Segmentation）相关论文—多重假设、超像素分割、自监督、图、生成对抗网络
【论文推荐】最新5篇图像分割（Image Segmentation）相关论文—多重假设、超像素分割、自监督、图、生成对抗网络
专知
27+阅读 · 2018年2月7日
相关论文
Probabilistic Query Evaluation with Bag Semantics
Arxiv
0+阅读 · 2023年7月17日
Multilingual Speech-to-Speech Translation into Multiple Target Languages
Arxiv
0+阅读 · 2023年7月17日
Orders between channels and implications for partial information decomposition
Orders between channels and implications for partial information decomposition
Arxiv
0+阅读 · 2023年7月14日
On the Effect of Anticipation on Reading Times
Arxiv
0+阅读 · 2023年7月14日
Secure Short-Packet Communications via UAV-Enabled Mobile Relaying: Joint Resource Optimization and 3D Trajectory Design
Arxiv
0+阅读 · 2023年7月14日
Unpacking polarization: Antagonism and Alignment in Signed Networks of Online Interaction
Arxiv
0+阅读 · 2023年7月13日
Safe Networked Robotics with Probabilistic Verification
Arxiv
0+阅读 · 2023年7月12日
RaBiT: An Efficient Transformer using Bidirectional Feature Pyramid Network with Reverse Attention for Colon Polyp Segmentation
Arxiv
0+阅读 · 2023年7月12日
Infusing Knowledge into the Textual Entailment Task Using Graph Convolutional Networks
Infusing Knowledge into the Textual Entailment Task Using Graph Convolutional Networks
Arxiv
23+阅读 · 2019年11月5日
Single-Shot Object Detection with Enriched Semantics
Arxiv
11+阅读 · 2018年4月8日
相关基金
两类带导数的非线性Schrodinger方程拟周期解的存在性
国家自然科学基金
0+阅读 · 2015年12月31日
SIP1-SHR-SCR蛋白复合体调控根分生组织发育分子机制的研究
国家自然科学基金
0+阅读 · 2015年12月31日
PSMA通过TRAF6和TTC3调控前列腺癌细胞自噬在CRPC产生过程中的机制研究
国家自然科学基金
0+阅读 · 2014年12月31日
线性离散周期系统的鲁棒控制
国家自然科学基金
0+阅读 · 2012年12月31日
ASICs在肿瘤酸化微环境中对MDSCs抑制免疫活性的影响及其机制的研究
国家自然科学基金
0+阅读 · 2012年12月31日
不同垒层厚度并掺杂的GaNAs基短周期超晶格太阳能电池与MBE生长研究
国家自然科学基金
0+阅读 · 2012年12月31日
带有不确定干扰的无穷维振动系统的镇定
国家自然科学基金
0+阅读 · 2012年12月31日
Sema4C对斑马鱼血管和淋巴管生成的调控机制及其在肿瘤转移中的功能研究
国家自然科学基金
0+阅读 · 2011年12月31日
ERα介导的膜雌激素信号通路在神经细胞生长和凋亡中的作用
国家自然科学基金
0+阅读 · 2009年12月31日
基于适配体的小分子和蛋白质无标记化学发光检测技术
国家自然科学基金
0+阅读 · 2009年12月31日
Top
微信扫码咨询专知VIP会员
Top