|
Abstract : |
Away of producing beliefs in non-monotonic systems, called Plausible World Assumption (PWA),ispresented. PWA has certain advantages compared to Negation as Failure, CWA, GCWA. The PWA provides beliefs for all atoms of the Herbrand base of a given system leaving no one of them undefined. Most of the assumptions agree with the majority of the system models,and so have a good chance to be approved bythe reality. Westudy a notion of relative monotonicity, and show that under PWA asystem possesses a high degree of this desirable feature in the sense that most of its beliefs are not affected by any change of other ones. 1, |
