The Dimensions of Context-Space

摘要: Contexts have historically been either ignored completely or else treated as black boxes, indivisible atoms. About a decade ago, part of our work on building the l arge Cyc ® knowledge base human common sense and knowledge, group began to study harness internal structure that “atom”. Each context was said assumptions content; there theory importing assertions across contexts; contexts were fully reified first-class terms in CycL representation language; they partially ordered by specialization control visibility access so on. That 1989-91 turned out be inadequate: it too expensive do nontrivial lifting (importing); explicate each context; place assertion/query into proper context.