Curriculum Vitae of Jon Doyle

Laboratory for Computer Science
Massachusetts Institute of Technology
545 Technology Square
Cambridge, Massachusetts 02139
Tel: (617) 253-3512
Fax: (617) 258-8682
Email: Doyle@mit.edu
WWW: http://www.medg.lcs.mit.edu/doyle

Artificial intelligence, rational psychology, logic, economics, and theory of computation: especially topics in representation, decision-making, planning, control, learning, nonmonotonic reasoning, and reason maintenance. Medical applications.

• 1990-- Principal Research Scientist, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, Massachusetts.
• 1988-- Research Assistant Professor, Department of Medicine, Tufts University School of Medicine, Boston, Massachusetts.
• 1988-89 Research Associate, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, Massachusetts.
• 1984-88 Research Scientist, Computer Science, Carnegie-Mellon University, Pittsburgh, Pennsylvania.
• 1981-84 Research Associate, Computer Science, Carnegie-Mellon University, Pittsburgh, Pennsylvania.
• 1980-81 Research Associate, Computer Science, Stanford University, Stanford, California.
• 1975 (Jan.-July) Programmer, Technical Computing Division, Shell Oil Company, Houston, Texas.
• 1974 (May-Aug.) Programmer, Symbiotics International Inc., Houston, Texas.
• 1970-72 Assistant Engineer, KPFT Radio, Houston, Texas.
• 1963-71 Various capacities, Doyle's Delicatessen Inc., Houston, Texas.

Education

• 1980 Ph.D., Artificial Intelligence, Massachusetts Institute of Technology. A Model for Deliberation, Action, and Introspection, G. J. Sussman, advisor, M. Minsky, P. Szolovits, D. McDermott, readers.
• 1977 S.M., Electrical Engineering and Computer Science, Massachusetts Institute of Technology. Truth Maintenance Systems for Problem Solving, G. J. Sussman, advisor.
• 1974 B.S., Mathematics, University of Houston (Honors in Mathematics, Summa Cum Laude, Honors Program). Computational Investigations of Non-Repetitive Sequences, J. A. Schatz, advisor.
• 1971-1972 South Texas Junior College.
• 1971 High School Equivalency Certificate, State of Texas.
• 1967-8 Rice University summer school for middle and high school students.

Married to Carol A. Doyle, two children. Born and raised in Houston, Texas and, in summers, Dundee, Wisconsin. U.S. citizen. Interests in people, nature, languages, literature, writing, history, geography, music, art, poetry, swimming, hiking, and sailing.

Funding

One proposal to DARPA currently pending.

1. 1999-2001 Principal Investigator, Adaptive Knowledge-Based Monitoring Environments for Information Assurance, DARPA, $2,531,735.
2. 1999-2001 Subcontractor, Autonomous Negotiating Teams and Model-Integrated Computing for Autonomic Logistics, $350,000.
3. 1997-2000 Principal Investigator, High-performance knowledge base support for monitoring, analysis and interpretation tasks, DARPA, $1,892,386.
4. 1996-97 Principal Investigator, Air campaign planning ontology development and description, DARPA/Rome Laboratory, $75,000.
5. 1995-97 Principal Investigator, High-level planning ontology construction, DARPA/Rome Laboratory, $25,000.
6. 1995-2000 Key participant (Peter Szolovits, Principal Investigator), Guardian Angel: patient-centered health information systems, ARPA contract N66001-95-D-6019, $4,061,631
7. 1991-94 Principal Investigator, Rational and distributed reason maintenance for planning and replanning of large-scale activities, DARPA/Rome Laboratory contract F30602-91-C-0018, $623,027.
8. 1989 Principal Investigator, Rational planning and replanning, IBM Corporation, $30,000.

Publications

In preparation

1. The MAITA system: an overview (with C. Cao, I. Kohane, W. Long, and P. Szolovits), MIT LCS. In preparation, 1999.
2. The MAITA system demonstration (with C. Cao, I. Kohane, W. Long, and P. Szolovits) MIT LCS. In preparation, 1999.
3. The MAITA monitoring library and language (with C. Cao, I. Kohane, W. Long, and P. Szolovits) MIT LCS. In preparation, 1999.
4. The MAITA monitor control system (with C. Cao, I. Kohane, W. Long, and P. Szolovits) MIT LCS. In preparation, 1999.
5. The MAITA monitoring network architecture (with C. Cao, I. Kohane, W. Long, and P. Szolovits) MIT LCS, 1999.
6. The MAITA monitoring process wrapper (with C. Cao, I. Kohane, W. Long, and P. Szolovits) MIT LCS, 1999.
7. Review of four textbooks of artificial intelligence for Artificial Intelligence
8. Contextual equivalence and ceteris paribus comparatives
9. The universality barrier (with Gerald J. Sussman)
10. Reasons and rationality: economic foundations for mental self-government (book)
11. Modern biographical sketches
12. The historical basis of modern artificial intelligence

1. Problem solving by TMS (Japanese translation by M. Nakagawa from Truth Maintenance Systems for Problem Solving), Foundations of Cognitive Science (Yutaka Saeki, ed.), Tokyo: Sangyo Tosho.
2. A truth maintenance system (Russian translation), Kiberneticheskii sbornik. Novaya seriya. Vyp. 20 [Cybernetics collection. New series. No. 20] (O. B. Lupanov, ed.), Moscow: Mir, 159-215, 1983.

Books edited

1. Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference (edited with L. Carlucci Aiello and S. C. Shapiro), San Francisco: Morgan Kaufmann (1996).
2. Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference (edited with E. J. Sandewall and P. Torasso), San Francisco: Morgan Kaufmann (1994).

Journal issues edited

1. Strategic Directions in Computing Research (with P. Wegner), ACM Computing Surveys, Vol. 28 (December 1996).
2. Symposium on Artificial Intelligence, ACM Computing Surveys, Vol. 27 (September 1995).

Papers in refereed journals

1. Editorial: Strategic directions in computing research (with P. Wegner), ACM Computing Surveys, Vol. 28 (December 1996), 565-574.
2. Strategic directions in artificial intelligence (with T. L. Dean), ACM Computing Surveys, Vol. 28 (December 1996), 653-670. Reprinted in AI Magazine, Vol. 18, No. 1 (Spring 1997), 87-101.
3. Cleaving (unto) artificial intelligence, ACM Computing Surveys, Vol. 28 (December 1996), http://www.acm.org/pubs/citations/journals/surveys/1996-28-4es/a4-doyle/.
4. Reasoned assumptions and rational psychology, Fundamenta Informaticae, Vol. 20, No. 1-3 (Spring 1994), pp. 35-73.
5. Inference and acceptance, Computational Intelligence, Vol. 10, No. 1 (February 1994), 46-48.
6. The roles of rationality in reasoning, Computational Intelligence, Vol. 8, No. 2 (May 1992), 376-409.
7. Epilegomenon (with E. P. Sacks), Computational Intelligence, Vo. 8, No. 2 (May 1992), pp. 326-335.
8. Prolegomena to any future qualitative physics (with E. P. Sacks), Computational Intelligence, Vo. 8, No. 2 (May 1992), pp. 187-209 (a ``Taking Issue'' article published with commentaries).
9. Impediments to universal preference-based default theories (expanded version, with M. P. Wellman), Artificial Intelligence, Vol. 49, Nos. 1-3 (May 1991), pp. 97-128. Reprinted in Knowledge Representation (R. J. Brachman, H. J. Levesque, and R. Reiter, eds.), Cambridge, MA: MIT Press, (1992), 97-128.
10. Two dogmas of knowledge representation: language restrictions, taxonomic classification, and the utility of representation services (with R. S. Patil), Artificial Intelligence, Vol. 48, No. 3 (April 1991), pp. 261-297.
11. Markov analysis of qualitative dynamics (with E. P. Sacks), Computational Intelligence, Vol. 7, No. 1 (February 1991), pp. 1-10.
12. Perceptive questions about computation and cognition, Behavioral and Brain Sciences, Vol. 13, No. 4 (December 1990), p. 661 (review of The Emperor's New Mind by R. Penrose).
13. Constructive belief and rational representation, Computational Intelligence, Vol. 5, No. 1 (February 1989), pp. 1-11.
14. Logic, rationality, and rational psychology, Computational Intelligence, Vol. 3, No. 3 (August 1987) 175-176. (Review of Critique of Pure Reason by D. McDermott.)
15. Expert systems and the ``myth'' of symbolic reasoning, IEEE Transactions on Software Engineering, Vol. SE-11, No. 11 (November 1985), 1386-1390.
16. Circumscription and implicit definability, Journal of Automated Reasoning, 1 (1985), 391-405. Also CMU CSD Report 84-154. Also AAAI Workshop on Non-monotonic Reasoning, (1984).
17. Review of Automation of Reasoning by Siekmann and Wrightson, American Scientist, V. 72, No. 3, 303 (1984).
18. Admissible state semantics for representational systems, IEEE Computer, V. 16, No. 10, 119-123 (1983) (Special issue on knowledge representation). Also CMU CSD Report 83-124 (1983). Reprinted in The Knowledge Frontier: Essays in the Representation of Knowledge (N. Cercone and G. McCalla, eds.), New York: Springer-Verlag (1987), 174-186.
19. Non-monotonic logic I (with D. V. McDermott), Artificial Intelligence 13 (1980), 41-72 (Special issue on non-monotonic logic). Also MIT AI Lab Memo 468 (1978). Abstract in Notices of the AMS, V. 26, No. 1 (1979), #79T-E4, A-16. Reprinted in Readings in Nonmontonic Reasoning (M. Ginsberg, ed.), Los Altos: Morgan Kaufmann (1988).
20. A truth maintenance system, Artificial Intelligence 12 (1979), 231-272. Also MIT AI Lab Memo 521 (1979). Reprinted in Readings in Artificial Intelligence (B. L. Webber and N. J. Nilsson, eds.), Palo Alto: Tioga (1981). Translation in Kiberneticheskii sbornik. Novaya seriya. Vyp. 20 [Cybernetics collection. New series. No. 20] (O. B. Lupanov, ed.), Moscow: Mir, 159-215, 1983. Reprinted in in Readings in Nonmontonic Reasoning (M. Ginsberg, ed.), Los Altos: Morgan Kaufmann (1988). Slightly abbreviated form in Computation and Intelligence (G. F. Luger, ed.).
21. Linear expected time of a simple union-find algorithm (with R. L. Rivest), Information Processing Letters 5 (1976), 146-148.

1. Representing preferences as ceteris paribus comparatives, (with M. P. Wellman), AAAI Symposium on Decision-Theoretic Planning, Stanford: California (1994).
2. Modular utility representation for decision-theoretic planning (with M. P. Wellman), First International Conference on AI Planning Systems, College Park: Maryland (1992)
3. A logic of relative desire (preliminary report) (with Y. Shoham and M. P. Wellman), Sixth International Symposium on Methodologies for Intelligent Systems, Charlotte: North Carolina, (1991).
4. Preferential semantics for goals (with Michael P. Wellman), AAAI Ninth National Conference on Artificial Intelligence, Anaheim, California (1991).
5. Rational belief revision (preliminary report), Second International Conference on Principles of Knowledge Representation and Reasoning, Boston, (1991).
6. Rational distributed reason maintenance for planning and replanning of large-scale activities (with M. P. Wellman), DARPA Workshop on Innovative Approaches to Planning, Scheduling, and Control, San Diego (1990).
7. The roles of rationality in reasoning (extended abstract), AAAI Eighth National Conference on Artificial Intelligence, Boston, Massachusetts (1990).
8. Rational self-government and universal default logics, Second Conference on Economics and Artificial Intelligence, Paris (1990).
9. Rational belief revision (preliminary report), Third International Workshop on Nonmonotonic Reasoning, California: Stanford Sierra Camp, (1990).
10. Stochastic analysis of qualitative dynamics (with E. P. Sacks), Eleventh International Joint Conference on Artificial Intelligence, (N. S. Sridharan, ed.), pp. 1187-1192, San Mateo: Morgan Kaufmann, 1989.
11. Impediments to universal preference-based default theories (with M. P. Wellman), First International Conference on Principles of Knowledge Representation and Reasoning, Toronto, (1989).
12. Some impossibility results, AAAI Workshop on Defeasible Reasoning with Specificity and Multiple Inheritance, St. Louis, Missouri (1989).
13. Mental constitutions and limited rationality, AAAI Symposium on AI and Limited Rationality, Palo Alto (1989).
14. Knowledge, representation, and rational self-government (extended abstract), Second Conference on Theoretical Aspects of Reasoning about Knowledge (M. Y. Vardi, ed.), (1988).
15. Reasoned assumptions and Pareto optimality, Ninth International Joint Conference on Artificial Intelligence, (1985). Also CSLI Workshop on Planning and Practical Reasoning, Stanford University, Stanford, California (1984). Also CMU CSD Report 85-121.
16. Circumscription and implicit definability, AAAI Workshop on Non-Monotonic Reasoning, (1984).
17. A society of mind: multiple perspectives, reasoned assumptions, and virtual copies, Eighth International Joint Conference on Artificial Intelligence, (1983). Also CMU CSD Report 83-127 (1983).
18. The ins and outs of reason maintenance, Eighth International Joint Conference on Artificial Intelligence, (1983). Also CMU CSD Report 83-126 (1983).
19. An introduction to non-monotonic logic (with D. V. McDermott), Sixth International Joint Conference on Artificial Intelligence, Tokyo, Japan (1979).
20. A glimpse of truth maintenance, Sixth International Joint Conference on Artificial Intelligence, Tokyo, Japan (1979). Also MIT AI Lab Memo 461 (1978). Also in Artificial Intelligence: An MIT Perspective (P. H. Winston and R. H. Brown, eds.), Cambridge: MIT Press (1979).
21. Non-monotonic logic I (extended abstract) (with D. V. McDermott), Fourth Workshop on Automated Deduction, Austin, Texas (1979).
22. A glimpse of truth maintenance, Fourth Workshop on Automated Deduction, Austin, Texas (1979).
23. Truth maintenance systems for problem solving, Fifth International Joint Conference on Artificial Intelligence, Cambridge, Massachusetts (1977).
24. AMORD: explicit control of reasoning (with J. de Kleer, G. L. Steele and G. J. Sussman), ACM Conference on AI and Programming Languages, Rochester, New York (1977). Also MIT AI Lab Memo 427 (1977). Also in Artificial Intelligence: An MIT Perspective (P. H. Winston and R. H. Brown, eds.), Cambridge: MIT Press (1979). Also in Readings in Knowledge Representation (R. Brachman and H. Levesque, eds.), Los Altos: Morgan Kaufmann (1985).

1. Background to qualitative decision theory (with Richmond Thomason), AI Magazine, Vol. 20, No. 1 (Spring 1999), to appear.
2. Review of Philosophical Logic and Artificial Intelligence edited by Richmond H. Thomason, SIGART Bulletin, Vol. 2, No. 1 (January 1991), 77-78.
3. Big problems for artificial intelligence, AI Magazine (guest editorial), Vol. 9, No. 1, 19-22 (1988).
4. Expert systems without computers, or theory and trust in artificial intelligence, AI Magazine, V. 5, No. 2, 59-63 (1984). Errata, V. 5, No. 4, 78 (1984). Also CMU CSD Report 84-116 (1984).
5. What should AI want from the supercomputers?, AI Magazine, V. 4, No. 4, 33-35, 31 (1983). Also CMU CSD Report 83-160 (1983).
6. What is rational psychology? Toward a modern mental philosophy, AI Magazine, V. 4, No. 3 (1983), 50-53. Unabridged version printed as CMU CSD Report 83-106 (1983).
7. Methodological simplicity in expert system construction: the case of judgments and reasoned assumptions, AI Magazine, V. 4, No. 2 (1983), 39-43. Reprinted in Readings in Uncertain Reasoning (G. Shafer and J. Pearl, eds.), San Mateo, CA: Morgan Kaufmann, 1990. Also CMU CSD Report 83-114 (1983).
8. A selected descriptor-indexed bibliography to the literature on belief revision (with P. London), SIGART Newsletter, No. 71 (1980), 7-23. Also MIT AI Lab Memo 568 (1980).
9. Why I don't play the piano, SIGART Newsletter, No. 70 (February 1980), p. 41. (Special knowledge representation survey issue).

1. Rational control of reasoning in artificial intelligence, Conference on the Dynamics of Knowledge and Belief, Lund, Sweden (1989).
2. Reasoned assumptions and Pareto optimality, CSLI Workshop on Planning and Practical Reasoning, Stanford University, Stanford, California (1984).
3. Rationality in the will to believe, Colloquium on Practical Reasoning, University of Dayton, Dayton, Ohio (1983).
4. Making difficult decisions, Stanford Computer Forum, Stanford University, Stanford, California (1981).
5. Non-repetitive binary sequences, 727th Meeting of the American Mathematical Society, Cambridge, Massachusetts (1975). Abstract in Notices of the AMS, Oct. 1975, A-660, #727-A5. 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.

1. Bounded rationality, MIT Encyclopedia of the Cognitive Sciences, Cambridge: MIT Press, 1999 (to appear).
2. Rational decision making, MIT Encyclopedia of the Cognitive Sciences, Cambridge: MIT Press, 1999 (to appear).
3. Toward rational planning and replanning rational reason maintenance, reasoning economies, and qualitative preferences, 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.
4. A truth maintenance system, in Computational Intelligence (G. F. Luger, ed.), Menlo Park, California: AAAI Press, 1995, pp. 529-554.
5. A reasoning economy for planning and replanning, Proceedings of the ARPA/Rome Laboratory Planning Initiative Workshop, San Francisco: Morgan Kaufmann (1994).
6. Impediments to universal preference-based default theories (with M. P. Wellman), in Knowledge Representation (R. J. Brachman, H. J. Levesque, and R. Reiter, eds.), Cambridge, MA: MIT Press, (1992), 97-128.
7. Rational belief revision and reason maintenance, Belief Revision (P. Gärdenfors, ed.), Cambridge: Cambridge University Press (1992), pp. 29-51.
8. The foundations of psychology: a logico-computational inquiry into the concept of mind, Philosophy and AI: Essays at the Interface (R. Cummins and J. Pollock, eds.), Cambridge: MIT Press (1991), 39-77.
9. A logic of relative desire (preliminary report) (with Y. Shoham and M. P. Wellman), Methodologies for Intelligent Systems 6 (Z. W. Ras and M. Zemankova, eds.), Berlin: Springer-Verlag (1991), pp. 16-31.
10. Rational self-government and universal default logics (with M. P. Wellman), Economics and Artificial Intelligence (P. Bourgine and B. Walliser, eds.), London: Pergamon (1991), pp. 5-13.
11. Rational control of reasoning in artificial intelligence, The Logic of Theory Change (A. Fuhrmann and M. Morreau, eds.), Berlin: Springer-Verlag (1990), 19-48.
12. Methodological simplicity in expert system construction: the case of judgments and reasoned assumptions, Readings in Uncertain Reasoning (G. Shafer and J. Pearl, eds.), San Mateo, CA: Morgan Kaufmann (1990), 689-693.
13. Reasoning, representation, and rational self-government, Methodologies for Intelligent Systems, 4 (Z. W. Ras, ed.), New York: North-Holland (1989), pp. 367-380.
14. Expert systems without computers, or theory and trust in artificial intelligence, Readings from the AI Magazine (R. Engelmore, ed.), Menlo Park, CA: American Association for Artificial Intelligence (1980), 167-171.
15. What should AI want from the supercomputers?, Readings from the AI Magazine (R. Engelmore, ed.), Menlo Park, CA: American Association for Artificial Intelligence (1980), 29-32.
16. What is rational psychology? Toward a modern mental philosophy, Readings from the AI Magazine (R. Engelmore, ed.), Menlo Park, CA: American Association for Artificial Intelligence (1980), 251-254.
17. Methodological simplicity in expert system construction: the case of judgments and reasoned assumptions, Readings from the AI Magazine (R. Engelmore, ed.), Menlo Park, CA: American Association for Artificial Intelligence (1980), 162-166.
18. Non-monotonic logic I (with D. McDermott), Readings in Nonmontonic Reasoning (M. Ginsberg, ed.), Los Altos: Morgan Kaufmann (1988), 111-126.
19. Admissible state semantics for representational systems, The Knowledge Frontier: Essays in the Representation of Knowledge (N. Cercone and G. McCalla, eds.), New York: Springer-Verlag (1987), 174-186.
20. Problem solving by TMS (Japanese translation by M. Nakagawa from Truth Maintenance Systems for Problem Solving), Foundations of Cognitive Science (Yutaka Saeki, ed.), Tokyo: Sangyo Tosho.
21. Reasoning about reasoning (with R. Davis, 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.
22. Non-deductive reasoning and non-monotonic logic, Handbook of Artificial Intelligence V. III (P. R. Cohen and E. A. Feigenbaum, eds.), Los Altos: Wm. Kaufmann (1982).
23. Dependencies and assumptions (with J. de Kleer), Handbook of Artificial Intelligence V. II (A. Barr and E. A. Feigenbaum, eds.), Los Altos: Wm. Kaufmann (1982).
24. A truth maintenance system, Readings in Artificial Intelligence (B. L. Webber and N. J. Nilsson, eds.), Palo Alto: Tioga (1981). Translation in Kiberneticheskii sbornik. Novaya seriya. Vyp. 20 [Cybernetics collection. New series. No. 20] (O. B. Lupanov, ed.), Moscow: Mir, 159-215, 1983. Also in Readings in Nonmontonic Reasoning (M. Ginsberg, ed.), Los Altos: Morgan Kaufmann (1988).
25. A glimpse of truth maintenance, Artificial Intelligence: An MIT Perspective (P. H. Winston and R. H. Brown, eds.), Cambridge: MIT Press (1979).
26. AMORD: Explicit control of reasoning (with J. de Kleer, G. L. Steele and G. J. Sussman), Artificial Intelligence: An MIT Perspective (P. H. Winston and R. H. Brown, eds.), Cambridge: MIT Press (1979). Also in Readings in Knowledge Representation (R. Brachman and H. Levesque, eds.), Los Altos: Morgan Kaufmann (1985).

1. Guardian Angel: Patient-Centered Health Information Systems (with P. Szolovits, W. J. Long, I. Kohane, and S. G. Pauker), MIT/LCS/TR-604 (May 1994).
2. Prolegomena to any future qualitative physics (with E. P. Sacks), Princeton University Department of Computer Science CS-TR-314-91 (1991).
3. Stochastic analysis of qualitative dynamics (with E. P. Sacks), MIT/LCS/TM-418 (1989).
4. Impediments to universal preference-based default theories (with M. P. Wellman), MIT/LCS/TM-416 (1989).
5. Two dogmas of knowledge representation: language restrictions, taxonomic classification, and the utility of representation services (with R. Patil), MIT/LCS/TM-387b (1989).
6. Language restrictions, taxonomic classification, and the utility of representation services (with R. Patil), MIT/LCS/TM-387 (1989).
7. Implicit knowledge and rational representation, CMU CSD Report CMU-CS-88-134 (1988).
8. Artificial intelligence and rational self-government, CMU CSD Report CMU-CS-88-124 (1988).
9. Similarity, conservatism, and rationality, CMU CSD Report CMU-CS-88-123 (1988).
10. On rationality and learning, CMU CSD Report CMU-CS-88-122 (1988).
11. On universal theories of defaults, CMU CSD Report CMU-CS-88-111 (1988).
12. How to frame it: Modern applied logic from the top down, CMU CSD class notes, (1986).
13. Some theories of reasoned assumptions: an essay in rational psychology, CMU CSD Report 83-125 (1983).
14. The foundations of psychology: a logico-computational inquiry into the concept of mind, CMU CSD, Report 82-149 (1982).
15. Three short essays on decisions, reasons, and logics, Stanford CSD, Report 81-864 (1981).
16. A model for deliberation, action, and introspection, MIT AI Lab TR-581 (1980).
17. AMORD: a deductive procedure system (with J. de Kleer, C. Rich, G. L. Steele, and G. J. Sussman), MIT AI Lab Memo 435 (1978).
18. Truth maintenance systems for problem solving, MIT AI Lab TR-419 (1978).
19. Hierarchy in knowledge representations, MIT AI Lab WP-159 (1977).
20. The use of dependency relationships in the control of reasoning, MIT AI Lab WP-133 (1976).
21. Analysis by propagation of constraints in elementary geometry problem solving, MIT AI Lab WP-108 (1976).

1. Reasoned assumptions and rational psychology, Fifth International Workshop on Nonmonotonic Reasoning, Schloss Dagstuhl, Germany (1994).
2. A logic of relative desire, Sixth International Symposium on Methodologies for Intelligent Systems, Charlotte: North Carolina, (1991).
3. The roles of rationality in reasoning, AAAI Eighth National Conference on Artificial Intelligence, Boston: Massachusetts (1990).
4. Rational self-government and universal default logics, Second Conference on Economics and Artificial Intelligence, Paris (1990).
5. Reasoning, representation, and rational self-government, Fourth International Symposium on Methodologies for Intelligent Systems, Charlotte: North Carolina, (1989).
6. Rational control of reasoning in artificial intelligence, Conference on the Dynamics of Knowledge and Belief, Lund, Sweden (1989).
7. Rationality in the will to believe, Colloquium on Practical Reasoning, University of Dayton, Dayton, Ohio (1983).

• Progress Since 1984?, Fourth International Workshop on Nonmonotonic Reasoning, Plymouth, Vermont, 1992.
• Chair, Why Causality?, Second International Conference on Principles of Knowledge Representation and Reasoning, Boston, Massachusetts, 1991.
• The State of the Art of Uncertainty Research, Sixth Conference on Uncertainty in Artificial Intelligence, Cambridge, Massachusetts, 1990.
• Directions for the Future, Workshop on Term Subsumption Languages in Knowledge Representation, Jackson, New Hampshire, 1989.
• Questions of Substance or Mere Clashes of Intuition?, AAAI Workshop on Defeasible Reasoning with Specificity and Multiple Inheritance, St. Louis, Missouri, 1989.
• Research Issues and Prospects in Limited Rationality, AAAI Symposium on Artificial Intelligence and Limited Rationality, Stanford, California, 1989.
• Where We Are and Where We Are Going, American Association for Artificial Intelligence, St. Paul, Minnesota, 1988.
• Logicality vs. Rationality, Second Conference on Theoretical Aspects of Reasoning about Knowledge, Monterrey, California, 1988.
• The Management of Uncertainty in Intelligent Systems, American Association for Artificial Intelligence, Austin, Texas, 1984.
• Non-Monotonic Reasoning, International Joint Conference on Artificial Intelligence, Karlsruhe, Germany, 1983.
• Non-Monotonic Logic, American Association for Artificial Intelligence, Stanford, California, 1980.

• University lectures at Brown, Cornell, Carnegie-Mellon, Georgia Institute of Technology, Harvard, Linköping, Lund, Massachusetts Institute of Technology, Princeton, Rice, Stanford, Stockholm, Tufts New England Medical Center, University of California at Los Angeles, University of Illinois at Chicago, University of Illinois at Urbana-Champaign, University of Maryland, University of Pennsylvania, University of Pittsburgh, University of Texas at Austin, University of Wisconsin-Milwaukee, Umeå, Yale, and Washington University.
• Industrial lectures at AT&T Bell Laboratories (Murray Hill, Holmdel), Bell Communications Research (Morristown), Bolt, Beranek and Newman, Hewlett-Packard, Microelectronics and Computer Technology Company, SRI International, Thinking Machines, USC Information Sciences Institute, and Xerox PARC.

Other lectures

• USAF Rome Laboratory.

1. Charles C. Mann, ``Guardian Angels,'' Boston Magazine, October 1995, 39-42.
2. John Browning, ``Minds in the making: a survey of artificial intelligence,'' The Economist, March 14-20, 1992, center section.
3. John Browning, ``When logic is not enough,'' The Economist, August 25, 1990, pp. 69-70.
4. John Browning, ``Expert systems: Anti-knowledge,'' The Economist, June 23, 1990, pp. 88-89.

University activities

Courses taught

1. MIT, Knowledge-Based Application Systems (with R. Davis), Spring 1996.
2. MIT, Reasoning and Rationality, Spring 1993.
3. CMU, Limited Reasoning and Rational Self-Government, Spring 1987.
4. University of Pittsburgh, Some Theories of Reasoned Assumptions, Spring 1983.

Guest lectures

1. MIT, Knowledge-Based Application Systems, Spring 1997.
2. Harvard, Intelligent Machines: Reasoning, Actions, and Plans (lecture on logic and action), Fall 1996.
3. CMU, Artificial Intelligence (lectures on logic and reasoning), Fall 1986, 1987. Lecture notes, How to Frame It: Modern applied logic from the top down.

• 1995 Latanya Sweeney, A.L.B., Harvard (project supervisor)
• 1994 Nathaniel R. Bogan, M.Eng., MIT (advisor).
• 1994 Whitney Winston, S.B., MIT (advisor).
• 1994 Michael P. Frank, S.M., MIT (advisor).
• 1994 Scott T. Hofmeister, S.M., MIT (advisor).
• 1992 Ronald J. Bodkin, S.M., MIT (advisor).
• 1989 Vijay Saraswat, Ph.D., Carnegie-Mellon University (thesis committee).
  Winner of the 1990 ACM Dissertation Award.
• 1984 David S. Touretzky, Ph.D., Carnegie-Mellon University (thesis committee, de facto co-supervisor).
  Thesis published by Pitman/Morgan Kaufmann.
• 1983 João P. Martins, Ph.D., State University of New York, Buffalo (outside reader).

• 1996-- Undergraduate advisor, MIT Electrical Engineering and Computer Science Department.
• 1989-- Oral and Area exam committees, MIT Electrical Engineering and Computer Science Department.
• 1987-88 Member, CMU University Research Council, Computer Science Department representative.
• 1987 Chairman, CMU Computer Science Department Faculty Recruiting Committee.
• 1983-87 Editor, CMU Computer Science Department Faculty Research Guide.

Honors

1. 1991-- Fellow of the American Association for Artificial Intelligence
   (in recognition of ``fundamental contributions to the fields of nonmonotonic reasoning, truth maintenance, metareasoning, and the philosophical foundations of artificial intelligence'')
2. 1975-1980 Fannie and John Hertz Graduate Fellow
3. 1974 B.S. Summa Cum Laude with Honors in Mathematics, University of Houston

Professional activities

Elected Offices

• 1996-99 Councilor, American Association for Artificial Intelligence
• 1989-91 Chair, Association for Computing Machinery Special Interest Group on Artificial Intelligence (ACM SIGART).

• 1997 Co-chair, Symposium on Qualitative Preferences in Deliberation and Practical Reasoning
• 1997-- Advisory Board, Journal of Artificial Intelligence Research
• 1996-98 President, Principles of Knowledge Representation and Reasoning, Inc.
• 1996 Conference Chair, Fifth International Conference on Knowledge Representation and Reasoning
• 1996 Representative of AAAI to National Research Council Board of Mathematical Sciences
• 1996-97 Web editorial advisor, American Association for Artificial Intelligence
• 1996 Associate Chair, Workshop on Strategic Directions in Computing Research
• 1996 Co-Chair, Artificial Intelligence Working Group, Workshop on Strategic Directions in Computing Research
• 1996-98 Information Director, ACM Computing Surveys
• 1995-98 Associate Editor, ACM Computing Surveys
• 1995-98 Webmaster, The Ontology Page
• 1995-- Webmaster, International Workshops on Nonmonotonic Reasoning
• 1995-- Webmaster, Principles of Knowledge Representation and Reasoning, Inc.
• 1994 Member, AAAI Panel on the Information Infrastructure Technologies and Applications
• 1994 Co-chair, Fourth International Conference on Knowledge Representation and Reasoning
• 1993-97 Associate Editor, Journal of Artificial Intelligence Research
• 1993 Editorial Board, Journal of Artificial Intelligence Research
• 1992-- Director, Principles of Knowledge Representation and Reasoning, Inc.
• 1992-- Associate editor, Journal of Logic, Language and Information
• 1991-93 Past Chair, Association for Computing Machinery Special Interest Group on Artificial Intelligence (ACM SIGART).
• 1990-- Editorial board, Computational Intelligence
• 1990-- Associate, Behavioral and Brain Sciences
• 1989-96 Editorial board, Applied Intelligence
• 1978-79 Associate Editor, ACM SIGART Newsletter.

• 1997 Fourteenth National Conference on Artificial Intelligence
• 1997 Co-chair, Symposium on Qualitative Preferences in Deliberation and Practical Reasoning
• 1996 Ninth International Symposium on Artificial Intelligence
• 1995 Eighth International Symposium on Artificial Intelligence
• 1994 Eighth International Symposium on Methodologies for Intelligent Systems
• 1994 Seventh International Symposium on Artificial Intelligence
• 1994 Co-chair, Fourth International Conference on Knowledge Representation and Reasoning
• 1994 Fifth International Conference on Non-Monotonic Reasoning
• 1993 Sixth International Symposium on Artificial Intelligence, Intelligent Systems Applications in Industry and Business
• 1993 AAAI Symposium on Mental States
• 1992 International Conference on Economics/Management and Information Technology 92.
• 1992 Fifth International Symposium on Artificial Intelligence: Applications in Manufacturing and Robotics.
• 1992 Third International Conference on Knowledge Representation and Reasoning.
• 1992 Eighth International Conference on Uncertainty in Artificial Intelligence.
• 1992 AAAI Tenth National Conference on Artificial Intelligence.
• 1991 Second International Conference on Knowledge Representation and Reasoning.
• 1990 AAAI Eighth National Conference on Artificial Intelligence.
• 1990 Fifth International Symposium on Methodologies for Intelligent Systems.
• 1990 Second International Conference on Economics and Artificial Intelligence, Paris, France.
• 1990 Third International Conference on Non-Monotonic Reasoning, Stanford Sierra Lodge, California.
• 1990 Third Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, California.
• 1989 AAAI Spring Symposium on AI and Limited Rationality.
• 1988 Subchair for Automated Reasoning, AAAI Seventh National Conference on Artificial Intelligence.
• 1988 Third International Symposium on Methodologies for Intelligent Systems.
• 1986 AAAI Fifth National Conference on Artificial Intelligence.
• 1984 AAAI Workshop on Non-Monotonic Reasoning.
• 1982 Sixth Conference on Automated Deduction.

• Referee for Air Force Office of Scientific Research, American Association for Artificial Intelligence, Artificial Intelligence, Behavioral and Brain Sciences, Computational Intelligence, Decision Support Systems, International Joint Conferences on Artificial Intelligence, Journal of Automated Reasoning, Journal of Philosophical Logic, Journal of Symbolic Logic, Journal of the Association for Computing Machinery, MIT Press, the National Research Council of Canada, the National Science Foundation, Notre Dame Journal of Formal Logic, and Symbolic Computation.
• Book reviewer for American Scientist, Artificial Intelligence, Behavioral and Brain Sciences, and SIGART Bulletin.
• Initiated joint AAAI/CSCSI/SIGART/SMIA membership directory.
• Supplied proposals to the American Association for Artificial Intelligence.
• Session chair at several conferences.

Memberships

• American Association for Artificial Intelligence
• American Association for the Advancement of Science
• American Economic Association
• American Mathematical Society
• Association for Computing Machinery
• European Association for Logic, Language and Information
• Sigma Xi
• Society for Industrial and Applied Mathematics