AIMSMART: Adaptive, Interactive MDA Semantic Model-based Articulation

We will develop automatic ontology-aligning software, leveraging the enormous existing Cyc AI system to drive the formulation and ranking (pro/con argumentation) of hypotheses about term-term relationships, especially where the relationship is not simple 1-to-1 correspondence. Multiple Cyc micro-theories (contexts) will be created, to hold incommensurate alternative mappings, and logical consequences within each will be checked for internal inconsistency with each other and scored for their accuracy of external predictions about data not yet integrated. Secondly, we will develop a suite of semi-automatic software power tools to help MDA users control, review/navigate, and correct the output of that automatic aligner. Each part (the automatic aligner and the alignment manager toolkit) will be built by augmenting Cyc's existing knowledge base, ontology, inference engine, and UI's, using MDA sources and MDA ground test planning tasks to drive the development and testing. GMU will spearhead liaising with MDA experts, and Cycorp will spearhead the Cyc extensions.