Max Robotics — Global Service Robot Directory + US Certification

About

David P. Billington is a researcher whose work sits at the intersection of artificial intelligence, robotics, and software engineering, with a particular focus on non-monotonic reasoning and its application to autonomous systems. His major contribution lies in pioneering the use of plausible logic—a form of non-monotonic reasoning—to enable robots to make decisions under incomplete and unpredictable conditions, a challenge that had largely led the robotics community to abandon symbolic reasoning in favor of reactive architectures. Billington demonstrated that this approach could be practically implemented on resource-constrained platforms, such as the Sony AIBO robot, running efficiently in real-time during RoboCup competitions. His work extends beyond robotics into requirements engineering, where he proposed replacing traditional event labels in state diagrams with plausible logic expressions to create more robust specifications for dynamic systems. With his most-cited paper, "Architecture for Hybrid Robotic Behavior" (14 citations), and a series of influential publications on modelling behaviour requirements and temporal consistency for robot localisation, Billington has carved a niche in bridging high-level reasoning with practical, deployable robotic systems, showing that non-monotonic logic can be both theoretically sound and computationally feasible.