Bringing resources into logic

A definition is presented of LORE, a logic with four values, the traditional truth values T and F and two unknown values that permit differentiation between knowing that nothing is known and no knowing (with the available resources) whether anything is known. The purpose of developing this logic is to use it to guide an artificial intelligence system. In this kind of system one is engaged in a type of `perpetual proof´, during which propositions are told to the system and the system goal is to answer questions from a user. A computer based on LORE has the capability of remembering all the paths followed during an attempt to answer a question. For each path it records the used hypotheses, the missing hypotheses (when the path has not led to an answer), and why they are assumed missing. An inference system with these capabilities can report answers found and reasons that preventing the inference of other potential answers