What have I been doing? Chris Unsworth. Winning stuff :) Won best first year report award (the...

12
What have I been What have I been doing? doing? Chris Unsworth Chris Unsworth

Transcript of What have I been doing? Chris Unsworth. Winning stuff :) Won best first year report award (the...

Page 1: What have I been doing? Chris Unsworth. Winning stuff :) Won best first year report award (the others must have been shocking) –Judged by Mathew Round.

What have I been What have I been doing?doing?

What have I been What have I been doing?doing?

Chris UnsworthChris Unsworth

Page 2: What have I been doing? Chris Unsworth. Winning stuff :) Won best first year report award (the others must have been shocking) –Judged by Mathew Round.

Winning stuff :)• Won best first year report award

(the others must have been shocking)– Judged by Mathew Round – Managing

director at Amazon Development Centre Scotland

– £120 Amazon Voucher– Possible internship at Amazon :)

Page 3: What have I been doing? Chris Unsworth. Winning stuff :) Won best first year report award (the others must have been shocking) –Judged by Mathew Round.

Experiments• big empirical study on SM

– Included FT, bool, n+1 val, 4 val, SM2 &SMN models

– Instance sizes varied from 10 - 8000– Results reflected complexities

Page 4: What have I been doing? Chris Unsworth. Winning stuff :) Won best first year report award (the others must have been shocking) –Judged by Mathew Round.

Average Solve time to find GS-Lists varying n from 10 to 8000

0

20

40

60

80

100

120

140

0 1000 2000 3000 4000 5000 6000 7000 8000 9000

n

tim

e (

se

cs

)

FT

bool

DG1

DG2

SM2

SMN

EGS

Page 5: What have I been doing? Chris Unsworth. Winning stuff :) Won best first year report award (the others must have been shocking) –Judged by Mathew Round.

Average Solve time to find GS-Lists varying n from 100 to 1000

0

10

20

30

40

50

60

70

80

0 200 400 600 800 1000 1200

n

tim

e (

se

cs

)

bool

DG1

DG2

SM2

SMN

EGS

Page 6: What have I been doing? Chris Unsworth. Winning stuff :) Won best first year report award (the others must have been shocking) –Judged by Mathew Round.

Average Solve time to find GS-Lists varying n from 10 to 100

0

0.1

0.2

0.3

0.4

0.5

0.6

0.7

0 20 40 60 80 100 120

n

tim

e (

se

cs

)

FT

bool

DG1

DG2

SM2

SMN

EGS

Page 7: What have I been doing? Chris Unsworth. Winning stuff :) Won best first year report award (the others must have been shocking) –Judged by Mathew Round.

• Did I mention the award I got for my first year report?

Page 8: What have I been doing? Chris Unsworth. Winning stuff :) Won best first year report award (the others must have been shocking) –Judged by Mathew Round.

SMTI• Written SMTI2 & SMTIN

– Based on SM2 from SARA 05 and SMN from IJCAI 05 workshop

Page 9: What have I been doing? Chris Unsworth. Winning stuff :) Won best first year report award (the others must have been shocking) –Judged by Mathew Round.

Representing Ties• Flat preference list and a triple

• M1: 2 5 (4 1 3) 6

– M1: 2 5 4 1 3 6

– X1 : 1 2 3 4 5 6

– Rank(X1) : (1,1,1) (2,2,2) (3,3,5) (3,4,5) (3,5,5) (6,6,6)

Page 10: What have I been doing? Chris Unsworth. Winning stuff :) Won best first year report award (the others must have been shocking) –Judged by Mathew Round.

• Did I mention the award I got for my first year report?

Page 11: What have I been doing? Chris Unsworth. Winning stuff :) Won best first year report award (the others must have been shocking) –Judged by Mathew Round.

More Empirical stuff• Recreated the ECAI 02 study

– Haven't compiled the results yet :(– But only took 2 days to run instead of

2 months :)– Am planning to re-run with larger

instance sizes

Page 12: What have I been doing? Chris Unsworth. Winning stuff :) Won best first year report award (the others must have been shocking) –Judged by Mathew Round.

Future Work• Write SM journal paper• Write SMTI conference paper• Write HR journal paper• Write an award winning second

year report :) – (did I mention I won an award for my

first year report?)