Context in Artificial Intelligence
Guha & Lenat (1991): Contexts are microtheories.
Giunchiglia (1992) : making reasoning local
McCarthy (1993) : extension of Logic by ist(C, P) formula
Sowa (1992, 2000): extension of conceptual graphs
Experts state knowledge in a specific context as a triplet (problem, context, solution), but the knowledge engineer acquires the knowledge, not the specific context as a couple (problem, solution) for generalization purpose .