Max Robotics — Global Service Robot Directory + US Certification

About

David Poole is a researcher whose work sits at the rich intersection of artificial intelligence, robotics, and logical reasoning, with particular expertise in probabilistic inference, robot control, and decision-theoretic planning. His most influential contribution, "Diagnosis by a Waiter and a Mars Explorer" (2004, 102 citations), demonstrates how particle filters can be elegantly combined with classical algorithms to enable real-time diagnosis in mobile robots — a breakthrough with clear practical implications for autonomous systems operating in complex environments. This work established him as a significant voice in state estimation and robotic reasoning. Poole has also made substantial contributions to the formalization of decision-making under uncertainty. His 1998 paper on decision theory and the situation calculus (47 citations) pioneered a natural integration of logical action representations with probabilistic utility reasoning, building on Reiter's celebrated solution to the frame problem. This thread continued in his 2013 framework for decision-theoretic planning, further refining how conditional plans and probability can coexist within logical formalisms. His earlier work on logic programming for robot control (1995, 27 citations) laid important groundwork for specifying reactive agent behavior formally. Collectively, Poole's research offers foundational tools for building intelligent, reasoning-capable autonomous systems.