Active Logic
Through employing metareasoning, Active Logic is a flexible alternative to more traditional Artificial Intelligence systems. Because Active Logic is an application that tracks its reasoning, it is able to reason about its own inferences, and thereby recognize and recover from errors.
Project URL: