Max Robotics — Global Service Robot Directory + US Certification

About

Carl Hewitt is a pioneering computer scientist whose foundational work in artificial intelligence and programming languages reshaped how machines reason and solve problems. His primary research areas include automated theorem proving, robotics, and the development of procedural formalisms for AI. Hewitt’s most significant contribution is the creation of PLANNER, a groundbreaking language that enabled robots to prove theorems and manipulate models of the world. This formalism introduced a hierarchical multiprocess backtrack control structure, allowing statements to be asserted and withdrawn as the state of the world changes—a revolutionary concept for its time. His seminal 1972 paper on PLANNER has garnered over 318 citations, while his earlier 1969 paper remains highly influential with 193 citations. Hewitt’s work laid the groundwork for later advances in AI planning and reasoning, and his exploration of procedural abstraction in teaching procedures to humans and robots further demonstrated his visionary approach. A true trailblazer, Hewitt’s ideas continue to inspire researchers in AI, robotics, and programming language design.