Log in

No account? Create an account
a big apple a day... - Greg [entries|archive|friends|userinfo]

[ website | gregstoll.com ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

[Links:| * Homepage * Mobile apps (Windows Phone, Win8, Android, webOS) * Pictures * LJBackup * Same-sex marriage map * iTunesAnalysis * Where's lunch? ]

a big apple a day... [Aug. 23rd, 2007|10:21 am]
[Current Mood |cheerfulcheerful]

(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 :-)

[User Picture]From: omega697
2007-08-23 05:49 pm (UTC)
Have you thought about using some sort of probabilistic method instead of proving everything?
(Reply) (Thread)
[User Picture]From: gregstoll
2007-08-23 07:21 pm (UTC)
Ooh! This is great - I could do some kind of Monte Carlo simulation of the distribution of cards. Good idea!
(Reply) (Parent) (Thread)
[User Picture]From: copperwolf
2007-08-24 02:45 am (UTC)
What? You'll be in NYC? Wanna meet for lunch or something?
(Reply) (Thread)
[User Picture]From: gregstoll
2007-08-26 11:23 pm (UTC)
Damn! Curse my infrequent LJ checking...
(Reply) (Parent) (Thread)