oct 15
homework
- Go over homework; see attached
- discuss what's coming next
- logic project in 2 weeks
- finish logic in same time frame
- discuss wumpus world in FOL
SNARK
- demo SNARK and my simplified interface to it
$ cd /var/www/cs/htdocs/courses/fall2007/ai/code/theorem_provers/
$ clisp -M kb.mem -m 200MB
*** clisp + aima + snark + jim's simple kb ***
[1]> (load "curiosity_cat" :verbose nil) ; pg 299
T
[2]> (ask '(kills curiosity tuna))
T
[3]> (ask '(kills john bob))
nil
other systems
automated inference in FOL
- (didn't get this far in class)
- like propositional logic, but with variables
- unification : "forall x" is "x which matches anything else"
- skolemize : "exists y" is "Y" with new constant
![[paper clip]](/courses/source/wiki_images/paper_clip_tilt.png)
name last modified size