6.871: Knowledge Based Application Systems