1. The Scientific Community Game for STEM Innovation and Education
Karl Lieberherr
Ahmed Abdelmeged

2. Idea: Use Scientific Community Model to focus scientific discourse
Scholars propose and oppose (refute or strengthen) or agree on claims.
Claims predict the outcome of a refutation protocol.
Parameterized by two structures: Domain and Claim.

3. Domain Instance (language) Solution (language) InstanceSet (language)
boolean valid(Instance)
[0,1] quality(Instance)
InstanceSet (language)
boolean valid()
boolean belongsTo(Instance)
boolean stronger(InstanceSet)
Response = Instance union Solution.

4. SCG(Domain) Protocol (fixed language) Claim(Domain)
boolean strengthen(Claim other) // other strengthens this
Domain.InstanceSet getInstanceSet()
Protocol getProtocol()
[0,1] getQuality()
[-1..1] getResult(List(Domain.Response))

5. Reputation zero-sum no upper bound just count wins
refutation and strengthen: difference in qualities
confidence

6. Claim InstanceSet Protocol Quality three strengthen(Claim c)
[-1..1] getResult(List (Response))
Quality
three strengthen(Claim c)

7. Bob win: + 1 * quality difference * ClaimConfidence
refute and strengthen have quality difference
defend: no quality difference
confidence

8. Both refutations are efficient
Claim: F unsatisfiable
!Claim
if refuted: Bob finds satisfying J; proof of !Claim.
If defended: baby step towards proof of Claim.
if refuted: Alice does not find satisfying J; baby step towards proof of !Claim.
If defended: proof of Claim.
Alice should never have made the claim!

9. Both refutations are efficient
!Claim:
Exists F in IS All J: fsat(F,J)<=t
Claim: F has J: fsat(F,J)>=t
All F in IS Exists J: fsat(F,J)>=t
if refuted: Bob finds J; proof of !Claim assuming Alice is perfect.
If defended: baby step towards proof of claim?.
if refuted: Alice does not find J; baby step towards proof of negated claim?.
If defended: proof of Claim if Bob is perfect.
Alice should never have made the claim!?

10. Designers SCG Domain Protocol
includes designing basic components for avatar like standard solvers. Example: HSR: linear search solver
Protocol
Playground: Goal: make playground designers configurators.

11. Designers: what they produce
SCG /scg
scg.cd, scg.beh
/protocol
Java classes: Singleton Pattern
Domain /domain
/hsr: hsr.cd, hsr.beh
/avatar (components for avatar)
Playground
config file: location of configuration file is given as argument to admin

12. Config Config = // to configure admin Example entries:
<scgCfg> SCGConfig
<domainConfigWrapper> Wrap(DomainConfigI).
Example entries:
domain CSP
claim 1: instanceSetClass protocolClass
claim 2: instanceSetClass !protocolClass
initialReputation = 100 …

13. Where can we find configuration settings
If there is a configuration file location given to the admin
in the configuration file
If not: the default value given in the code.