The project of formalizing common-sense knowledge and reasoning raises many new considerations in epistemology and also in extending logic. The role that the following ideas might play is not clear yet.
