Next Steps?
Extend ASK to return a proof tree for explanations
Inference level for full frame system reasoning
- Include constraint checking from standard facets
Standard facets for Bayesian probabilities
- Using Daphne Koller’s formalism
Support n-ary relations
- Relational data base rather than frames?
Provide a semantics for defaults
Incorporate standard upper level ontology
Add commands for collaborating agents
E.g, like KQML’s advertise, broker, forward, monitor, broadcast, ...