Calendar · Lecture Notes
MIT OpenCourseWare
Knowledge-Based Applications Systems
Art: Palmer, Edward, 1803-1872, Figures 113-123. Plate Electrical Machines, 1840 · Public domain
- Instructor
- Prof. Randall Davis
- Term
- Spring 2005
- Level
- Graduate
- What's inside
- 1 lecture note · 1 reading · 66 other files · 4 web pages
- Materials open
- MIT OCW
About this course
Source: MIT OpenCourseWare 6.871 Knowledge-Based Applications Systems, Spring 2005, Prof. Randall Davis — original course page on ocw.mit.edu ↗. License: CC BY-NC-SA 4.0. Study order: MIT's own listing order, section by section. Taken from MIT's published course files, downloaded from ocw.mit.edu on September 23, 2026. How RedLectern is built.
Materials are grouped the way MIT organized them. A verified, course-wide order has not been established here.
Before you start
Prerequisites are not listed here. Check MIT's own syllabus for this course.
How this course was organized
What's here, and what isn't
- A lecture sequence of 26 items is confirmed. Assignment and exam materials exist too, but MIT's own order for them could not be verified, so they're shown as materials below rather than a sequence.
Not included here
4 items from the source could not be safely included:
- MIT's page format for this item wasn't recognized clearly enough to place it safely. (3 items)
- Referenced in a table, but without MIT's own verified order, so it isn't used to claim a sequence.
Materials by section
Grouped by section, as MIT organized them. Not sequenced or ordered.
Lecture Notes
15 files
- Course Organization; Spirit of the Undertaking Download
- Tell it What to Know; Search Download
- Origins of KBS: MACSYMA and DENDRAL Download
- Application Analysis Case Study: Case Introduction Download
- Rule-Based Systems Download
- Semantic Nets Download
- Logic Download
- Frame-Based Systems Download
- Uncertain Reasoning, Models of Rationality Download
- Pragmatic Issues in Knowledge Acquisition Download
- Summary of Knowledge Representation Download
- Causal Reasoning Download
- Model-Based Reasoning Download
- Reasoning with Constraints Download
- Ontologies and Data Mining Download
Assignments
18 files
- Problem Set 1 Download
- This resource is a supporting file for problem set 1 (jscheme.jar) Download
- This resource is a supporting file for problem set 1 (smartsweeper.jar) Download
- Problem Set 2 Download
- This resource is a supporting file for problem set 2 (investjoshkbcustom.lisp) Download
- Joshua Reference Manual Download
- User’s Guide to Basic Joshua Download
- This resource contains problems based on reading assignment on smartwave: the wave-soldering expert… (written1.pdf) Download
- This resource contains 2 problems on MYCIN's task, and rule-based systems (written2.pdf) Download
- This resource contains 2 problems on Quillian's thought of system as an electronic dictionary (written3.pdf) Download
- This resource contains 2 problems on prolog (reading8.pdf) Download
- This resource contains 3 problems based on reading assignments on present illness program, logicist… (reading9.pdf) Download
- This resource contains 2 problems based on reading assignments "Varieties of Knowledge Elicitation… (reading12a.pdf) Download
- This resource contains 2 problems based on reading assignment on "The logic of frames", "Semantic… (reading13a.pdf) Download
- This resource contains 2 problems based on reading assignments on rule-based systems (reading14.pdf) Download
- This resource contains 3 problems on concept learning and heuristic classification in weaktheory… (reading16.pdf) Download
- This resource contains a problem based on the design of constraint satisfaction problems, ISIS: a… (reading17.pdf) Download
- This resource contains 2 problems on reading assignments on qualitative physics: past, present and… (reading18.pdf) Download
Projects
27 files
- Project Proposal Details Download
- Project Cautions Download
- Topics from Previous Years Download
- Project Progress Report 2 Download
- Project Progress Report 3 Download
- Shruti Chandrasekhar Download
- Ibrahim Tadros Download
- Ashwin Deshpande Download
- Meshkat Farrokhzadi Download
- Rodney Graham Download
- Abhra Haldar Download
- Abhra Haldar, “sEElect: An Expert… · Appendix Download
- Anon., “How to Score Free Drinks From… · Anon. Download
- Kia Javanmardian Download
- Appendix (file 1 of 2) Download
- Felix Santiago Download
- Appendix (file 2 of 2) Download
- Scott Ostler Download
- Anon., “Transit Advisor” · Anon. Download
- Edgar J. Terrero Download
- James Tolbert, II Download
- Timur Tokmouline Download
- Velin K Tzanov Download
- Jasper Vicenti Download
- Jasper Vicenti, “A Knowledge-Based… · Appendix Download
- Sumudu W. Watugala Download
- Victor L. Williamson Download
Other materials from this course
Course outline
Calendar · Lecture Notes
Lecture 2: Tell it What to Know; Search
Calendar · Lecture Notes
Lecture 3: Origins of KBS: MACSYMA and DENDRAL
Calendar · Lecture Notes
Lecture 4: Application Analysis Case Study: Case Introduction
Calendar · Lecture Notes
Lecture 5: Application Analysis Case Study: Class Discussion
Calendar · Lecture Notes
Lecture 6: Rule-Based Systems
Calendar · Lecture Notes
Lecture 7: Semantic Nets
Calendar · Lecture Notes
Lecture 8: Logic
Calendar · Lecture Notes
Lecture 9: Frame-Based Systems
Calendar · Lecture Notes
Lecture 10: Uncertain Reasoning, Models of Rationality
Calendar · Lecture Notes
Lecture 11: Blackboards
Calendar · Lecture Notes
Lecture 12: Pragmatic Issues in Knowledge Acquisition
Calendar · Lecture Notes
Lecture 13: Summary of Knowledge Representation
Calendar · Lecture Notes
Lecture 14: Causal Reasoning
Calendar · Lecture Notes
Lecture 15: Model-Based Reasoning
Calendar · Lecture Notes
Lecture 16: Case-Based Reasoning
Calendar · Lecture Notes
Lecture 17: Reasoning with Constraints
Calendar · Lecture Notes
Lecture 18: Reasoning about Physical Systems
Calendar · Lecture Notes
Lecture 19: Human Intelligence Project
Calendar · Lecture Notes
Lecture 20: Common Sense
Calendar · Lecture Notes
Lecture 21: Learning
Calendar · Lecture Notes
Lecture 22: Ontologies and Data Mining
Calendar · Lecture Notes
Lecture 23: Project Presentations and Discussion
Calendar · Lecture Notes
Lecture 24: Project Presentations and Discussion (cont.)
Calendar · Lecture Notes
Lecture 25: Project Presentations and Discussion (cont.)
Calendar · Lecture Notes
Lecture 26: Project Presentations and Discussion (cont.)
MIT OpenCourseWare, Prof. Randall Davis, 6.871 Knowledge-Based Applications Systems, Spring 2005.
License: CC BY-NC-SA 4.0 · Edition: Spring 2005 · Open the original course on OCW ↗
Organized by RedLectern, independent of MIT and not endorsed by MIT.
Per-resource rights are recorded on each resource; All-Rights-Reserved items are link-only, never mirrored.
