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-lineeyefacebookfolderfullheartglobegmailgooglegroupsimageimagesinstagramlinklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1outlookpersonJoin Group on CardStartprice-ribbonImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruseryahoo

Let's start logical agents (AIMA ch. 7).

In chapter 7, we get to apply constraint satisfaction to propositional logic, theorem proving and logical agents.

Let's talk about the chapter and cull some interesting problems to entertain us for the next few weeks.

Join or login to comment.

  • Peter D.

    Never got around to talking about logical agents; had a good time, anyway. Thanks, Ethan, for talking about strongly connected components; we also experienced a Clojure introduction and had an extended discussion about the corner cases involving dynamically and lexically scoped variables.

    August 6, 2013

  • Ryan H.

    Thanks to Peter for the presentation on Clojure. Apologies to Peter for the barrage of technical questions and demands that he justify every line of the demo!

    2 · August 6, 2013

    • Peter D.

      No, man; that was fantastic. Thanks, you guys, for the engaging discussion; it forced us to think about some of the corner cases involving dynamically and lexically scoped variables in Clojure.

      Clojure is rife with those kinds of corner cases, which is probably an artifact of its promiscuous relationship with the JVM.

      August 6, 2013

  • Ryan H.

    I realize I didn't give a very good intuition about Logic Programming. I'll try to go into more detail next week, but in the meantime I have the first draft of a blog on the subject. I placed it onto my nearly abandoned website:

    August 6, 2013

  • Arlen H.

    Actually looks like I won't be able to make it but I will try.

    August 4, 2013

5 went

People in this
Meetup are also in:

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