Contents

• Introduction
  • About Logical AI
  • Ascribing mental qualities to systems
  • Consciousness and introspection
• What Consciousness does a Robot Need?
  • Easy introspection
  • Serious introspection
  • Understanding and Awareness
• Formalized Self-Knowledge
  • Mental Situation Calculus
  • Mental events, especially mental actions
• Logical paradoxes, Gödel's theorems, and self-confidence
  • The paradoxes
  • The incompleteness theorems
  • Iterated self-confidence
  • Relative consistency
• Inferring Non-knowledge
  • Existence of parameterized sets of models
  • Non-knowledge as failure
• Humans and Robots
  • A conjecture about human consciousness and its consequences for robots
  • Robots Should Not be Equipped with Human-like Emotions
• Remarks
• Acknowledgements
• References
• About this document ...