SCG is about constructive beliefs 
and constructively challenging those beliefs.

http://www.csc.ncsu.edu/faculty/doyle/publications/cbrr89.pdf
Constructive Belief and Rational Representation

Seems to be a different notion of constructive belief?

=================
another perspective:
Constructive embarrassment is an excellent practice for finding those inaccurate beliefs about reality and dispelling them in one blow.

from:
http://www.scotthyoung.com/blog/2006/07/21/building-confidence-with-constructive-embarrassment/

SCG agents engage in constructive embarrassment.

SCG beliefs are formulated so that the protocol
is well defined about how to constructively challenge the beliefs.

A challenge language consists of a predicate language, 
a belief language for formulating beliefs and a protocol
defining an interaction to challenge those beliefs,
a profit-loss language, defining how the protocol outcome determines the profit  
or loss.

An offered challenge consists of a predicate,
defining a set F, a belief involving F, and a price.

A completed challenge consists of an offered challenge with 
the protocol outcome and the profit or loss.

We distinguish three different kinds of beliefs:
mathematical
secret
duel
beliefs.

A mathematical belief is of the form 
EA p
EAEA p
EAEAEA p
...
p is an atomic predicate. Could also be a boolean expression using the
approach from game semantics.
The challenge protocol consists of Alice finding the Exists objects
and Bob finding suitable objects to plug in to the For All parts.
If Bob negates p with his selection and Alice' objects, Bob wins.

A secret belief is of the form:
Alice believes Bob cannot discover her secret for problems in F. Alice gives Bob an object
in F for which Alice knows a secret solution of quality x.
The challenge protocol consists of Bob finding a solution
of quality >= x.

A duel belief is of the form:
Alice believes she is better than Bob.
Alice gives Bob k problems. Simultaneously, Bob gives Alice k problems.
Both solve the other's problems.
The belief is challenged (Bob wins), if he solves the problems 
with higher or equal quality than Alice.