a big apple a day...
Mood: cheerful
Posted on 2007-08-23 10:21:00
Tags: cluesolver
Words: 207

(can't think of any other aphorisms with "apple"...I'm open to suggestions...)

NYC trip today - for some reason I wasn't really excited about it earlier this week (generally kinda blah), but I'm really looking forward to it. Train trips are fun!

As Fire Joe Morgan points out, the Orioles lost to the Rangers 30-3 (after being up 3-0)...and the Rangers pitcher earned a save.

I've been stalling on my clue solver because the first-order logic stuff isn't working out. One problem is that I chose to define equality as any old relation (adding the rules "Eq(x,x)", "Eq(x,y)=>Eq(y,x)", "(Eq(x,y)&Eq(y,z))=>Eq(x,z)" and rules for every other function that equality preserves it), but this makes the resolver build up a huge list of useless sentences.

So I've been thinking about it, and I think I am going to go the more propositional route, since there are a very small number of people and cards, and using relations like "Player(x)" and "Card(x)" leads to more complicated sentences and seems to give the resolver trouble. I'd still like a concise way to maybe specify the first-order logic rules using those relations but then expanding them out to all the possibilities, but this seems tricky at best. I'll think about it on the train trip :-)


4 comments

Comment from omega697:
2007-08-23T12:49:23+00:00

Have you thought about using some sort of probabilistic method instead of proving everything?

Comment from gregstoll:
2007-08-23T14:21:14+00:00

Ooh! This is great - I could do some kind of Monte Carlo simulation of the distribution of cards. Good idea!

Comment from copperwolf:
2007-08-23T21:45:17+00:00

What? You'll be in NYC? Wanna meet for lunch or something?

Comment from gregstoll:
2007-08-26T18:23:43+00:00

Damn! Curse my infrequent LJ checking...

This backup was done by LJBackup.