Atsuyuki Suzuki

Papers

Total Citations

H-Index

About

Dr. Atsuyuki Suzuki is a pioneering researcher in the field of artificial intelligence and logic programming, with a specific focus on defeasible deontic reasoning and its applications in robotics and safety verification. His most significant contribution is the development of the Extended Vector Annotated Logic Program with Strong Negation (EVALPSN), a novel framework designed to handle complex deontic concepts—such as permissions, obligations, and prohibitions—in a defeasible manner. This work, detailed in his highly cited 2002 paper (8 citations), laid the groundwork for applying logical reasoning to real-world control systems. Building on this foundation, his 2004 paper (10 citations) further advanced the field by demonstrating how EVALPSN can be used for defeasible deontic control in discrete event systems, enabling more flexible and robust robot action control. While his citation counts reflect the specialized nature of his work, Suzuki’s contributions are foundational for researchers in AI, robotics, and automated safety, providing a rigorous logical framework that continues to influence the development of intelligent, rule-based autonomous systems.