非公理词项逻辑：一种认知符号推理的计算理论
人工智能
2022-11-23 v1 计算机科学中的逻辑
摘要
本文提出非公理词项逻辑（NATL）作为人工智能中类人符号推理的理论计算框架。NATL统一了受亚里士多德词项逻辑启发的离散句法系统，以及基于分布式表示（或嵌入）这一现代思想的连续语义系统。本文将该提议方法置于逻辑的系统发生与文献脉络中，并解释此框架。由于它尚仅为一种理论且需大量进一步阐述方能实现，本文未给出定量评估。相反，我们讨论了使用NATL的论证的定性分析、一些对可能的认知科学/机器人学相关研究的应用，以及朝向机器实现所遗留的问题。
引用
@article{arxiv.2210.06316,
title = {Non-Axiomatic Term Logic: A Computational Theory of Cognitive Symbolic Reasoning},
author = {Kotaro Funakoshi},
journal= {arXiv preprint arXiv:2210.06316},
year = {2022}
}