AISC Meets Natural Typography

Abstract. McDermott [12,13] introduced the concept "Artificial Intelligence meets Natural Stupidity". In this paper, we explore how Artificial Intelligence and Symbolic Computation can meet Natural Typography, and how the conventions for expressing mathematics that humans understand can cause us difficulties when designing mechanised systems.

• Type: Conference
• Year: 2008
• Where: AISC
• Authors: James H. Davenport
• Keywords: AISC 2008, Artificial Intelligence, Natural Stupidity, Natural Typography