会员服务
操作 · 讲稿 ·
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
相关主题
操作
讲稿
最新内容
综述 | 具身智能世界模型：从可信预测、可控干预到行动效用
综述 | 具身智能世界模型：从可信预测、可控干预到行动效用
专知会员服务
1+阅读 · 9月17日
综述 | 生成式物理人工智能：五类模型、系统架构与落地挑战
综述 | 生成式物理人工智能：五类模型、系统架构与落地挑战
专知会员服务
2+阅读 · 9月17日
有人与无人军用飞机：是否正步入自主空中力量的时代？
有人与无人军用飞机：是否正步入自主空中力量的时代？
专知会员服务
1+阅读 · 9月17日
《穿越战争迷雾：通过环境利用优化海军补给路线》80页
《穿越战争迷雾：通过环境利用优化海军补给路线》80页
专知会员服务
1+阅读 · 9月17日
《迫使对手适应：乌克兰特种作战如何产生战略效果》130页
《迫使对手适应：乌克兰特种作战如何产生战略效果》130页
专知会员服务
1+阅读 · 9月17日
《国防与国际安全中的量子-人工智能融合》报告
《国防与国际安全中的量子-人工智能融合》报告
专知会员服务
2+阅读 · 9月17日
综述 | 世界—动作模型：从预测未来到机器人闭环控制
综述 | 世界—动作模型：从预测未来到机器人闭环控制
专知会员服务
3+阅读 · 9月17日
综述 | 迈向能够自我改进的AI：递归自我改进（RSI）
综述 | 迈向能够自我改进的AI：递归自我改进（RSI）
专知会员服务
3+阅读 · 9月17日
《嵌入式机器人平台上用于自主导航与感知的智能体人工智能框架》140页
《嵌入式机器人平台上用于自主导航与感知的智能体人工智能框架》140页
专知会员服务
7+阅读 · 9月16日
致命七类无人机：无人机时代的演进型合成兵种
致命七类无人机：无人机时代的演进型合成兵种
专知会员服务
5+阅读 · 9月16日
《远征前进基地作战中的指挥控制：社会技术框架》90页
《远征前进基地作战中的指挥控制：社会技术框架》90页
专知会员服务
4+阅读 · 9月16日
美海军转向“吸血鬼”反无人机武器以保护濒海部队免受无人机系统与无人水面艇威胁
美海军转向“吸血鬼”反无人机武器以保护濒海部队免受无人机系统与无人水面艇威胁
专知会员服务
5+阅读 · 9月15日
《异构无人水面艇集群作战自主制导算法》130页
《异构无人水面艇集群作战自主制导算法》130页
专知会员服务
7+阅读 · 9月15日
《赋能海上指挥与控制：运用5G技术实现海上感知、目标定位与决策支持》90页报告
《赋能海上指挥与控制：运用5G技术实现海上感知、目标定位与决策支持》90页报告
专知会员服务
6+阅读 · 9月15日
美军无人机优势计划详解：五角大楼计划到2027年如何扩大低成本攻击无人机规模
美军无人机优势计划详解：五角大楼计划到2027年如何扩大低成本攻击无人机规模
专知会员服务
9+阅读 · 9月14日
相关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