Non-Axiomatic Term Logic: A Theory of Cognitive Symbolic Reasoning

This paper presents Non-Axiomatic Term Logic (NATL) as a theoretical computational framework of humanlike symbolic reasoning in artificial intelligence. NATL unites discrete syntactic system inspired from Aristotle's term logic and continuous semantic based on the modern idea distributed representations, or embeddings. positions proposed approach phylogeny literature logic, explains framework. As it is yet no more than theory requires much further elaboration to implement it, quantitative evaluation presented. Instead, qualitative analyses arguments using NATL, some applications possible cognitive science/robotics-related research, remaining issues towards machinery implementation are discussed.