Consciousness and Automated Reasoning
  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.
