LOGICS FOR NONMONOTONIC REASONING
Because monotonicity is fundamental to the definition of first-order predicate logic, we are forced to find some alternative to support nonmonotonic reasoning. In this section,we lookn at several formal approaches to doing this. We examine several because no single formalism with all the desired properties has yet emerged . In particular, we would like to find a formalism that does all of the following things:
* Define the set of possible world that could exists given the facts that we do have.
* Provides a way to say that we prefer to believe in some models rather than others.
* Corresponds to our intuitions about how this kind of reasonings works.
No comments:
Post a Comment