Title: The synthesis of digital machines with provable epistemic properties
Subjects: Artificial intelligence, Logic design, Robotics