Autoepistemic logic as a unified basis for nonmonotonic reasoning