Populating the LIBRA Library
Broad set of basic methods, building on:
- EXPECT’s current primitive methods
- KADS primitive inferences
- basic math operations, set operations, etc.
Macro-components, drawing from:
- Well-known problem-solving methods
- Existing libraries of problem-solving methods
- CommonKADS library, PROTEGE’s library, etc.
- Methods relevant to challenge problems
- Methods relevant to HPKB application areas
Collaborate with other DARPA programs (PDA, JFACC) & other projects within HPKB (Musen)