论文标题
意识和自动推理
Consciousness and Automated Reasoning
论文作者
论文摘要
本文旨在证明如何将一阶逻辑推理系统与大知识基础结合使用，以理解为人工意识系统。为此，我们回顾了思想哲学领域的某些方面，尤其是Tononi的信息整合理论（IIT）和Baars的全球工作空间理论。在常识和认知推理的情况下，这些将应用于推理系统Hyper，作为知识基础。最后，我们证明了这样的系统非常能够进行有意识的思维徘徊。
This paper aims at demonstrating how a first-order logic reasoning system in combination with a large knowledge base can be understood as an artificial consciousness system. For this we review some aspects from the area of philosophy of mind and in particular Tononi's Information Integration Theory (IIT) and Baars' Global Workspace Theory. These will be applied to the reasoning system Hyper with ConceptNet as a knowledge base within a scenario of commonsense and cognitive reasoning. Finally we demonstrate that such a system is very well able to do conscious mind wandering.
