会员服务
操作 · 讲稿 ·
2023 年 5 月 26 日
Meta-MeTTa: an operational semantics for MeTTa
翻译：元梅塔：一种 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.


翻译：我们提出了一种用于 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
专知会员服务
60+阅读 · 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
专知会员服务
80+阅读 · 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
相关主题
操作
讲稿
最新内容
论文解读 | 医学图像修复中的扩散模型：挑战、分类与未来方向
论文解读 | 医学图像修复中的扩散模型：挑战、分类与未来方向
专知会员服务
0+阅读 · 7月28日
博士论文 | 从算法到基础模型：强化学习的统一视角
博士论文 | 从算法到基础模型：强化学习的统一视角
专知会员服务
0+阅读 · 7月28日
面向国防作战的最佳自主与蜂群无人机技术
面向国防作战的最佳自主与蜂群无人机技术
专知会员服务
5+阅读 · 7月28日
《异构人类团队的协作决策过程混合建模研究》
《异构人类团队的协作决策过程混合建模研究》
专知会员服务
4+阅读 · 7月28日
《C5ISR系统中的注意力动态与自适应决策支持研究：视觉与多模态注意力引导对任务绩效影响的递归量化分析》最新36页报告
《C5ISR系统中的注意力动态与自适应决策支持研究：视觉与多模态注意力引导对任务绩效影响的递归量化分析》最新36页报告
专知会员服务
4+阅读 · 7月28日
《设计思维中的人机协作：生成式人工智能对共情访谈影响的探究》140页
《设计思维中的人机协作：生成式人工智能对共情访谈影响的探究》140页
专知会员服务
4+阅读 · 7月28日
博士论文 | 面向大模型推理的内存高效算法
博士论文 | 面向大模型推理的内存高效算法
专知会员服务
5+阅读 · 7月27日
论文解读 | 从预训练到后训练：理解大模型推理能力如何形成
论文解读 | 从预训练到后训练：理解大模型推理能力如何形成
专知会员服务
7+阅读 · 7月27日
《无人系统互操作性导论——无人系统联合架构（JAUS）》
《无人系统互操作性导论——无人系统联合架构（JAUS）》
专知会员服务
13+阅读 · 7月27日
美空军新型反无人机部队初探
美空军新型反无人机部队初探
专知会员服务
8+阅读 · 7月27日
《对抗性电磁环境下远程巡飞弹作战的安全指挥与控制数据链》
《对抗性电磁环境下远程巡飞弹作战的安全指挥与控制数据链》
专知会员服务
7+阅读 · 7月27日
《北约下一代建模与仿真（NexGen M&S）计划》2026年69页
《北约下一代建模与仿真（NexGen M&S）计划》2026年69页
专知会员服务
5+阅读 · 7月27日
《防空交战流程的概率建模研究》
《防空交战流程的概率建模研究》
专知会员服务
12+阅读 · 7月27日
ICML 2026 教程 | 数值优化理论还重要吗？
ICML 2026 教程 | 数值优化理论还重要吗？
专知会员服务
7+阅读 · 7月26日
ICM 2026 | 陶哲轩：人工智能时代的数学
ICM 2026 | 陶哲轩：人工智能时代的数学
专知会员服务
10+阅读 · 7月26日
相关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
专知会员服务
60+阅读 · 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
专知会员服务
80+阅读 · 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