Please note that some historical materials may contain harmful content and/or descriptions. Learn how we’re addressing it.
Size
145.5 linear feet (97 cartons)
Call number
MC 00720
Access to materials

Collection is open for research; access requires at least 48 hours advance notice. Because of the nature of certain archival formats, including digital and audio-visual materials, access will require additional advanced notice. Unless noted, digital media are not available online. Copies of unrestricted digital files will be provided for use in the SCRC Reading Room upon request. Access will be provided to use copies of unrestricted digital files rather than carrier media, such as CDs, DVDs, and floppy disks. Some or all electronic files may be unavailable or restricted due to privacy reasons, agreement with the donor, software is not available to interact with files, or because files cannot be retrieved from original media.

The Jon Doyle papers contain letters and correspondence, published academic articles, drafts of these articles, books, journals, magazines, lectures, autobiographical writing, and other materials related to Jon Doyle's career as an computer scientist and academic, beginning with his undergraduate work at the University of Houston in the 1970s and continuing to the present.

Jon Doyle is an emeritus faculty member in the NC State University Department of Computer Science who specializes in the study of Artificial Intelligence and Intelligent Agents. His research is especially concerned with self-government and logics of belief, and integrates elements of philosophy, physics, economics, psychology, and computability, with reflections on other disciplines. During his career, Doyle has been affiliated with the University of Houston, the Massachusetts Institute of Technology, Stanford, Carnegie Mellon, and North Carolina State University.

Biographical/historical note

Jon Doyle is an emeritus faculty member in the NC State University Department of Computer Science who specializes in the study of Artificial Intelligence and Intelligent Agents. His research is especially concerned with self-government and logics of belief, and integrates elements of philosophy, physics, economics, psychology, and computability, with reflections on other disciplines. During his career, Doyle has been affiliated with the University of Houston, the Massachusetts Institute of Technology, Stanford, Carnegie Mellon, and North Carolina State University.

Scope/content

The Jon Doyle papers contain letters and correspondence, published academic articles, drafts of these articles, books, journals, magazines, lectures, autobiographical writing, and other materials related to Jon Doyle's career as an computer scientist and academic, beginning with his undergraduate work at the University of Houston in the 1970s and continuing to the present.

Arrangement

This collection is unprocessed. It remains in the order received.

Use of these materials

The NC State University Libraries generally claims only physical ownership of most Special Collections materials. These materials are made available for use in research, teaching, and private study, pursuant to U.S. Copyright law. Libraries staff are unable to advise on copyright and other legal matters; the user assumes full responsibility for any use of the materials, including but not limited to, infringement of copyright and publication rights of reproduced materials. Helpful resources for assessing copyright include Cornell Libraries' "Copyright Services: Copyright Term and the Public Domain" and copyright.gov. This collection may contain materials with sensitive or confidential information about identifiable living individuals, which may be protected under federal or state laws and regulations. Researchers are advised that there may be legal ramifications for disclosing this information.

The University Archives operates in accordance with the State Public Records Act, with unrestricted access to records not covered by state and federal statutes and regulations.

Preferred Citation

[Identification of item], Jon Doyle Papers, MC 00720, Special Collections Research Center, North Carolina State University Libraries, Raleigh, NC

Source of acquisition

Gift of Jon Doyle, 2022 (Accession 2022.0124).

Processing information

Preliminary processing by Frances Fleming and Hailey Mandel, 2022; Finding aid written by Frances Fleming, 2023.

Please note that some historical materials may contain harmful content and/or descriptions. Learn how we’re addressing it.
ARPI + Assorted 2002-2017 (2022.0124)
Carton 79
Carnegie Mellon University: "Some Theories of Reasoned Assumptions" (STRA) 2014-2017 (2022.0124)
Carton 26
Carnegie Mellon University: "Some Theories of Reasoned Assumptions" (STRA) Sequelae 2 1994-1997 (2022.0124)
Carton 27
Carnegie Mellon University: AIRSG 1988-1995 (2022.0124)
Carton 28
Carnegie Mellon University: AIRSG + Sequelae 2001-2010 (2022.0124)
Carton 29
Carnegie Mellon University: Correspondence + Assessment 1987-2018 (2022.0124)
Carton 25
Carnegie Mellon University: Directions 1992-2002 (2022.0124)
Carton 30
Carnegie Mellon University: Foundations of Psychology 1997-2001 (2022.0124)
Carton 31
Carnegie Mellon University: More Papers 1999-2017 (2022.0124)
Carton 32
Carnegie Mellon University: New Foundations, AI Magazine articles 2006-2017 (2022.0124)
Carton 33
Carnegie Mellon University: Sequelae 1 1983-1990 (2022.0124)
Carton 34
Carnegie Mellon University: Sorting 2016-2021 (2022.0124)
Carton 76
Correspondence 2008-2016 (2022.0124)
Carton 77
Correspondence 2002-2019 (2022.0124)
Carton 52
Correspondence 1989-1999 (2022.0124)
Carton 78
Correspondence 1994-2010 (2022.0124)
Carton 41
Doyle Publications 1994-2011 (2022.0124)
Carton 22
Doyle Publications 1980 (2022.0124)
Carton 42
Doyle Publications + Correspondence 1969-1980 (2022.0124)
Carton 24
Massachusetts Institute of Technology, Graduate Study: AMORD + Fahlman, McDermott 2001-2010 (2022.0124)
Carton 23
Massachusetts Institute of Technology, Graduate Study: ATMS Notebooks 2001-2010 (2022.0124)
Carton 68
Massachusetts Institute of Technology, Graduate Study: Class Notes 1987-1989 (2022.0124)
Carton 62
Massachusetts Institute of Technology, Graduate Study: NML 1988-1992 (2022.0124)
Carton 69
Massachusetts Institute of Technology, Graduate Study: PhD Drafts, Program Listings, etc. 1991-1993 (2022.0124)
Carton 37
Massachusetts Institute of Technology, Graduate Study: PhD Thesis Work and Drafts 1974-2000 (2022.0124)
Carton 13
Massachusetts Institute of Technology, Graduate Study: TMS papers, Piano, BRBIB Topic Papers, Job Hunting 1982-1987 (2022.0124)
Carton 63
Massachusetts Institute of Technology, Graduate Study: TMS, FPS, MS Thesis 1996-2018 (2022.0124)
Carton 15
Massachusetts Institute of Technology, Staff: "High Performance Knowledge Base" (HPKB) 2003-2018 (2022.0124)
Carton 14
Massachusetts Institute of Technology, Staff: "Mechanical Foundations" (MF) Drafts 2001-2018 (2022.0124)
Carton 81
Massachusetts Institute of Technology, Staff: "Mechanical Foundations" (MF) Drafts 1973-1974 (2022.0124)
Carton 80
Massachusetts Institute of Technology, Staff: "Mechanical Foundations" (MF) Drafts 1982-1992 (2022.0124)
Carton 39
Massachusetts Institute of Technology, Staff: "Mechanical Foundations" (MF) Drafts 1984-1996 (2022.0124)
Carton 54
Massachusetts Institute of Technology, Staff: "Mechanical Foundations" (MF) Drafts Page Proofs 1977-2000 (2022.0124)
Carton 9
Massachusetts Institute of Technology, Staff: "Mechanical Foundations" (MF) Drafts, Composition, Notes 1986-1988 (2022.0124)
Carton 12
Massachusetts Institute of Technology, Staff: "Mechanical Foundations" (MF) Early Drafts + Sequelae 1992-1997 (2022.0124)
Carton 8
Massachusetts Institute of Technology, Staff: "Mechanical Foundations" (MF) Materials, Notes 1993-2010 (2022.0124)
Carton 38
Massachusetts Institute of Technology, Staff: "Monitoring, Analysis, and Interpretation Tool Arsenal" (MAITA) 2009-2010 (2022.0124)
Carton 92
Massachusetts Institute of Technology, Staff: "Monitoring, Analysis, and Interpretation Tool Arsenal" (MAITA) + IA 1990-1993 (2022.0124)
Carton 11
Massachusetts Institute of Technology, Staff: "Monitoring, Analysis, and Interpretation Tool Arsenal" (MAITA): "High Performance Knowledge Base" (HPKB), IA, ATM 1990-1995 (2022.0124)
Carton 55
Massachusetts Institute of Technology, Staff: "Rational Belief Revision" (RBR) - AAAI, CI, Nebel 1983-1985 (2022.0124)
Carton 53
Massachusetts Institute of Technology, Staff: "Rational Belief Revision" (RBR) Drafts, "Rational Control of Reasoning" (RCR), CECOIA, Lund, UCLA 1996-2000 (2022.0124)
Carton 7
Massachusetts Institute of Technology, Staff: "Reason and Rationality" (R+R) + Drafts 1981-1998 (2022.0124)
Carton 35
Massachusetts Institute of Technology, Staff: "Reason and Rationality" (R+R) Draft CW 1997-2002 (2022.0124)
Carton 40
Massachusetts Institute of Technology, Staff: "Reason and Rationality" (R+R) + Precursors 1989-1997 (2022.0124)
Carton 36
Massachusetts Institute of Technology, Staff: 6.871 1979-1986 (2022.0124)
Carton 61
Massachusetts Institute of Technology, Staff: 6.871 1993-1999 (2022.0124)
Carton 16
Massachusetts Institute of Technology, Staff: 6.871 Class 2000-2006 (2022.0124)
Carton 17
Massachusetts Institute of Technology, Staff: AAAI, KR '96, E. Pub 2006-2010 (2022.0124)
Carton 91
Massachusetts Institute of Technology, Staff: ACM CSUR, SDCR/SDAI 2000-2018 (2022.0124)
Carton 18
Massachusetts Institute of Technology, Staff: ANTS 1981-1982 (2022.0124)
Carton 43
Massachusetts Institute of Technology, Staff: ARPI, PO 1988-1991 (2022.0124)
Carton 6
Massachusetts Institute of Technology, Staff: Autobiographical, Theology 1998-2001 (2022.0124)
Carton 5
Massachusetts Institute of Technology, Staff: BC 1989-1991 (2022.0124)
Carton 19
Massachusetts Institute of Technology, Staff: CE Prospects for Preferences 1981-2002 (2022.0124)
Carton 4
Massachusetts Institute of Technology, Staff: Directories with JD, Produced/Edited Issues 1980-1989 (2022.0124)
Carton 20
Massachusetts Institute of Technology, Staff: Doyle Papers IPB Proposal 1975-2004 (2022.0124)
Carton 67
Massachusetts Institute of Technology, Staff: Doyle Papers, Correspondence 1984-2010 (2022.0124)
Carton 47
Massachusetts Institute of Technology, Staff: Doyle papers, directions 1988-2001 (2022.0124)
Carton 44
Massachusetts Institute of Technology, Staff: Drafts of Prospects for Preferences 1986-2002 (2022.0124)
Carton 51
Massachusetts Institute of Technology, Staff: EPS Collaboration, Markov, Prolegomenon, RDRMS, reviews of Penrose, Thomason 1996-2006 (2022.0124)
Carton 48
Massachusetts Institute of Technology, Staff: EPS Collaborationoration: Prolegomenon, Markov 1988 (2022.0124)
Carton 49
Massachusetts Institute of Technology, Staff: GA, "High Performance Knowledge Base" (HPKB) 1990-1994 (2022.0124)
Carton 50
Massachusetts Institute of Technology, Staff: Goals Prefs Utility, CE 1974-1980 (2022.0124)
Carton 21
Massachusetts Institute of Technology, Staff: McGeachie + Allocation 1993-2002 (2022.0124)
Carton 45
Massachusetts Institute of Technology, Staff: Meetings, Correspondence, Presentations 1974-1976 (2022.0124)
Carton 73
Massachusetts Institute of Technology, Staff: MIT Organaiztions - AI Lab, LCS, EECS, Tufts 1977-2006 (2022.0124)
Carton 1
Massachusetts Institute of Technology, Staff: MIT Proposals 1980-1981 (2022.0124)
Carton 88
Massachusetts Institute of Technology, Staff: MPW Collaboration, UTD (IJCAI, AIJ) 1973-1980 (2022.0124)
Carton 74
Massachusetts Institute of Technology, Staff: New Big Problems, MC, CBRR 1989-2006 (2022.0124)
Carton 2
Massachusetts Institute of Technology, Staff: Organizations, AAAI, ACM, journals 1966-1989 (2022.0124)
Carton 89
Massachusetts Institute of Technology, Staff: Preference Semantics, LRD, AIPS, Goals Prefs Utility 1980-1986 (2022.0124)
Carton 72
Massachusetts Institute of Technology, Staff: Programs, Directions, Correspondence 1988-2000 (2022.0124)
Carton 3
Massachusetts Institute of Technology, Staff: QDT 1986-1999 (2022.0124)
Carton 83
Massachusetts Institute of Technology, Staff: Recommendation letters 1975-1983 (2022.0124)
Carton 85
Massachusetts Institute of Technology, Staff: RSP Collaboration, Two Dogmas, Vivid KR 1999-2014 (2022.0124)
Carton 84
Massachusetts Institute of Technology, Staff: ARPI + PO 1988-1996 (2022.0124)
Carton 10
NC State University: Argenta, Anton, Breaux, Shah 2003 (2022.0124)
Carton 86
NC State University: B. Dellinger 1976-1981 (2022.0124)
Carton 87
NC State University: Computer Science 720 1994-2015 (2022.0124)
Carton 90
NC State University: Courses - CSC 333, 433, 707, 422, 522 1978-1999 (2022.0124)
Carton 64
NC State University: Courses - CSC 503, CSC 525 1984-2000 (2022.0124)
Carton 65
NC State University: Doyle Papers, Directions 2000-2002 (2022.0124)
Carton 82
NC State University: Doyle Papers: Jena, Propogation, Sachdev+ 1976-1985 (2022.0124)
Carton 71
NC State University: DRL, ABAC, Jiang 2003-2006 (2022.0124)
Carton 75
NC State University: Mediation, Interaction 1988-2000 (2022.0124)
Carton 70
NC State University: Meetings + Presentations 1975-1995 (2022.0124)
Carton 66
NC State University: Norms, SOSL, Ethos 1998-2000 (2022.0124)
Carton 46
NC State University: Proposals 1981-1992 (2022.0124)
Carton 56
NC State University: Proposals, Assorted CSC 1984-1995 (2022.0124)
Carton 57
NC State University: Students 1981-1999 (2022.0124)
Carton 58
NC State University: Wicker 1969-1998 (2022.0124)
Carton 59
Research Papers and Book Drafts 1958-2009 (2022.0124)
Carton 96
Research Papers and Book Drafts 1996-2003 (2022.0124)
Carton 97
Stanford University 1987-2020 (2022.0124)
Carton 60
University of Houston: Coursework 1986-2006 (2022.0124)
Carton 93
University of Houston: Nonrepretitive Sequences 1980-2016 (2022.0124)
Carton 94
University of Houston: Research 1984-2020 (2022.0124)
Carton 95
Please note that some historical materials may contain harmful content and/or descriptions. Learn how we’re addressing it.

Access to the collection

Collection is open for research; access requires at least 48 hours advance notice. Because of the nature of certain archival formats, including digital and audio-visual materials, access will require additional advanced notice. Unless noted, digital media are not available online. Copies of unrestricted digital files will be provided for use in the SCRC Reading Room upon request. Access will be provided to use copies of unrestricted digital files rather than carrier media, such as CDs, DVDs, and floppy disks. Some or all electronic files may be unavailable or restricted due to privacy reasons, agreement with the donor, software is not available to interact with files, or because files cannot be retrieved from original media.

For more information contact us via mail, phone, or our web form.

Mailing address:
Special Collections Research Center
Box 7111
Raleigh, NC, 27695-7111

Phone: (919) 515-2273

Preferred Citation

[Identification of item], Jon Doyle Papers, MC 00720, Special Collections Research Center, North Carolina State University Libraries, Raleigh, NC

Use of these materials

The NC State University Libraries generally claims only physical ownership of most Special Collections materials. These materials are made available for use in research, teaching, and private study, pursuant to U.S. Copyright law. Libraries staff are unable to advise on copyright and other legal matters; the user assumes full responsibility for any use of the materials, including but not limited to, infringement of copyright and publication rights of reproduced materials. Helpful resources for assessing copyright include Cornell Libraries' "Copyright Services: Copyright Term and the Public Domain" and copyright.gov. This collection may contain materials with sensitive or confidential information about identifiable living individuals, which may be protected under federal or state laws and regulations. Researchers are advised that there may be legal ramifications for disclosing this information.

The University Archives operates in accordance with the State Public Records Act, with unrestricted access to records not covered by state and federal statutes and regulations.