Comparing formal theories of context in artificial intelligence