通过态射链接实现符号接地
人工智能
2017-03-14 v1
摘要
本文提出一种新的符号接地模型，其中自然语言、逻辑语义、感知和行动的结构均以范畴论方式表示，符号接地则通过相关范畴间态射的复合来建模。该模型为符号接地根本上系统性的本质提供了概念性洞察，并与当前研究和商业应用中的实际现实世界 AI 系统自然衔接。具体而言，本文论证了语言句法结构可建模为某种非对称幺半范畴，例如链接语法形式体系中隐含的那样；时空关系和行动规划的结构可使用“图像语法”和“行动语法”类似地建模；常识逻辑语义结构则可使用具有不确定真值的依赖类型 lambda 演算来建模。基于这些形式体系，语言描述在时空感知和协调行动中的接地，即是从语言到逻辑再到时空和身体（用于理解）的态射跟随，反之亦然（用于生成）。文中指出了区域连接演算和 Allen 区间代数中的空间关系与链接语法句法分析词典中相应条目之间的映射。此外，本文引入的抽象概念被证明能够自然地建模当前在利用 OpenCog 认知架构控制 Hanson Robotics 人形机器人背景下所部署的结构和系统。
引用
@article{arxiv.1703.04368,
title = {Symbol Grounding via Chaining of Morphisms},
author = {Ruiting Lian and Ben Goertzel and Linas Vepstas and David Hanson and Changle Zhou},
journal= {arXiv preprint arXiv:1703.04368},
year = {2017}
}