[Cs5500] Community Auditor

[Karl Lieberherr]

Hi Tuba:

do the attached slides explain how agreement works?

The reason why I made the second optional is that if during the first
refutation protocol there is a game violation, we don't need the
second
refutation protocol.

But our users (the undergrads) might not agree with this rule. They
would probably say that the second refutation protocol should also be
enacted
and if it also creates a game violation the agreement is not
successful but nobody wins.

Srinivas and Ahmed are implementing agreement: Srinivas please send a
status report to the class.

-- Karl

On Fri, Nov 18, 2011 at 9:28 PM,  <tkoc at ccs.neu.edu> wrote:
> Hi Prof. Karl,
>
> We have almost implemented all the rules except valid function for InstanceI. We got the instance and solution using getWrapee() method on RWrap, but when we call valid method on instance, we need two parameters which are SolutionI and Config. How can we access config? Haoran told us they will write config and we can parse from there.
>
> And also we are confused about agreement. As you told Agreement includes two refutation attempts, but according to the cd file the second refutation is optinal and we have never seen a situation in old smart history files where agree action has two refutation attempts.
>
> Our understanding is agreement must include "r1". "r2" is optinal (which is the refutation for negated claim).
>
> If agreement has only r1 and is successful, refutation r1 should be unsuccessful (Bob should defend C against Alice successfully). In this case, if Bob cannot defend C successfully, he will lose point. If he could, reputations won`t change.
>
> What will be the scenario if agreement has both r1 and r2?
>
> I have attached current cd file, a file that we made up sentences (we copied instance and solution samples from old smart history files just to be able to parse them correctly) and java file for audit method. Agreement doesn`t work properly for now. We didn't test it. In sentences file, last three claim histories have violations and audit method printed those violations. I have also attached result file that has the output of audit method.
>
> Best,
>
> Tuba
-------------- next part --------------
A non-text attachment was scrubbed...
Name: SCG-Spec.ppt
Type: application/vnd.ms-powerpoint
Size: 1263616 bytes
Desc: not available
Url : http://lists.ccs.neu.edu/pipermail/cs5500/attachments/20111119/a5ce8178/attachment-0001.ppt