Showing cs.AIShow all
2 papers · 1 filter
cs.AI2000
Implementing Integrity Constraints in an Existing Belief Revision System
Frances L. Johnson, Stuart C. Shapiro
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 cont…
cs.AI2000
Automatic Belief Revision in SNePS
Stuart C. Shapiro, Frances L. Johnson
SNePS is a logic- and network- based knowledge representation, reasoning, and acting system, based on a monotonic, paraconsistent, first-order term logic, with compositional intens…