[Cs5500] Learning from history

[Karl Lieberherr]

The SmartHistory class that Tuba and Nanda are working on for the community
auditor will get a second central use:we want the avatars to be better
informed about what happened in the past. We give them access to a
SmartHistory-object.
This opens the opportunity for more intelligent behavior. When you defend a
claim, it is useful to see past defenses or refutations for that claim.

For example, we give them a SmartHistory-object for the most recent
defenses of claims in the current welfare claims. Or we give them access to
the SmartHistory-object of an entire tournament as it is evolving.

Questions:
What is the best way to make a SmartHistory-object available
to an avatar?

What is the "return-on-investment" for this feature?

What information should be put into the smart history?

To be discussed in class: Analysis, Design, Implementation.

-- Karl


---------- Forwarded message ----------
From: <tkoc at ccs.neu.edu>
Date: Sat, Nov 12, 2011 at 9:19 PM
Subject: Re: [Cs5500] urgent task: community auditor
To: Karl Lieberherr <lieber at ccs.neu.edu>
Cc: nanda bhat <n89_nanda at hotmail.com>


Hi Prof,

I have attached the current cd file.

Best,

Tuba


----- Original Message -----
From: "Karl Lieberherr" <lieber at ccs.neu.edu>
To: "Tugba Koc" <tkoc at ccs.neu.edu>
Cc: "nanda bhat" <n89_nanda at hotmail.com>
Sent: Saturday, November 12, 2011 5:08:30 PM GMT -05:00 US/Canada Eastern
Subject: Re: [Cs5500] urgent task: community auditor

Hi Tuba:

Excellent solution.
I was about to send you a reply but you have correctly solved the issue. I
planned to write: Compare with:

Claim =  <instanceSetWrapper> RWrap(InstanceSetI) <protocolWrapper>
RWrap(ProtocolI) <quality> double *s <confidence> double.
SolveRequest = "solve" *s <instanceWrapper> RWrap(InstanceI) <claim>
Option(Claim).
ProvideResponse = "provide" *s <instanceWrapper> RWrap(InstanceI).
SolveResponse = "solve" *s <solutionWrapper> RWrap(SolutionI).

In all those class definitions we have an abstraction level jump from the
SCG level to the Playground level.

Opt should have been Option and is defined by:

 nogen Option(X)= Some(X) | None(X).
 nogen Some(X)  = <just> X.
 nogen None(X)  = .

Please send me the current .cd file.

-- Karl



On Sat, Nov 12, 2011 at 2:46 PM, Tugba Koc < tkoc at ccs.neu.edu > wrote:


Hi Prof. Karl,

We made some changes in cd file.

We changed Instance to RWrap(InstanceI) and Solution to RWrap(SolutionI).

Provide = "provided" "instance" "by" <scholar> Scholar  "instance" <i>
RWrap(InstanceI).
Solve = "solution" "by" <scholar> Scholar "solution" <s> RWrap(SolutionI).

In addition, in AgreementHistory there were two RefutationHistory fields.
One of them was Opt(ReputationHistory). I couldn`t quite understand that
part. But for now, I removed that part (I thought that it may be optional)
and I changed AgreementHistory like below:

AgreementHistory = "agree" <r1> RefutationHistory
 "result" <result> Result.

We generated java code and we will continue with implementation of audit
method.


Best,

Tuba
-------------- next part --------------
HTML attachment scrubbed and removed
-------------- next part --------------
nogen include "../scg/scg.cd";

package communityAuditor;

import scg.*;


SmartHistory = "smart" "history" <processedClaims> List(ClaimHistory).
ClaimHistory = "claim" <claim> Claim "proposer" <proposer> Scholar 
  "opposer" <opposer> Scholar 
  <h> HistoryKind 
  "reputation" "proposer" "after" <proposerAfter> Scholar
  "reputation" "opposer"  "after" <opposerAfter> Scholar
  <kickActions> List(KickAction). 
KickAction = "scholar" "kicked" <scholar> Scholar <reason> Text.
Scholar = <name> ScholarName <rep> Reputation.
ScholarName = <name> String.
Reputation = <rep> Double.

HistoryKind = RefutationHistory | StrengtheningHistory | AgreementHistory.

RefutationHistory = "refute" <steps> List(ProvideSolve) "result" <result> Result.
Result = Successful | Unsuccessful.
Successful = "successful". 
Unsuccessful = "unsuccessful".
ProvideSolve = Provide | Solve.
Provide = "provided" "instance" "by" <scholar> Scholar  "instance" <i> RWrap(InstanceI). 
Solve = "solution" "by" <scholar> Scholar "solution" <s> RWrap(SolutionI).

StrengtheningHistory = "strengthen" <r> RefutationHistory
  "result" <result> Result.

AgreementHistory = "agree" <r1> RefutationHistory <r2> Option(RefutationHistory)
  "result" <result> Result.

Text = <v> verbatim.