6.905 Large-scale Symbolic Systems
Concepts and techniques for the design and implementation of large software systems that can be adapted to uses not anticipated by the designer. Applications include compilers, computer-algebra systems, deductive systems, and some artificial intelligence applications. Covers means for decoupling goals from strategy, mechanisms for implementing additive data-directed invocation, work with partially-specified entities, and how to manage multiple viewpoints. Topics include combinators, generic operations, pattern matching, pattern-directed invocation, rule systems, backtracking, dependencies, indeterminacy, memoization, constraint propagation, and incremental refinement. Students taking graduate version complete additional assignments.
This class has 6.034 as a prerequisite.
6.905 will not be offered this semester. It will be available in the Spring semester, and will be instructed by G. J. Sussman.
Lecture occurs 11:00 AM to 12:00 PM on Mondays, Wednesdays and Fridays in 4-261.
This class counts for a total of 12 credits.
© Copyright 2015 Yasyf Mohamedali