Consciousness and Automated Reasoning
This work addresses the challenge of creating artificial consciousness for AI researchers, but it is incremental as it builds on existing theories and systems.
The paper tackles the problem of modeling artificial consciousness by applying theories from philosophy of mind to a first-order logic reasoning system with a large knowledge base, and demonstrates that the system can perform conscious mind wandering.
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.