Max Robotics — Global Service Robot Directory + US Certification

About

Ken Satoh is a pioneering researcher at the intersection of artificial intelligence, logic programming, and robotics. His work centers on bridging the gap between formal logical reasoning and the messy, unpredictable nature of real-world environments. Satoh’s major contributions include developing a logic-based mechanism for robust robot decision-making that can handle environmental noise and dynamically changing plans—a key challenge for embodied AI. He has also advanced the use of Answer Set Programming (ASP) for requirements representation in software engineering, envisioning adaptive business systems that leverage AI. His research on autonomous mobile robots demonstrates how logical representations of maps and inference of location can enable robots to reach destinations despite sensor disturbances. While his most-cited paper, "New Frontiers in Artificial Intelligence" (2017), has 10 citations, his cumulative impact is seen in the practical demonstrations of his architectures for autonomously controlling robots in the real world. Satoh’s work is notable for its formal rigor combined with experimental validation, offering a vision where AI systems are both logically sound and robust enough for deployment in dynamic, physical environments.