ResPubID5369 expert system, assumption based truth maintenance system, ATMS, model based reasoning DSS, inference engine, query handler, scenario instantiator