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 of information.

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)