Max Robotics — Global Service Robot Directory + US Certification

About

Craig Boutilier is a leading figure in artificial intelligence, whose work bridges the foundational theory of knowledge representation with the practical demands of decision-making and multi-agent systems. His most celebrated contribution is the DTGolog framework, which seamlessly integrates high-level agent programming with decision-theoretic planning within the situation calculus. This seminal work, which has garnered nearly 200 citations, provides a powerful model for robot programming, allowing agents to execute complex, partially-specified control programs while making optimal, utility-maximizing choices. Boutilier’s research also laid critical groundwork in the economic principles of multi-agent systems, exploring how AI agents can negotiate and cooperate in competitive environments. His deep expertise is further reflected in his articulation of key research challenges in knowledge representation, a field he has helped to shape. Through his pioneering synthesis of logic, probability, and game theory, Boutilier has profoundly influenced how we design autonomous systems that reason, plan, and act intelligently in the real world.