用逻辑门电路解析推理机制,发现八类统一模式
Exploring Structures of Inferential Mechanisms through Simplistic Digital Circuits
- 以逻辑门构建推理电路,重新定义蕴含与否定
- 发现四类依赖关系与八种常见推理模式
- 为符号智能提供可泛化的认知结构框架
认知研究与人工智能发展了多种推理机制(分类、归纳、溯因、因果推理、对比、合并等)的模型,但自然与人工认知在理解上仍缺乏统一框架。本文提出一种假设性解答:从物质层面出发,借助基于逻辑门的简化电子电路视角,结合符号人工智能建模方法,探讨高层激活过程。研究发现,逻辑门视角对蕴含与否定的处理方式不同于经典逻辑与逻辑编程。通过组合探索,识别出四种可实现的依赖形式。结合逻辑程序上下文,提炼出八种常见的推理模式,将传统上独立的推理机制统一于一个框架中。进一步基于逻辑程序的概率解释,揭示内在功能依赖。论文最后指出,尽管论证主要基于符号方法与数字系统,其观察结果可能指向更具普遍适用性的结构。
原文摘要 · Abstract (English)
Cognitive studies and artificial intelligence have developed distinct models for various inferential mechanisms (categorization, induction, abduction, causal inference, contrast, merge, ...). Yet, both natural and artificial views on cognition lack apparently a unifying framework. This paper formulates a speculative answer attempting to respond to this gap. To postulate on higher-level activation processes from a material perspective, we consider inferential mechanisms informed by symbolic AI modelling techniques, through the simplistic lenses of electronic circuits based on logic gates. We observe that a logic gate view entails a different treatment of implication and negation compared to standard logic and logic programming. Then, by combinatorial exploration, we identify four main forms of dependencies that can be realized by these inferential circuits. Looking at how these forms are generally used in the context of logic programs, we identify eight common inferential patterns, exposing traditionally distinct inferential mechanisms in an unifying framework. Finally, following a probabilistic interpretation of logic programs, we unveil inner functional dependencies. The paper concludes elaborating in what sense, even if our arguments are mostly informed by symbolic means and digital systems infrastructures, our observations may pinpoint to more generally applicable structures.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。