This preview shows pages 1–3. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: CSCI 460 Introduction to Artificial Intelligence Fall 2007 Project 3: Inferences in First-Order Logic Due: November 21, 2007 1 Introduction In this project, we will use the Wumpus World environment to illustrate var- ious concepts about Artificial Intelligence and intelligent agents. In this project, you will utilize Jess to represent knowledge about the Wumpus World and to reason about it. 2 The Wumpus World The basic setup for this project is the Wumpus World as introduced in Chap- ter 7.2 of our textbook Artificial Intelligence: A Modern Approach and in our class slides of first order logic. 3 Jess FOL Inference Engine This project requires you to use a first-order logic inference engine in Java called Jess that uses CLIPS syntax. Jess is available for download from Sandia ( http://herzberg.ca.sandia.gov/jess/ ). Install the trial version, and/or request a license to use it longer. We recommend you to download version 7.0, (the stable version). Once you have installed it, read the documentation 1 under Jess70p2/docs/index.html- mostly the Introduction , Jess Language , and Programming in the Jess Language . Try to run some examples files in the examples directory. For example, to run the Monkey and Bananas example: Start Jess from Jess70p2/lib folder: > java -classpath jess.jar jess.Main Load the CLIPS file Jess70p2/examples/jess/fullmab.clp : Jess, the Rule Engine for the Java Platform Copyright (C) 2006 Sandia Corporation Jess Version 7.0p2 10/21/2007 This copy of Jess will expire in 29 day(s). Jess> (batch ../examples/jess/fullmab.clp) Monkey jumps off the green-couch onto the floor. Monkey walks to t2-2. Monkey climbs onto the red-couch. Monkey climbs onto the big-pillow. Monkey grabs the red-chest. Monkey throws the red-chest off the big-pillow onto the floor. Monkey jumps off the big-pillow onto the floor. Monkey walks to t1-3. Monkey grabs the red-key....
View Full Document
This note was uploaded on 09/10/2008 for the course CS 460 taught by Professor Svenkoenig during the Fall '08 term at Urbana.
- Fall '08