It's time to kill the Wumpus (AIMA ch. 7).

We've been at logical agents for a few weeks, and it's time to
deliver; here's an example from the AIMA Lisp code for telling a
knowledge base about the Wumpus world and asking questions:

"Use the KB to solve the `Wumpus at [1,3]' problem [p 174-176]."
"This builds a KB with 12 propositional symbols -- about the max."
"you can do without starting to slow down."
((setq kb1 (make-prop-kb)))
"The initial state of knowledge"
((tell kb1 "~S11 ^ ~S21 ^S12 ^ ~B11 ^ B21 ^ ~B12"))
"Rules R1 through R4"
((tell kb1 "~S11 => ~W11 ^ ~W12 ^ ~W21"))
((tell kb1 "~S21 => ~W11 ^ ~W21 ^ ~W22 ^ ~W31"))
((tell kb1 "~S12 => ~W11 ^ ~W12 ^ ~W22 ^ ~W13"))
((tell kb1 "S12 => W13 | W12 | W22 | W11"))
"Now the query -- this may take a while."
((ask kb1 "W13") *)

See page 270 for a hybrid logical-A* agent. I'll try to use my DPLL
solver and Ryan may try to use core.logic (i.e. mini-Kanren).

Join or login to comment.

  • Ryan H.

    Hey guys, here's Byrd's thesis as promised. He goes into detail on the full implementation of core miniKanren. It's pretty eye opening stuff.

    Also, here's a video I'm watching on Datomic from Hickey. In it he describes how a subset of Prolog called Datalog is used internally. It would be interesting to find out if there's any overlap between core.logic and Datomic, or if there will be a natural interplay between the two projects for logic programming in a dynamic environment with a relatively large set of facts.

    October 8, 2013

    • Peter D.

      Fantastic; I was always hoping that Michael would hop on Datomic.

      October 9, 2013

  • Patrick N

    May be of interest since I know some of you are considering getting Google Glass:

    October 7, 2013

    • Peter D.

      Sweet; thanks, Patrick.

      October 7, 2013

  • Patrick N

    Do you guys remember if Tony set up the game board such that it's a 4x4 grid as described in AIMA?

    October 4, 2013

    • Peter D.

      It's 5 x 5 by default, I think, though you can specify 4 x 4 board like this:­i/board/new/4/4.

      October 5, 2013

6 went

People in this
Meetup are also in:

Imagine having a community behind you

Get started Learn more

I started the group because there wasn't any other type of group like this. I've met some great folks in the group who have become close friends and have also met some amazing business owners.

Bill, started New York City Gay Craft Beer Lovers

Start your Meetup today

Act now and get 50% off.
Until February 1.

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