Yves Lesp

Papers

Total Citations

H-Index

About

Yves Lesp is a pioneering figure in cognitive robotics, whose work bridges the gap between logical theory and autonomous agent programming. His primary research areas include high-level robot programming, the situation calculus, and the formalization of knowledge and action in artificial intelligence. Lesp’s most influential contribution is his 1994 paper, "A Logical Approach to High-Level Robot Programming: A Progress Report," which has garnered 90 citations. In this seminal work, he introduced a groundbreaking method for programming robots using a highly developed logical theory of action, where users specify basic actions, preconditions, and environmental effects in a formal language. This approach laid the foundation for more robust, verifiable robot behavior. Additionally, his 1995 paper on "The Situation Calculus with Sensing and Indexical Knowledge" advanced the cognitive robotics project by incorporating indexical knowledge—a crucial step for agents operating in dynamic, uncertain environments. While less cited, this work demonstrates Lesp’s commitment to refining logical frameworks for real-world agent reasoning. Through his contributions, Lesp has significantly shaped how researchers think about integrating logic, perception, and action in autonomous systems, making his work essential reading for students and scholars in AI and robotics.