Max Robotics — Global Service Robot Directory + US Certification

About

Andrew Rock is a pioneering researcher in autonomous robotics and requirements engineering, best known for his work on integrating non-monotonic reasoning into robotic behaviour. His research focuses on bridging the gap between high-level symbolic reasoning and the unpredictable nature of real-world environments, particularly in the context of the RoboCup soccer competitions. Rock’s major contribution is the development of Plausible Logic-driven state diagrams, which allow robots to handle incomplete knowledge and make robust decisions in dynamic settings. This approach was successfully implemented on board a Sony AIBO robot, demonstrating real-time reasoning during competitive matches—a notable achievement given the computational constraints of the platform. His most cited work, "Architecture for Hybrid Robotic Behavior" (14 citations), outlines a framework that combines reactive and deliberative control, while his papers on temporal consistency for robot localisation (10 citations) and non-monotonic reasoning for requirements engineering (5 citations) have influenced both the robotics and software engineering communities. Rock’s work stands out for its practical impact, proving that sophisticated logical reasoning can be deployed effectively in resource-limited autonomous systems.