论文标题
非轴心术语逻辑：认知符号推理的计算理论
Non-Axiomatic Term Logic: A Computational Theory of Cognitive Symbolic Reasoning
论文作者
论文摘要
本文介绍了非轴心术语逻辑（NATL）作为人工智能中人类象征性推理的理论计算框架。 NATL统一了一个基于分布式表示或嵌入的现代思想的亚里士多德术语逻辑启发的离散句法系统。本文将提出的方法定位在系统发育和逻辑文献中，并解释了框架。由于它只是一种理论，而且需要进一步的阐述才能实施它，因此没有提出定量评估。取而代之的是，讨论了使用NATL对参数的定性分析，讨论了可能与认知科学/机器人相关的研究的某些应用以及针对机械实施的剩余问题。
This paper presents Non-Axiomatic Term Logic (NATL) as a theoretical computational framework of humanlike symbolic reasoning in artificial intelligence. NATL unites a discrete syntactic system inspired from Aristotle's term logic and a continuous semantic system based on the modern idea of distributed representations, or embeddings. This paper positions the proposed approach in the phylogeny and the literature of logic, and explains the framework. As it is yet no more than a theory and it requires much further elaboration to implement it, no quantitative evaluation is presented. Instead, qualitative analyses of arguments using NATL, some applications to possible cognitive science/robotics-related research, and remaining issues towards a machinery implementation are discussed.
