Section II Detailed Proposal Information

• Abstract
  • Milestones/Schedule
    • Foundation Building
    • Challenge Problems
• Technical Rationale
  • Formalized context
    • Basic Properties of the Formal Theory of Context
    • Lifting and Translation
    • Specializing Context
    • Relations on Contexts
    • Application to Natural Language Databases
    • Planning Applications
    • Barriers
  • Elaboration tolerance
    • Language Non-monotonicity
  • Other Foundational Research
    • Cartesian Belief Revision
    • Mental States
  • Challenge Problems
    • MYCIN
    • Cyc
    • Elaboration Tolerance
• References
• About this document ...