Abhaya Nayak

Papers

Total Citations

H-Index

About

Abhaya Nayak is a leading researcher in the intersection of artificial intelligence, logic, and machine ethics. His work primarily focuses on formalizing ethical reasoning for autonomous systems, using non-monotonic logic and the situation calculus to enable machines to make morally sound decisions. Nayak’s major contributions include developing epistemic and non-monotonic reasoning frameworks that allow autonomous machines—such as self-driving vehicles and social robots—to navigate ethical dilemmas in dynamic environments. His 2021 paper, "Epistemic Reasoning for Machine Ethics with Situation Calculus," has garnered 7 citations, reflecting its growing influence in the field. This work, along with his 2020 paper on non-monotonic reasoning, lays the groundwork for encoding ethical principles into AI systems, addressing critical challenges in machine ethics. Nayak’s research is pivotal for the widespread acceptance of autonomous technologies, offering a rigorous logical foundation for responsible AI. His achievements highlight a commitment to bridging theoretical logic with practical ethical considerations, making him a key figure in shaping the future of trustworthy autonomous systems.