Works of Jon Doyle

Chrological list
Last modified: Tue Jun 12 12:52:25 EDT 2001

1974 1975 1976 1977 1978 1979
1980 1981 1982 1983 1984 1985 1986 1987 1988 1989
1990 1991 1992 1993 1994 1995 1996 1997 1998 1999
2000 2001

This list of works includes both published and unpublished works, some of which have been widely circulated. Generally DVI files are available as well as 600-dpi postscript versions, with some PDF versions. Time permitting, PDF versions of more of these papers will be prepared.

The papers fall into five categories:

Not all unpublished works yet appear in this list.

The documents available here are available by anonymous ftp from medg.lcs.mit.edu. To retrieve a paper, connect to this machine (18.30.0.179), enter the user name "anonymous", and then your e-mail address for the password. Connect to the pub/doyle subdirectory using "cd pub/doyle". You can then retrieve this file by doing a "get index.html" or can get a list of available papers by doing an "dir". Users of the World Wide Web may also access this directory through either my Web page (URL http://www.medg.lcs.mit.edu/doyle) or directly (URL http://www.medg.lcs.mit.edu/ftp/doyle).

    1974

  1. Symmetries in physics
    Jon Doyle
    Unpublished. Department of Physics, University of Houston, December 1974.

  2. Computational investigations of non-repetitive sequences
    Jon Doyle
    Senior Honors Thesis, Department of Mathematics, University of Houston, December 1974.

    1975

  3. Symmetries in physics
    Jon Doyle
    Revised version.

  4. Non-repetitive binary sequences
    Jon Doyle
    Unpublished.

    Referee recommended but scooped for J. Combinatorial Theory A. My theorems 1 and 2 paraphrase theorems 1 and 2 of F. M. Dekking, On repetitions of blocks in binary sequences, J. C. T. A 20 (1976), 292-299.

  5. Non-repetitive binary sequences
    Jon Doyle
    Notices of the AMS, Oct. 1975, A-660, #727-A5.

    1976

  6. Analysis by propagation of constraints in elementary geometry problem solving
    Jon Doyle
    MIT AI Lab WP-108 (1976).

  7. The use of dependency relationships in the control of reasoning
    Jon Doyle
    MIT AI Lab WP-133 (1976).
    [PS] [DVI]

  8. Linear expected time of a simple union-find algorithm
    Jon Doyle and Ronald L. Rivest
    Information Processing Letters 5 (1976) 146-148.

    1977

  9. Truth maintenance systems for problem solving
    Jon Doyle
    Master's Thesis, Electrical Engineering and Computer Science Department, Massachusetts Institute of Technology, May 1977.

  10. Truth maintenance systems for problem solving
    Jon Doyle
    Fifth International Joint Conference on Artificial Intelligence, Cambridge, Massachusetts (1977).
    [PS] [DVI]

  11. Hierarchy in knowledge representations
    Jon Doyle
    MIT AI Lab WP-159 (1977).

  12. AMORD: explicit control of reasoning
    Johan de Kleer, Jon Doyle, Guy L. Steele Jr., and Gerald Jay Sussman
    MIT AI Lab Memo 427 (1977).

  13. AMORD: explicit control of reasoning
    Johan de Kleer, Jon Doyle, Guy L. Steele Jr., and Gerald Jay Sussman
    ACM Conference on AI and Programming Languages, Rochester, New York (1977).

    1978

  14. Truth maintenance systems for problem solving
    Jon Doyle
    MIT AI Lab TR-419 (1978).

  15. AMORD: a deductive procedure system
    J. de Kleer, Jon Doyle, C. Rich, G. L. Steele, and G. J. Sussman
    MIT AI Lab Memo 435 (1978).

  16. Non-monotonic logic I
    Drew V. McDermott and Jon Doyle
    MIT AI Lab Memo 468 (1978).

  17. A glimpse of truth maintenance
    Jon Doyle
    MIT AI Lab Memo 461 (1978).

  18. Reflexive interpreters
    Jon Doyle
    Ph.D. thesis proposal submitted June 8, 1978 to the MIT Electrical Engineering and Computer Science Department.
    [PS] [DVI]

    1979

  19. A truth maintenance system
    Jon Doyle
    MIT AI Lab Memo 521 (1979).

  20. A truth maintenance system
    Jon Doyle
    Artificial Intelligence 12 (1979), 231-272.

  21. A glimpse of truth maintenance
    Jon Doyle
    Fourth Workshop on Automated Deduction, Austin, Texas (1979).

  22. Non-monotonic logic I (extended abstract)
    Drew V. McDermott and Jon Doyle
    Fourth Workshop on Automated Deduction, Austin, Texas (1979).

  23. A glimpse of truth maintenance
    Jon Doyle
    Sixth International Joint Conference on Artificial Intelligence, Tokyo, Japan (1979).

  24. An introduction to non-monotonic logic
    Drew V. McDermott and Jon Doyle
    Sixth International Joint Conference on Artificial Intelligence, Tokyo, Japan (1979).

  25. A glimpse of truth maintenance
    Jon Doyle
    Artificial Intelligence: An MIT Perspective (P. H. Winston and R. H. Brown, eds.), Cambridge: MIT Press (1979).

  26. Non-monotonic logic I
    Drew V. McDermott and Jon Doyle
    Notices of the AMS, V. 26, No. 1 (1979), #79T-E4, A-16.

  27. AMORD: Explicit control of reasoning
    J. de Kleer, Jon Doyle, G. L. Steele and G. J. Sussman
    Artificial Intelligence: An MIT Perspective (P. H. Winston and R. H. Brown, eds.), Cambridge: MIT Press (1979).

  28. Historical annotations and humble databases
    Jon Doyle
    Unpublished, November 15, 1979.
    [PS] [DVI]

    1980

  29. A model for deliberation, action, and introspection
    Jon Doyle
    Ph.D. Dissertation, Artificial Intelligence, Massachusetts Institute of Technology, May 1980.

  30. A model for deliberation, action, and introspection
    Jon Doyle
    MIT AI Lab TR-581 (1980).
    [PS] [PS.gz] [DVI] [DVIgz]

  31. Non-monotonic logic I
    Drew V. McDermott and Jon Doyle
    Artificial Intelligence 13 (1980), 41-72.
    Special issue on non-monotonic logic.

  32. A selected descriptor-indexed bibliography to the literature on belief revision
    Jon Doyle and Philip London
    MIT AI Lab Memo 568 (1980).

  33. A selected descriptor-indexed bibliography to the literature on belief revision
    Jon Doyle and Philip London
    SIGART Newsletter, No. 71 (1980), 7-23.

  34. Why I don't play the piano
    Jon Doyle
    SIGART Newsletter, No. 79 (February 1980), p. 41.
    [PS] [DVI]
    Special knowledge representation survey issue.

  35. A Theory of Memory
    Jon Doyle
    Unpublished, October, 1980

    1981

  36. Making difficult decisions
    Jon Doyle
    Stanford Computer Forum, Stanford University, Stanford, California (1981).

  37. Three short essays on decisions, reasons, and logics
    Jon Doyle
    Stanford CSD, Report 81-864 (1981).

  38. A truth maintenance system
    Jon Doyle
    Readings in Artificial Intelligence (B. L. Webber and N. J. Nilsson, eds.), Palo Alto: Tioga (1981).
    Reprinting of the Artificial Intelligence journal version.

  39. Controlling Reasoning by Interpreting Self-Descriptions or, Explicit Control of Reasoning Revisited
    Johan de Kleer and Jon Doyle
    Unpublished, November, 1980, June 1981.
    The paper ``Explicit Control of Reasoning'' was accepted by the journal Cognitive Science. This revised and elaborated version of that paper was prepared for publication there, but was never finished.

  40. Non-monotonic logic and system G
    Jon Doyle
    Unpublished, September 25, 1981.
    [PS] [DVI]

  41. A Mathematical Basis for Psychology
    Jon Doyle
    Unpublished, October-December 1981

  42. Some Mathematical Problems in Artificial Intelligence
    Jon Doyle
    Unpublished, October 24, 1981
    [PS] [DVI]

  43. Two Dogmas of Artificial Intelligence
    Jon Doyle
    Unpublished, October-December 1981

    1982

  44. Non-deductive reasoning and non-monotonic logic
    Jon Doyle
    Handbook of Artificial Intelligence V. III (P. R. Cohen and E. A. Feigenbaum, eds.), Los Altos: Wm. Kaufmann (1982).

  45. Dependencies and assumptions
    J. de Kleer and Jon Doyle
    Handbook of Artificial Intelligence V. II (A. Barr and E. A. Feigenbaum, eds.), Los Altos: Wm. Kaufmann (1982).

  46. The foundations of psychology: a logico-computational inquiry into the concept of mind
    Jon Doyle
    CMU CSD, Report 82-149 (1982).
    [PS] [DVI]

  47. Boolean-valued machines
    Jon Doyle
    Unpublished, Thanksgiving Day 1981-St. Valentine's Day 1982, March 10, 1982

  48. Anti-intellectualism in artificial intelligence
    Jon Doyle
    Unpublished, January 30, 1982

  49. Continuity, reflection, and adaptation: an essay in rational psychology
    Jon Doyle
    Unpublished, June 1982, August 17, 1982


  50. What is Church's thesis? an outline
    Jon Doyle
    Unpublished, September 19, 1982
    [HTML] [PS] [DVI]
    I circulated this paper to interested parties for some years as an expression of my doubts about Church's thesis.

    1983

  51. Conservatism and catastrophe in computation and psychology
    Jon Doyle
    Unpublished, February 15, 1983

  52. Reasoned decisions and deliberation: lessons from expert systems
    Jon Doyle
    Unpublished, April 14, 1983

  53. Admissible state semantics for representational systems
    Jon Doyle
    CMU CSD Report 83-124 (1983).
    [PS] [DVI]

  54. Rationality in the will to believe
    Jon Doyle
    Colloquium on Practical Reasoning, University of Dayton, Dayton, Ohio (1983).

  55. Some theories of reasoned assumptions: an essay in rational psychology
    Jon Doyle
    CMU CSD Report 83-125 (1983).
    [PS] [DVI]
    The essentially complete version of December 1982 was circulated for some months before publication in this version with only light editing. It was accepted for publication in Computational Intelligence, but I was unwilling to shorten the work as requested by the editors.

  56. The ins and outs of reason maintenance
    Jon Doyle
    CMU CSD Report 83-126 (1983).
    [PS] [DVI]

  57. A society of mind: multiple perspectives, reasoned assumptions, and virtual copies
    Jon Doyle
    CMU CSD Report 83-127 (1983).
    [PS] [DVI]

  58. The ins and outs of reason maintenance
    Jon Doyle
    Eighth International Joint Conference on Artificial Intelligence, (1983).

  59. A society of mind: multiple perspectives, reasoned assumptions, and virtual copies
    Jon Doyle
    Eighth International Joint Conference on Artificial Intelligence, (1983).

  60. What should AI want from the supercomputers?
    Jon Doyle
    CMU CSD Report 83-160 (1983).
    [PS] [DVI]

  61. What should AI want from the supercomputers?
    Jon Doyle
    AI Magazine, V. 4, No. 4, 33-35, 31 (1983).

  62. What is rational psychology? Toward a modern mental philosophy
    Jon Doyle
    CMU CSD Report 83-106 (1983).
    [HTML] [PS] [DVI]
    Unabridged version.

  63. What is rational psychology? Toward a modern mental philosophy
    Jon Doyle
    AI Magazine, V. 4, No. 3 (1983), 50-53.
    This version was abridged from the original, mainly leaving out the quotations.

  64. Methodological simplicity in expert system construction: the case of judgments and reasoned assumptions
    Jon Doyle
    CMU CSD Report 83-114 (1983).
    [PS] [DVI]

  65. Methodological simplicity in expert system construction: the case of judgments and reasoned assumptions
    Jon Doyle
    AI Magazine, V. 4, No. 2 (1983), 39-43.

  66. Reasoning about reasoning
    R. Davis, Jon Doyle, M. Genesereth, I. Goldstein, D. Lenat, and H. Shrobe
    Building Expert Systems (D. Waterman, R. Hayes-Roth, and D. Lenat, eds.), Reading: Addison-Wesley (1983), 219-239.

  67. Admissible state semantics for representational systems
    Jon Doyle
    IEEE Computer, V. 16, No. 10, 119-123 (1983).
    Special issue on knowledge representation.

  68. A Model of Parallelism for Artificial Intelligence
    Jon Doyle
    Unpublished, September 14, 1983

    1984

  69. Review of Automation of Reasoning by Siekmann and Wrightson
    Jon Doyle
    American Scientist, V. 72, No. 3, 303 (1984).

  70. Circumscription and implicit definability
    Jon Doyle
    CMU CSD Report 84-154.
    [PS] [DVI]

  71. Circumscription and implicit definability
    Jon Doyle
    AAAI Workshop on Non-Monotonic Reasoning, (1984).

  72. Expert systems without computers, or theory and trust in artificial intelligence
    Jon Doyle
    CMU CSD Report 84-116 (1984).
    [PS] [DVI]

  73. Expert systems without computers, or theory and trust in artificial intelligence (1984).
    Jon Doyle
    AI Magazine, V. 5, No. 2, 59-63
    This version was mangled by copyeditors and published without my review or consent.

  74. Errata to Expert systems without computers, or theory and trust in artificial intelligence
    Jon Doyle
    AI Magazine, V. 5, No. 4, 78 (1984).

  75. Reasoned assumptions and Pareto optimality
    Jon Doyle
    CSLI Workshop on Planning and Practical Reasoning, Stanford University, Stanford, California (1984).

    1985

  76. Design for a Mind: Review of a Model for Deliberation, Action, and Introspection,
    Jon Doyle
    Unpublished, March 1, 1985

  77. Circumscription and implicit definability
    Jon Doyle
    Journal of Automated Reasoning, 1 (1985), 391-405.

  78. Reasoned assumptions and Pareto optimality
    Jon Doyle
    CMU CSD Report 85-121 (1985).
    [PS] [DVI]

  79. Reasoned assumptions and Pareto optimality
    Jon Doyle
    Ninth International Joint Conference on Artificial Intelligence, (1985).

  80. AMORD: Explicit control of reasoning
    J. de Kleer, Jon Doyle G. L. Steele and G. J. Sussman
    Readings in Knowledge Representation (R. Brachman and H. Levesque, eds.), Los Altos: Morgan Kaufmann (1985).

  81. Expert systems and the ``myth'' of symbolic reasoning
    Jon Doyle
    IEEE Transactions on Software Engineering, Vol. SE-11, No. 11 (November 1985), 1386-1390.

  82. Common Sense and Expert Systems
    Jon Doyle
    Unpublished, May 23, 1985

  83. Reasoned Assumptions and Rational Psychology: Selected Essays
    Jon Doyle
    Unpublished, November 1, 1985

  84. On Considered Actions and Attitudes: A framework for deliberate action and reflection
    Jon Doyle
    Unpublished, November 22, 1985

    1986

  85. Problem solving by TMS
    Jon Doyle
    Foundations of Cognitive Science (Yutaka Saeki, ed.), Tokyo: Sangyo Tosho.
    Japanese translation by M. Nakagawa from Truth Maintenance Systems for Problem Solving

  86. How to frame it: Modern applied logic from the top down
    Jon Doyle
    Unpublished, CMU CSD, (October 22, 1986).
    [PS] [DVI]
    I circulated these notes frequently after presenting lectures on them in the introductory graduate AI class at CMU.

  87. Massive Parallelism and Artificial Intelligence
    Jon Doyle and Doug Tygar
    Unpublished, December 17, 1986

    1987

  88. The Aims and Methods of Rational Psychology
    Jon Doyle
    Unpublished, January 16, 1987

  89. Logic, rationality, and rational psychology
    Jon Doyle
    Computational Intelligence, Vol. 3, No. 3 (August 1987) 175-176.
    [PS] [DVI]
    Review of Critique of Pure Reason by D. McDermott.

  90. Admissible state semantics for representational systems
    Jon Doyle
    The Knowledge Frontier: Essays in the Representation of Knowledge (N. Cercone and G. McCalla, eds.), New York: Springer-Verlag (1987), 174-186.

    1988

  91. Big problems for artificial intelligence
    Jon Doyle
    AI Magazine, Vol. 9, No. 1, 19-22 (1988).
    [PS] [DVI]
    Guest editorial.

  92. A Formal Theory of Mental Constitutions
    Jon Doyle
    Unpublished, April 18, 1988

  93. Knowledge, representation, and rational self-government (extended abstract)
    Jon Doyle
    Second Conference on Theoretical Aspects of Reasoning about Knowledge (M. Y. Vardi, ed.), (1988).

  94. On universal theories of defaults
    Jon Doyle
    CMU CSD Report CMU-CS-88-111 (1988).
    [PS] [DVI]

  95. Artificial intelligence and rational self-government
    Jon Doyle
    CMU CSD Report CMU-CS-88-124 (1988).
    [PS] [DVI]
    The draft of this monograph was circulated widely for a year prior to publication of this lightly edited version.

  96. On rationality and learning
    Jon Doyle
    CMU CSD Report CMU-CS-88-122 (1988).
    [PS] [DVI]

  97. Similarity, conservatism, and rationality
    Jon Doyle
    CMU CSD Report CMU-CS-88-123 (1988).
    [PS] [DVI]

  98. Implicit knowledge and rational representation
    Jon Doyle
    CMU CSD Report CMU-CS-88-134 (1988).

  99. Non-monotonic logic I
    Drew V. McDermott and Jon Doyle
    Readings in Nonmontonic Reasoning (M. Ginsberg, ed.), Los Altos: Morgan Kaufmann (1988), 111-126.

  100. A truth maintenance system
    Jon Doyle
    Readings in Nonmontonic Reasoning (M. Ginsberg, ed.), Los Altos: Morgan Kaufmann (1988).

  101. Expert systems without computers, or theory and trust in artificial intelligence
    Jon Doyle
    Readings from the AI Magazine (R. Engelmore, ed.), Menlo Park, CA: American Association for Artificial Intelligence (1988), 167-171.

  102. What should AI want from the supercomputers?
    Jon Doyle
    Readings from the AI Magazine (R. Engelmore, ed.), Menlo Park, CA: American Association for Artificial Intelligence (1988), 29-32.

  103. What is rational psychology? Toward a modern mental philosophy
    Jon Doyle
    Readings from the AI Magazine (R. Engelmore, ed.), Menlo Park, CA: American Association for Artificial Intelligence (1988), 251-254.

  104. Methodological simplicity in expert system construction: the case of judgments and reasoned assumptions
    Jon Doyle
    Readings from the AI Magazine (R. Engelmore, ed.), Menlo Park, CA: American Association for Artificial Intelligence (1988), 162-166.

    1989

  105. Big Problems for Artificial Intelligence: Progress and Prospects
    Jon Doyle
    Unpublished, May 22, 1989
    This expanded version of the AI Magazine editorial was never completed.

  106. Mental Constitutions and Limited Rationality
    Jon Doyle
    March 17, 1989

  107. Constructive belief and rational representation
    Jon Doyle
    Computational Intelligence, Vol. 5, No. 1 (February 1989), pp. 1-11.
    [PS] [DVI]

  108. Mental constitutions and limited rationality
    Jon Doyle
    AAAI Symposium on AI and Limited Rationality, Palo Alto (1989).
    [PS] [DVI]

  109. Some impossibility results
    Jon Doyle
    AAAI Workshop on Defeasible Reasoning with Specificity and Multiple Inheritance, St. Louis, Missouri (1989).

  110. Language restrictions, taxonomic classification, and the utility of representation services
    Jon Doyle and Ramesh Patil
    MIT/LCS/TM-387 (1989).

  111. Impediments to universal preference-based default theories
    Jon Doyle and Michael P. Wellman
    First International Conference on Principles of Knowledge Representation and Reasoning, Toronto, (1989).

  112. Impediments to universal preference-based default theories
    Jon Doyle and Michael P. Wellman
    MIT/LCS/TM-416 (1989).

  113. Stochastic analysis of qualitative dynamics
    Jon Doyle and Elisha P. Sacks
    MIT/LCS/TM-418 (1989).

  114. Stochastic analysis of qualitative dynamics
    Jon Doyle and Elisha P. Sacks
    Eleventh International Joint Conference on Artificial Intelligence, (N. S. Sridharan, ed.), pp. 1187-1192, San Mateo: Morgan Kaufmann, 1989.

  115. Two dogmas of knowledge representation: language restrictions, taxonomic classification, and the utility of representation services
    Jon Doyle and Ramesh Patil
    MIT/LCS/TM-387b (1989).

  116. Rational control of reasoning in artificial intelligence
    Jon Doyle
    Conference on the Dynamics of Knowledge and Belief, Lund, Sweden (1989).

  117. Reasoning, representation, and rational self-government
    Jon Doyle
    Methodologies for Intelligent Systems, 4 (Z. W. Ras, ed.), New York: North-Holland (1989), pp. 367-380.

    1990

  118. On Vivid Representation
    Jon Doyle and Ramesh S. Patil
    Unpublished, February 15, 1990

  119. Rational belief revision (preliminary report)
    Jon Doyle
    Third International Workshop on Nonmonotonic Reasoning, California: Stanford Sierra Camp, (1990).
    [PS] [DVI]

  120. Rational self-government and universal default logics
    Jon Doyle
    Second Conference on Economics and Artificial Intelligence, Paris (1990).

  121. The roles of rationality in reasoning (extended abstract)
    Jon Doyle
    AAAI Eighth National Conference on Artificial Intelligence, Boston, Massachusetts (1990).

  122. Rational control of reasoning in artificial intelligence
    Jon Doyle
    The Logic of Theory Change (A. Fuhrmann and M. Morreau, eds.), Berlin: Springer-Verlag (1990), 19-48.

  123. Methodological simplicity in expert system construction: the case of judgments and reasoned assumptions
    Jon Doyle
    Readings in Uncertain Reasoning (G. Shafer and J. Pearl, eds.), San Mateo, CA: Morgan Kaufmann (1990), 689-693.

  124. Rational distributed reason maintenance for planning and replanning of large-scale activities
    Jon Doyle and Michael P. Wellman
    DARPA Workshop on Innovative Approaches to Planning, Scheduling, and Control, San Diego (1990).
    [PS] [DVI]

  125. Perceptive questions about computation and cognition
    Jon Doyle
    Behavioral and Brain Sciences, Vol. 13, No. 4 (December 1990), p. 661.
    [PS] [DVI]
    Review of The Emperor's New Mind by R. Penrose.

  126. Reasoning and Rationality: Economic Foundations for Mental Self-Government
    Jon Doyle
    Unpublished, September 18, 1990
    This is a book in progress, currently at about 400 pages in length.

    1991

  127. Pragmatism in Knowledge Representation
    Ramesh S. Patil and Jon Doyle
    Unpublished, January 10, 1991

  128. Addendum to ``Two Theses of Knowledge Representation''
    Jon Doyle and Ramesh S. Patil
    Unpublished, January 31, 1991

  129. Panel on causality - questions to panelists
    Jon Doyle, moderator
    Unpublished, 1991

  130. Goals, Preferences, and Utilities: A Reconciliation
    Jon Doyle, Michael Wellman, and Thomas Dean
    Unpublished, 1991

  131. What is a hard problem?
    Jon Doyle and Bernhard Nebel
    Unpublished, August 1991

  132. Review of Philosophical Logic and Artificial Intelligence edited by Richmond H. Thomason
    Jon Doyle
    SIGART Bulletin, Vol. 2, No. 1 (January 1991), 77-78.
    [PS] [DVI]

  133. The foundations of psychology: a logico-computational inquiry into the concept of mind
    Jon Doyle
    Philosophy and AI: Essays at the Interface (R. Cummins and J. Pollock, eds.), Cambridge: MIT Press (1991), 39-77.
    [PS] [DVI]

  134. Markov analysis of qualitative dynamics
    Jon Doyle and Elisha P. Sacks
    Computational Intelligence, Vol. 7, No. 1 (February 1991), pp. 1-10.
    [PS]

  135. Prolegomena to any future qualitative physics
    Elisha P. Sacks and Jon Doyle
    Princeton University Department of Computer Science CS-TR-314-91 (1991).

  136. Rational belief revision (preliminary report)
    Jon Doyle
    Second International Conference on Principles of Knowledge Representation and Reasoning, Boston, (1991).
    [PS] [DVI]

  137. Rational self-government and universal default logics
    Jon Doyle and Michael P. Wellman
    Economics and Artificial Intelligence (P. Bourgine and B. Walliser, eds.), London: Pergamon (1991), pp. 5-13.

  138. Two theses of knowledge representation: language restrictions, taxonomic classification, and the utility of representation services
    Jon Doyle and Ramesh S. Patil
    Artificial Intelligence, Vol. 48, No. 3 (April 1991), pp. 261-297.
    [PS] [DVI]

  139. Impediments to universal preference-based default theories
    Jon Doyle and Michael P. Wellman
    Artificial Intelligence, Vol. 49, Nos. 1-3 (May 1991), pp. 97-128.
    [PS] [DVI]
    Expanded version.

  140. Preferential semantics for goals
    Michael P. Wellman and Jon Doyle
    AAAI Ninth National Conference on Artificial Intelligence, Anaheim, California (1991).
    [PS] [DVI]

  141. A logic of relative desire (preliminary report)
    Jon Doyle, Yoav Shoham, and Michael P. Wellman
    Methodologies for Intelligent Systems 6 (Z. W. Ras and M. Zemankova, eds.), Berlin: Springer-Verlag (1991), pp. 16-31.
    [PS] [DVI]

    1992

  142. Planning Ontology and Problem Description
    Jon Doyle
    Unpublished, 1992

  143. Rational belief revision and reason maintenance
    Jon Doyle
    Belief Revision (P. Gärdenfors, ed.), Cambridge: Cambridge University Press (1992), pp. 29-51.
    [PS] [DVI]

  144. Prolegomena to any future qualitative physics
    Elisha P. Sacks and Jon Doyle
    Computational Intelligence, Vo. 8, No. 2 (May 1992), pp. 187-209.
    [PS]
    A ``Taking Issue'' article published with commentaries.

  145. Epilegomenon
    Elisha P. Sacks and Jon Doyle
    Computational Intelligence, Vo. 8, No. 2 (May 1992), pp. 326-335.
    [PS]
    Epilog to the Prolegomena.

  146. The roles of rationality in reasoning
    Jon Doyle
    Computational Intelligence, Vol. 8, No. 2 (May 1992), 376-409.
    [PS] [DVI]
    Full version of AAAI-90 invited address.

  147. Modular utility representation for decision-theoretic planning
    Michael P. Wellman and Jon Doyle
    First International Conference on AI Planning Systems, College Park: Maryland (1992)
    [PS]

    1993

  148. Some Super-Classics of Artificial Intelligence?
    Jon Doyle
    Unpublished, June 14, 1993
    [PS] [DVI]

    1994

  149. Guardian Angel: Patient-Centered Health Information Systems
    P. Szolovits, Jon Doyle, W. J. Long, I. Kohane, and S. G. Pauker
    MIT/LCS/TR-604 (May 1994).
    [PS]

  150. Inference and acceptance: comment on Kyburg's ``Believing on the basis of the evidence''
    Jon Doyle
    Computational Intelligence, Vol. 10, No. 1, 46-48, (February 1994).
    [PS] [DVI]

  151. A reasoning economy for planning and replanning
    Jon Doyle
    Technical Papers of the ARPA Planning Initiative Workshop, Tucson: Arizona (1994).
    [PS] [DVI]

  152. Representing preferences as ceteris paribus comparatives
    Jon Doyle and Michael P. Wellman
    AAAI Symposium on Decision-Theoretic Planning, Stanford: California (1994).
    [PS] [DVI]

  153. A point of leverage for artificial intelligence
    Jon Doyle
    Unpublished position statement prepared for AAAI workshop on a report to NSF on information infrastructure technology and applications. Written July 6, 1994, completed September 27, 1994.
    [PS] [DVI]

  154. Reasoned assumptions and rational psychology
    Jon Doyle
    Fundamenta Informaticae, Vol. 20, No. 1 (Spring 1994).
    [PS] [DVI] [Intro only PS] [Intro only DVI]

  155. Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference
    Jon Doyle, E. J. Sandewall, and P. Torasso, editors
    San Francisco: Morgan Kaufmann (1994).

  156. Final report on rational distributed reason maintenance for planning and replanning of large-scale activities
    Jon Doyle
    Final report submitted to Rome Laboratory on October 27, 1994.
    [PS] [DVI]

    1995

  157. Symposium on Artificial Intelligence
    Jon Doyle, editor
    ACM Computing Surveys, Vol. 27 (September 1995).

  158. A truth maintenance system
    Jon Doyle
    In Computational Intelligence (G. F. Luger, ed.), Menlo Park, California: AAAI Press, 1995, pp. 529-554.

    1996

  159. Toward rational planning and replanning: rational reason maintenance, reasoning economies, and qualitative preferences
    Jon Doyle
    In Advanced Planning Technology: Technological Achievements of the ARPA/Rome Laboratory Planning Initiative (Austin Tate, editor), Menlo Park, California: AAAI Press, 1996, pp. 130-135.
    [PS] [DVI]

  160. Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference
    L. Carlucci Aiello, Jon Doyle, and S. C. Shapiro, editors
    San Francisco: Morgan Kaufmann (1996).

  161. Strategic Directions in Computing Research
    Peter Wegner and Jon Doyle
    ACM Computing Surveys, Vol. 28 (December 1996), 565-574, http://www.acm.org/pubs/citations/journals/surveys/1996-28-4/p656-wegner/
    [PS] [PDF]

  162. Strategic directions in artificial intelligence
    Jon Doyle and Thomas Dean, editors
    ACM Computing Surveys, Vol. 28 (December 1996), 653-670, http://www.acm.org/pubs/citations/journals/surveys/1996-28-4/p653-doyle/.
    [HTML] [PS] [PDF]

  163. Cleaving (unto) artificial intelligence
    Jon Doyle
    ACM Computing Surveys, Vol. 28A (December 1996), http://www.acm.org/pubs/citations/journals/surveys/1996-28-4es/a4-doyle/.
    [HTML]

  164. High-Performance Knowledge Base Support for Monitoring, Analysis, and Interpretation Tasks
    Jon Doyle, Isaac Kohane, William Long, and Peter Szolovits
    Unpublished, December 4, 1996.
    [HTML]
    Proposal submitted to and funded by DARPA.

    1997

    1998

  165. Adaptive Knowledge-Based Monitoring for Information Assurance
    Jon Doyle, Isaac Kohane, William J. Long, and Peter Szolovits
    Unpublished, October 30, 1998.
    [HTML] [PS] [DVI]
    Proposal submitted to and funded by DARPA.

    1999

  166. Rational decision making
    Jon Doyle
    MIT Encyclopedia of the Cognitive Sciences, Cambridge: MIT Press, 1999 (to appear).
    [PS] [DVI]
    Originally written in August, 1996.

  167. Bounded rationality
    Jon Doyle
    MIT Encyclopedia of the Cognitive Sciences, Cambridge: MIT Press, 1999 (to appear).
    [PS] [DVI]
    Originally written in July, 1997.

  168. Background to qualitative decision theory
    Jon Doyle and Richmond H. Thomason
    AI Magazine, Vol. 20, No. 2 (Summer 1999), pp. 55-68.
    [PS] [DVI] [PDF]

  169. The Architecture of MAITA: A Tool For Monitoring, Analysis, and Interpretation
    Jon Doyle, Isaac Kohane, William Long, and Peter Szolovits
    Unpublished draft, September 21, 1999
    [PS] [DVI] [PDF]

  170. Some Representational Limitations of the Common Intrusion Specification Language
    Jon Doyle
    Unpublished draft, November 5, 1999
    [Text] [PDF] [PS]

    2000

  171. Active Trust Management for Autonomous Adaptive Survivable Systems
    Howard Shrobe, Jon Doyle, and Peter Szolovits
    Proposal to DARPA, January 15, 2000
    [PS] [PDF] [DVI]

  172. Automating human-based negotiation processes for autonomic logistics
    Gabor Karsai, George Bloor, and Jon Doyle
    Proceedings of the 2000 IEEE Aerospace Conference, Nashville: Tennessee (2000), Vol. 6, pp. 147-153.
    [PDF]

  173. Toward a common attack recognition language
    Jon Doyle, Isaac Kohane, William Long, Howard Shrobe, and Peter Szolovits
    Unpublished draft, June 5, 2000


  174. On widening the scope of attack recognition languages
    Jon Doyle, Howard Shrobe, and Peter Szolovits
    Unpublished note, July 13, 2000
    [Text] [PS] [PDF]

  175. Matter, Mind and Mechanics: New models for dynamogenesis and rationality
    Jon Doyle
    Unpublished draft, October 26, 2000


    2001

  176. Active Trust Management for Autonomous Adaptive Survivable Systems
    Howard Shrobe and Jon Doyle
    Self-Adaptive Software, P. Robertson, H. Shrobe, and R. Laddaga, editors, Berlin: Springer Verlag, 2001, pp. 40-49. Revised papers from the First International Workshop on Self-Adaptive Software (IWSAS 2000).


  177. Agile Monitoring for Cyber Defense
    Jon Doyle, Isaac Kohane, William Long, Howard Shrobe, and Peter Szolovits
    To appear, Second DARPA Information Survivability Conference and Exposition (DISCEX-II), Anaheim, California, June 12-14, 2001.
    [PDF] [PS]

  178. Event Recognition Beyond Signature and Anomaly
    Jon Doyle, Isaac Kohane, William Long, Howard Shrobe, and Peter Szolovits
    Proceedings of the 2001 IEEE Workshop on Information Assurance and Security, United States Military Academy, West Point, New York, June 5-6, 2001, pp. 17-23.
    [PDF] [PS] [DVI]

  179. Exercising Qualitative Control in Autonomous Adaptive Survivable Systems
    Jon Doyle and Michael McGeachie
    Submitted for publication, February 28, 2001




Jon Doyle <doyle@mit.edu>