nov 5
midterm projects
- alec - "notable neighbors"
- richard -
- prolog, textbook "west missles" problem
- abe
- snark engine
- hat guessing problem
- not done yet
- isaac
- implementation of CNF and resolution in FOL in Haskell
- Ben
- opencyc exploration ... coming
finish bayes discussion
- Jim's simple (but overblown) example in lisp (see attached)
text classification (i.e. spam filters)
- http://en.wikipedia.org/wiki/Naive_Bayes_classifier
- Richard: tracing in lisp
- outline text classification algorithm
- caveats
- bayes for P(spam|word_x) is commonly
- ... but many ways to combine these are used in practice
- ... not to mention variety of other real-world issues such as
- words that are appear infrequently, or in one classification but not other
- header and subject line