A Possibilistic Assumption-Based Truth Maintenance System with Uncertain Justifications, and its Application to Belief Revision

@inproceedings{Dubois1990APA,
  title={A Possibilistic Assumption-Based Truth Maintenance System with Uncertain Justifications, and its Application to Belief Revision},
  author={Didier Dubois and J{\'e}r{\^o}me Lang and Henri Prade},
  booktitle={Truth Maintenance Systems},
  year={1990}
}
possibilistic model, both changes of weights or labels lead to almost no more computations than in De Kleer's original model. Lastly, the other models cannot handle disjunctions of assumptions ; besides, Provan's model needs to consider the assumptions as independent as long as they are not mutually exclusive (i.e. not containing any nogood). Possibilistic ATMS do not require this assumption, and can handle disjunctions of assumptions, as well as negated assumptions. In summary, possibilistic… CONTINUE READING
Highly Cited
This paper has 35 citations. REVIEW CITATIONS
20 Citations
0 References
Similar Papers

Similar Papers

Loading similar papers…