# Jon Doyle

**SAS Institute Distinguished Professor Emeritus of Computer Science**

**Ph.D., Massachusetts Institute of Technology**

## Contact information

## Office Hours

- As an emeritus professor, I no longer keep regular hours on campus.

## Teaching

## Research

**Students**:

## Interests

My primary research interests center on developing a mathematical understanding of thinking and the mind. This effort involves seeking out or developing mathematical concepts and theorems that fit the subject. My work draws on mathematical theories of logic, computation, economics, and mechanics, as well as more general branches of mathematics. In turn, this work has made novel contributions to these existing subjects, including nonmonotonic logics, preference logics, and hybrid mechanics. I am especially interested in

- Developing theories of rational reflective reasoning, deliberation, adaptation, motivation, habit, and intelligence;
- Characterizing formally different kinds of interesting minds, especially minds that share some of the limitations and qualities of human minds, such as limited degrees of rationality;
- Developing methods for automating the construction of minds from such characterizations using computers or other mechanisms; and
- Solutions of Brigg's equation
*y''''y'*for^{2}- 3y'''y''y' + 2(1 - n^{-2})y''^{3}= 0*n > 3*.

## Activities

- Fellow, Association for the Advancement of Artificial Intelligence
- Extraordinary member, Universität Jena Frege Centre for Structural Sciences,
- Associate faculty, NCSU Bioinformatics Research Center
- Member AAAI, AMS, SIAM, ACM

## Personal information

- Academic biography
- Mathematical genealogy (My MGP entry and MR Author ID)
- Artificial Intelligence genealogy (My AIGP entry)
- Really old email
- My brick in the new NCSU College of Engineering quad
- My interview (76MB) of July 16, 2006 in the MIT Oral History collection on early artificial intelligence research.
- Computational wisdom from Silas W. Holman