Truth Maintenance in Approximate Reasoning

作者: Bruno Fringuelli , Stefano Marcugini , Alfredo Milani , Silvano Rivoira

DOI: 10.1007/3-540-54712-6_256

关键词:

摘要: 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, allowing nonmonotonic inferences the revision of previous conclusions when contradictions are detected.

参考文章(15)
Henri Prade, Jérǒme Lang, Didier Dubois, Handling uncertain knowledge in an ATMS using possibilistic logic Methodologies for intelligent systems, 5. pp. 252- 259 ,(1991)
Gregory M. Provan, An analysis of ATMS-based techniques for computing Dempster-Shafer belief functions international joint conference on artificial intelligence. pp. 1115- 1120 ,(1989)
David A McAllester, An Outlook on Truth Maintenance. ,(1980)
Brian Falkenhainer, None, Towards a General-Purpose Belief Maintenance System Uncertainty in Artificial Intelligence. ,vol. 5, pp. 125- 131 ,(1988) , 10.1016/B978-0-444-70396-5.50017-0
João P. Martins, Stuart C. Shapiro, A model for belief revision Artificial Intelligence. ,vol. 35, pp. 25- 79 ,(1988) , 10.1016/0004-3702(88)90031-8
Jon Doyle, A truth maintenance system Artificial Intelligence. ,vol. 12, pp. 231- 272 ,(1979) , 10.1016/0004-3702(79)90008-0
Kathryn Blackmond Laskey, Paul E. Lehner, Assumptions, beliefs and probabilities Artificial Intelligence. ,vol. 41, pp. 65- 77 ,(1989) , 10.1016/0004-3702(89)90078-7
R. R. Yager, Fuzzy set and possibility theory systems man and cybernetics. ,vol. 14, pp. 169- 169 ,(1984) , 10.1109/TSMC.1984.6313283
Bruce D'Ambrosio, A hybrid approach to reasoning under uncertainty International Journal of Approximate Reasoning. ,vol. 2, pp. 29- 45 ,(1988) , 10.1016/0888-613X(88)90004-7
Masao Mukaidono, Zuliang Shen, Liya Ding, Fundamentals of fuzzy prolog International Journal of Approximate Reasoning. ,vol. 3, pp. 179- 193 ,(1989) , 10.1016/0888-613X(89)90005-4