Oct 6
Discuss chapter 8, First Order Logic,
using the attached powerpoint.
For next week, read chapter 8 and if possible
continue into chapter 9 (inference in FOL).
Exercises (mostly from the textbook problems) will
be posted soon.
AIMA lisp logic
The (test 'all) gives an example of a horn-kb that understands
first order logic; however, things that you "tell" it must
be in horn form.
Here's a simple example :
$ clisp -M aima
> (setf kb (make-horn-kb)
> (tell kb '(Big George))
> (tell kb '(forall (x) (=> (Big x) (Tall x))))
> (ask-pattern "(Tall y)" "y")
GEORGE
There is a make-fol-kb function, but there isn't any
example of its use in the docs. My simple attempts at
using ask or ask-pattern failed.
in the news
![[paper clip]](/courses/source/wiki_images/paper_clip_tilt.png)
name last modified size