  A reason maintenance system which extends an ATMS through Mukaidono's fuzzy
logic is described. It supports a problem solver in situations affected by
incomplete information and vague data, by allowing nonmonotonic inferences and
the revision of previous conclusions when contradictions are detected.
