addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgooglegroupshelp-with-circleimageimagesinstagramlinklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahoo

Let's represent axioms and relations (AIMA ch. 7).

We got an intuition last time for how agents reason and plan with a combination of atemporal axioms about the physics of the world plus so-call fluents captured by percepts at time t.

Let's see if we can't represent axioms and relations in such a way that we can implement the Ask and Tell operations against a knowledge base.

Join or login to comment.

  • A former member
    A former member

    Sorry, I won't make it tonight. I started a new job today, and it's been a much longer day than I expected, so I'm still here.

    I looked into first-order logic solvers and it looks like ACL2, which is an extension of applicative LISP is the best candidate for us since it's free and can be run as a part of a web server backend. I'll write up everything I wanted to present today on ACL2 and post it here during the week.

    Again, I apologize that I couldn't make it.

    September 9, 2013

    • Peter D.

      No problem; hope to see you next week. Did you have any time to research implementing SAT-solvers?

      September 9, 2013

  • A former member
    A former member

    I'm fine with either.

    August 28, 2013

  • Michael M.

    I'm here.

    August 27, 2013

  • Peter D.

    What do you guys think about Labor Day, by the way? Tentatively scheduled this one for the 9th, in case people are out of town; if people are down, though, we can do it on the 2nd.

    August 27, 2013

7 went

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy