結果 : what is default reasoning in ai