• multiple outputs (to handle multiple defaults)
• forward chaining (e.g., by rebroadcasting)
• extension to other spaces (e.g., continuous)
• better characterization of conflicting defaults
• representation language (attribute-value language
limited) and generalization
• source, form, generation and use of prior
knowledge