Kazumi Nakamatsu
Papers
10
Total Citations
95
H-Index
5
About
Kazumi Nakamatsu is a pioneering researcher in the field of non-classical logic programming and its applications to intelligent control systems, robotics, and automated reasoning. His work centers on the development and application of Extended Vector Annotated Logic Programs with Strong Negation (EVALPSN), a sophisticated framework for handling defeasible deontic reasoning — the kind of nuanced, rule-based logic that governs how autonomous machines make decisions under uncertainty and conflicting constraints. Nakamatsu's most significant contributions lie in bridging theoretical logic programming with real-world robotic control. His groundbreaking work on hardware implementations of EVALPSN-based intelligent control systems addressed the critical challenge of real-time processing in autonomous machines, earning 26 citations as his most impactful study. His defeasible deontic robot control research, with 22 citations, further demonstrated how paraconsistent and paracomplete logic — systems that tolerate contradictions and incompleteness — can govern robot behavior more robustly than classical logic. With contributions spanning intelligent paraconsistent logic controllers, automated safety verification, and reasoning-based image processing, Nakamatsu has established a distinctive research legacy at the intersection of formal logic, artificial intelligence, and robotics engineering, accumulating nearly 100 citations across his career.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3
- 4Defeasible Deontic Control for Discrete Events Based on EVALPSN10 citations · 2004
- 5
- 6
- 7Handling Paraconsistency and Paracompleteness in Robotics3 citations · 2018
- 8
- 9Annotated Logics and Intelligent Control2 citations · 2016
- 10Intelligent Information Systems Based on Paraconsistent Logic Programs2 citations · 2004