IM-RECIDE
Opportunistic Reasoning
|
Opportunistic
Reasoning
The simple fact of not being able to find a solution to a problem
doesn't mean that later, with extra information, it can't be found. This
is the reason to store in a pendent problems library all problems that
the system was unable to solve. These problems stay there, "waiting" for
new information.
The system stores each unsolved problem together with a name to identify
it and a set of solutions already presented to the user for this problem.
The name is given by the user and is used only to later identify the problem.
The set of solutions already presented are used to prevent the system from
presenting the same (wrong) solution for the problem twice.
There are four problem reactivation criteria. A problem is reactivated
when the system is about to store a new case and:
- the new case's situation description is equal to the new problem's,
except on the value of one attribute.
- the new case contains a complete explanation (relating to the new
problem)
- the new case contains an incomplete explanation (relating to the
new problem)
- the new case's situation description: is a subset of the problem's
description, OR contains the problem's description, OR is equal to the
problem's description except in one attribute, OR is equal to the problem's
description except in one attribute's value.
IM-RECIDE attempts to solve any reactivated problem. |