SATEN is an intelligent object-oriented web-based information
management system. It provides an information extraction engine and
methods for iterated belief revision. It can also perform nonmonotonic
reasoning, possibilistic reasoning, and hypothetical reasoning.
Information extraction involves the recovery of a consistent
knowledge base base from an inconsistent one using a user specified ranking
Iterated Belief Revision is used to incorporate new information into
a knowledge base even if the new information is inconsistent with the
information in the knowledge base.
(This site is currently under reconstruction! Last
updated January 10, 2006)