Reasoning with default information in artificial intelligence