Epistemic Cognition — first pass
*beliefs* — global variable
- (proclaim '(special *beliefs* *new-beliefs* *cycle*))
cognize-epistemically
- start with a set *beliefs* which have been previously adopted, and a set *new-beliefs* provided by perception.
- expand the set *new-beliefs* by repeatedly making inferences from the existing *new-beliefs* (using *beliefs*) and adding the new conclusions to *new-beliefs*.
- As each member of *new-beliefs* is used in making inferences, insert it into *beliefs*. (Not doing it earlier avoids duplicate inferences.)
- We must keep track of which new beliefs have been used for making inferences, and which have not. unprocessed-beliefs will be those members of *new-beliefs* not yet passed to epistemic cognition.
- When cognize-epistemically finishes, unprocessed-beliefs will be empty and *new-beliefs* will be passed to cognize-practically.