Hayato Komaba

Papers

Total Citations

H-Index

About

Hayato Komaba is a researcher whose work bridges artificial intelligence, logic programming, and normative systems, with a particular focus on defeasible deontic reasoning. His most cited paper, "Defeasible Deontic Control for Discrete Events Based on EVALPSN" (2004, 10 citations), introduces a novel framework for modeling obligations, permissions, and prohibitions in dynamic, event-driven environments. This contribution is foundational to the development of EVALPSN (Extended Vector Annotated Logic Program with Strong Negation), a logic programming paradigm that handles defeasible—or overrideable—deontic rules. Komaba’s work is significant for its application in multi-agent systems, robotics, and automated decision-making, where agents must reason about norms and exceptions in real time. While his citation count reflects a niche but impactful area, his research has influenced subsequent studies in deontic logic and control systems. Komaba’s achievements include advancing the theoretical underpinnings of defeasible reasoning in normative contexts, offering a robust mathematical framework for managing conflicting obligations. For students and researchers, his work provides a critical lens into how AI can incorporate ethical and legal constraints, making it a valuable resource for those exploring the intersection of logic, ethics, and autonomous systems.