Jason (jcreed) wrote,

Automated theorem proving talking about first-order stuff now. I am finding it hard to pay attention. I think I might have gotten a little sick of residuated unification problems writing the LICS submission.

Getting increasingly excited about the AI homework, though. It's a cute problem. We're given some made-up data of sensors in a house, and we're supposed to provide a model of people walking around in the house to explain it. Just an HMM problem, really, but I heard a lot about HMMs at WhizBang, and never got an excuse to get my hands dirty.

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 1 comment