Max Robotics — Global Service Robot Directory + US Certification

About

Naoyuki Nide’s research lies at the intersection of logic programming, paraconsistent reasoning, and autonomous robotics, with a focus on enabling robots to make robust decisions in the unpredictable real world. His major contributions include pioneering the use of 3-valued paraconsistent logic for agent decision-making—a framework that allows robots to reason effectively even when faced with contradictory or incomplete sensor data. This work, detailed in his most-cited paper (5 citations), provides a formal foundation for handling the “noise” of physical environments. Nide further advanced the field by developing an architecture for autonomously controlling embodied robots, emphasizing the integration of sensing with action and dynamic plan revision—principles inspired by human daily life. His 2014 paper (4 citations) demonstrated a robot that could reliably reach its destination despite environmental disturbances, while his 2016 work (2 citations) introduced a method for robots to build and use logical map representations for navigation. Through these contributions, Nide has established a formal, logic-based approach to real-world robot control, bridging theoretical reasoning with practical, embodied autonomy.