Oct 1
what we did
Decided on who's doing what for presentations on today's practice - see notes from Tues.
Those presentations will be next Thu, Oct 8.
We will go over homework due next Tue on Tue - come ready to discuss / present.
I waved my hands at the AIMA logic.py which has examples
of Fol engine for Colonel West, among others.
After that, on to machine learning & the statistics stuff.
the plan
Go over Tuesday's notes.
Here are some problems to try:
The country Nono, an enemy of America, has some missiles.
All of its missiles were sold to it by Colonel West, who is American
Is West a Criminal?
Everyone who loves all animals is loved by someone.
Anyone who kills an animal is loved by no one.
Jack loves all animals.
Either Jack or Curiosity killed the cat, who is named Tuna.
Did Curiosity kill the cat?
TO DO :
Put into logic notation.
Show how automated reasoning gets conclusion.)
(Choices : forward or backward if definite,
resolution after cnf convert)
Put into one of the engines
(e.g. logic.py in python) and ask it.
See for example 9.5.3 in AIMA
