Predicate Logic:
So far we have used complete, consistent, and unchanging (monotonic) models of the world.
Reasoning involves manipulating a set of beliefs
often incomplete and/or inconsistent
..
* Godel's Incompleteness Theorem-
Logics dealing with Uncertainty:
* nonmonotonic - allows deletion of statements
* probabilistic reasoning - likelihoods (Bayes often used in medical diagnosis)
* fuzzy logic - Zadeh - continuity (time and space)
* belief spaces -(each individual lives in own world)
Most probable choice: in the absence of information, we choose the most likely
Most dogs have tails
Most people like flowers