Jon Doyle

Jon Doyle is SAS Distinguished Professor of Computer Science at North Carolina State University, a pioneer in artificial intelligence research with foundational contributions to the logic of belief and rational agency. Doyle earned his undergraduate degree before completing his Ph.D. in computer science at MIT, where his fellowship began in 1975. His doctoral dissertation introduced Truth Maintenance Systems (TMS), a foundational framework for non-monotonic reasoning that allows AI systems to revise their beliefs in response to new information—a capability essential for intelligent agents operating in incomplete or changing environments. He later contributed to the theory of rational agency and the formal study of preferences and utility. He has been affiliated with Carnegie Mellon University, MIT, and Duke University before joining NC State.