Computer Science – Artificial Intelligence
Scientific paper
2000-03-08
Computer Science
Artificial Intelligence
8 pages, for the Belief Change Workshop at NMR2000 colocated with KR2000
Scientific paper
SNePS is a mature knowledge representation, reasoning, and acting system that has long contained a belief revision subsystem, called SNeBR. SNeBR is triggered when an explicit contradiction is introduced into the SNePS belief space, either because of a user's new assertion, or because of a user's query. SNeBR then makes the user decide what belief to remove from the belief space in order to restore consistency, although it provides information to help the user in making that decision. We have recently added automatic belief revision to SNeBR, by which, under certain circumstances, SNeBR decides by itself which belief to remove, and then informs the user of the decision and its consequences. We have used the well-known belief revision integrity constraints as a guide in designing automatic belief revision, taking into account, however, that SNePS's belief space is not deductively closed, and that it would be infeasible to form the deductive closure in order to decide what belief to remove. This paper briefly describes SNeBR both before and after this revision, discusses how we adapted the integrity constraints for this purpose, and gives an example of the new SNeBR in action.
Johnson Frances L.
Shapiro Stuart C.
No associations
LandOfFree
Implementing Integrity Constraints in an Existing Belief Revision System does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Implementing Integrity Constraints in an Existing Belief Revision System, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Implementing Integrity Constraints in an Existing Belief Revision System will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-653642