of his theorem-prover was based on its unwillingness to draw "uninteresting" conclusions. Although OSCAR did not benefit from the contributions of a large number of professional programmers, it must be compared to CyC, Soar (cognitive architecture), and Novamente for its inventor's ambition.

Pollock described Oscar's main features as the ability to reason defeasibly about perception,change and persistence,