everything.study
6.871

Knowledge-Based Applications Systems

Graduate · Historical course

Spring 2005

Topics

  • Course Organization; Spirit of the Undertaking
  • Tell it What to Know; Search
  • Origins of KBS: MACSYMA and DENDRAL
  • Application Analysis Case Study: Case Introduction
  • Application Analysis Case Study: Class Discussion
  • Rule-Based Systems
  • Semantic Nets
  • Logic
  • Frame-Based Systems
  • Uncertain Reasoning, Models of Rationality
  • Blackboards
  • Pragmatic Issues in Knowledge Acquisition
  • Summary of Knowledge Representation
  • Causal Reasoning
  • Model-Based Reasoning
  • Case-Based Reasoning
  • Reasoning with Constraints
  • Reasoning about Physical Systems
  • Human Intelligence Project
  • Common Sense
  • Learning
  • Ontologies and Data Mining
  • Project Presentations and Discussion
  • Project Presentations and Discussion (cont.)

Readings

  • Feigenbaum, E. A. Knowledge Engineering: The Applied Side of Artificial Intelligence. Annals New York Academy of Sciences, 1984, pp. 91-107.
    Listed reading
  • Newell, A. “The Knowledge Level.” Artificial Intelligence Magazine (Summer 1981): 1-20+.
    Listed reading
  • Topolski, A. S., and D. K. Reece. “Packaging Advisor_ tm _: An Expert System for Rigid Plastic Food Package Design.” In Proc Innovative Applications of AI . Edited by H. Schoor and A. Rappaport. Melo Park, CA: AAAI/MIT Press, 1989, pp. 348-357.
    Listed reading
  • Korf, R. E. “Search: A Survey of Recent Results.” In Exploring Artificial Intelligence. Edited by H. E. Shrobe. San Francisco, CA: Morgan Kaufmann, 1988, pp. 197-237. ISBN: 0934613672.
    Listed reading
  • ACM Computing Surveys 27, no. 3 (Sept 1995): 337-339. [An update to the previous paper.]
    Listed reading
  • Rowley, S., H. Shrobe, R. Cassels, and W. Hamscher. “Joshua: Uniform Access to Heterogenous Knowledge Structures (or Why Joshing is better than Conniving or Planning.)” Seattle, WA: National Conference on Artificial Intelligence, AAAI-87, 1987, pp. 48-52.
    Listed reading
  • Rich, C., H. E. Shrobe, and R. C. Waters. “Computer Aided Evolutionary Design for Software Engineering.” MIT/AI Memo 506, Jan 1979.
    Listed reading
  • Slagel, J. R. “A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus.” In Computers and Thought . E.A Feigenbaum, J. Feldman.Cambridge, MA: AAAI Press, 1995, pp. 191-203. ISBN: 0262560925.
    Listed reading
  • Moses, J. “How SIN Differs from SAINT.” Chapter 2 in PhD Thesis.
    Listed reading
  • Feigenbaum, E. A., B. G. Buchanan, and J. Lederberg. “On Generality and Problem Solving: A Case Study Using the DENDRAL Program.” In Machine Intelligence 6. Edited by Meltzer, and Michie. pp. 165-189.
    Listed reading
  • LEC #: 4 · TOPICS: Application Analysis Case Study: Case Introduction · READINGS: Sviokla, J. “Smartwave: The Wave-Soldering Expert System.” Cambridge, MA: Harvard Business School Press, Harvard Business School Cases #0-187-062 and #0-187-063.
    Reading assignment
  • Davis, R. “Production Rules as a Representation for a Knowledge-based Consultation Program.” Artificial Intelligence Journal, no. 8 (1977): 15-45.
    Listed reading
  • Duda, R., J. Gaschnig, and P. Hart. “Model Design in the Prospector Consultant System for Mineral Exploration.” In Expert Systems in the Microelectronic Age . Edited by Michie. Edinburgh, Scotland: Edinburgh University Press, 1979, pp. 154-167.
    Listed reading
  • Campbell, A. N., V. F. Hollister, R. O. Duda, and P. E. Hart. “Recognition of a Hidden Mineral Deposit by an Artificial Intelligence Program.” Science, no. 217 (Sept 3, 1982): 927-929.
    Listed reading
  • Buy at MIT Press Quillian, M. Ross. “Semantic Memory.” In Semantic Information Processing . Edited by M. Minsky. Cambridge, MA: MIT Press, 1969, pp. 227-270. ↗
    Listed reading
  • MacGregor, R. “The Evolving Technology of Classification-based Knowledge Representation Systems.” In Principles of Semantic Networks. Edited by J. Sowa. San Francisco, CA: Morgan Kaufmann, 1991, pp. 385-400. ISBN: 1558600884.
    Listed reading
  • Brachman, R., et. al. “Living with Classic: When and how to use a KL-ONE like Language.” In Principles of Semantic Networks. Edited by J. Sowa. San Francisco, CA: Morgan Kaufmann, 1991, pp. 401-456. ISBN: 1558600884.
    Listed reading
  • Sergot, et. al. “The British Nationality Act As A Logic Program.” Communications of the ACM (May 1986): 370-386.
    Listed reading
  • Smith, D., and E. Parra. “Transformational Approach to Transportation Scheduling.” In Proceedings of the 8th Knowledge-Based Software Engineering Conference. Chicago, IL.: IEEE Computer Society Press, Sept 14-17, 1993, pp. 60-68.
    Listed reading
  • Brachman, R., and H. Levesque. “Undirected Behavior without Unbounded Search.” ACM Surveys (Sept 1995): 314-316.
    Listed reading
  • Ginsberg, M. L. “Epistemological and Heuristic Adequacy Revisited.” ACM Computing Surveys (Sept 1995): 331-333.
    Listed reading
  • Minsky, M. “A Framework for Representing Knowledge.” In Readings in Knowledge Representation . Edited by R. Brachman, and H. Levesque. San Francisco, CA: Morgan Kaufmann, pp. 246-262. ISBN: 093461301X.
    Listed reading
  • Pauker, S. G., et. al. “Towards the Simulation of Clinical Cognition. Taking a Present Illness by Computer.” Chapter 6 in Readings in Medical Artificial Intelligence. Edited by W. Clancey, and E. Shortliffe. Reading, MA: Addison-Wesley, 1984. ISBN: 0201108542.
    Listed reading
  • Miller, et al. “Internist-1, An Experimental Computer-Based Diagnostic Consultant for General Internal Medicine.” In Readings in Medical Artificial Intelligence. Edited by W. Clancey, and E. Shortliffe. Reading, MA: Addison-Wesley, 1984, pp. 190-209. ISBN: 0201108542.
    Listed reading
  • Szolovits, P. “Uncertainty and Decisions in Medical Informatics.” Methods of Information in Medicine 34 (1995): 111-121.
    Listed reading
  • Heckerman, D., and M. Wellman. “Bayesian Networks.” CACM (March 1995): 27-30.
    Listed reading
  • Wellman, M., et. al. “From Knowledge Bases to Decision Models.” Knowledge Engineering Review 7, no. 1 (1992): 35-53.
    Listed reading
  • Dubois, D., and H. Prade. “What does Fuzzy Logic bring to AI?” ACM Computing Surveys 27, no. 3 (Sept 1995): 328-330.
    Listed reading
  • Elkan, C. “The Paradoxical Success of Fuzzy Logic.” The Proceedings of the AAAI (1993): 698-703, and Reply to Comments on the Paradoxical Success of Fuzzy Logic, IEEE Expert (August 1994).
    Listed reading
  • Corkill, D. “Blackboard Systems.” AI Expert 6, no. 9 (September 1991): 40-47.
    Listed reading
  • Erman, L. D., F. Hayes-Roth, V. R. Lesser, and D. R. Reddy. “The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty.” Computing Surveys 12, no. 2 (June 1980): 213-253. (Also appears in: Engelmore R. S., and A. M., eds. Blackboard Systems. pp. 503-518.)
    Listed reading
  • Nii, H. P. “The Blackboard Model of Problem Solving and the Evolution of Blackboard Architectures (Part One).” AI Magazine 7, no. 2 (Summer 1986): 38-53.
    Listed reading
  • ———. “Blackboard Application Systems and a Knowledge Engineering Perspective (Part Two).” AI Magazine 7, no. 2 (Summer 1986): 82-107.
    Listed reading
  • LEC #: 12 · TOPICS: Pragmatic Issues in Knowledge Acquisition · READINGS: Cooke, N. J. “Varieties of Knowledge Elicitation Techniques.” Int. J. Human-Computer Studies , no. 41 (1994): 801-849.
    Reading assignment
  • Hayes, P. “The Logic of Frames.” In Readings in Knowledge Representation. Edited by R. Brachman, and H. Levesque. San Francisco, CA: Morgan Kaufmann, pp. 287-296. ISBN: 093461301X.
    Listed reading
  • Shubert, L. “Semantic Nets are in the Eye of the Beholder.” In Principles of Semantic Networks. Edited by J. Sowa. San Francisco, CA: Morgan Kaufmann, 1991, pp. 95-107. ISBN: 1558600884.
    Listed reading
  • Davis, R., H. Shrobe, and P. Szolovits. “What is a Knowledge Representation?” AI Magazine 14, no. 1 (Spring 1993): pp. 17-33.
    Listed reading
  • Patil, R. S., P. Szolovits, and W. B. Schwartz. “Causal Understanding of Patient Illness in Medical Diagnosis.” In Readings in Medical Artificial Intelligence. Edited by W. Clancey, and E. Shortliffe. Reading, MA: Addison-Wesley, 1984, pp. 229-360. ISBN: 0201108542.
    Listed reading
  • Patil, R. S. “Artificial Intelligence Techniques for Diagnostic Reasoning.” Chapter 9 in Exploring Artificial Intelligence. Edited by H. E. Shrobe. San Francisco, CA: Morgan Kaufmann, 1988. ISBN: 0934613672.
    Listed reading
  • Simmons, R., and R. Davis. “Generate Test Debug.” International Joint Conference on Artificial Intelligence , 1987, pp. 1071-1078.
    Listed reading
  • Davis, R. “Diagnostic Reasoning Based on Structure and Behavior.” Artificial Intelligence Journal , no. 24 (Dec 84): 347-410.
    Listed reading
  • Davis, R., and W. Hamscher. “Model-Based Reasoning: Troubleshooting.” Chapter 8 in Exploring Artificial Intelligence . Edited by H. E. Shrobe. San Francisco, CA: Morgan Kaufmann, 1988. ISBN: 0934613672.
    Listed reading
  • Hamscher, W. “Temporally Coarse Representation of Behavior for Model-Based Troubleshooting of Digital Circuits.” International Joint Conference on Artificial Intelligence , Detroit, MI, 1989, pp. 887-893.
    Listed reading
  • Buy at MIT Press Kolodner, J. L., and D. B. Leake. “A Tutorial Introduction to Case-Based Reasoning.” In Case-Based Reasoning: Experiences, Lessons, and Future Directions . Edited by D. B. Leake. Cambridge: MIT Press, 1996, pp. 31-65. ISBN: 9780262621106. ↗
    Listed reading
  • Slade, S. “Case-Based Reasoning: A Research Paradigm.” AI Magazine (1991): 42-55.
    Listed reading
  • Hinkle, D., and C. Toomey. “Applying Case-Based Reasoning to Manufacturing.” AI Magazine (Spring 1995): 65-73.
    Listed reading
  • Koton, P. “A Medical Reasoning Program that Improves with Experience.” Los Angeles, CA: SCAMC Proceedings (1988): 32-37.
    Listed reading
  • Chi, R., et. al. “Generalized Case-Based Reasoning System for Portfolio Management.” Expert Systems with Applications 6 (1993): 67-76.
    Listed reading
  • Porter B., R. Bareiss, and R. Holte. “Concept Learning and Heuristic Classification in Weak-theory Domains.” Artificial Intelligence , no. 45 (1990): 229-263.
    Listed reading
  • Paltrinieri, M. “On the Design of Constraint Satisfaction Problems.” Second International Workshop on Principles and Practice of Constraint Programming (PPCP-94), 1994, pp. 299-311.
    Listed reading
  • Fox, M. S. “ISIS: A Retrospective.” In Intelligent Scheduling . Edited by M. Zweben and M. S. Fox. San Francisco, CA: Morgan Kaufmann, 1994, pp. 3-28. ISBN: 1558602607.
    Listed reading
  • Kumar, V. “Algorithms for Constraint-satisfaction Problems: A Survey.” AI Magazine (Spring 1992): 32-44.
    Listed reading
  • Forbus, K. D. “Qualitative Physics: Past, Present and Future.” Chapter 7 in Exploring Artificial Intelligence. Edited by H. E. Shrobe. San Francisco, CA: Morgan Kaufmann, 1988. ISBN: 0934613672.
    Listed reading
  • Minsky, M. “Commonsense-based Interfaces.” CACM (August 2000): 67-73.
    Listed reading
  • Singh, Barry, and Liu. “Teaching Machines about Everyday Life.” BT Technology Journal 22, no. 4 (2004): 227-240.
    Listed reading
  • Lieberman, Liu, Singh, and Barry. “Beating Common Sense into Interactive Applications.” AI Magazine 25, no. 4 (Winter 2004): 63-76.
    Listed reading
  • Uschold, and Gruninger. “Ontologies: Principles, Methods and Applications.” The Knowledge Engineering Review (1996): 93-136.
    Listed reading
  • Noy, and Hafner. “The State of the Art in Ontology Design.” AI Magazine (Fall 1997): 53-74.
    Listed reading
  • Gruber, and Olsen. “An Ontology for Engineering Mathematics.” Stanford KSL Report 94-18. Stanford University, 1994.
    Listed reading
Sources