support decision-making -- A class of stratified programs in autoepistemic logic of