Abstract
The notion of uncertain belief revision systems (UBRS) is introduced as an extension of assumption-based truth maintenance systems (ATMS) to a many valued logic.
In this framework, some results relative to the many-valued implication p⇋q equivalent to notpvq are considered.
Problems arising when different implication functions are defined in many valued logic are then discussed and some steps of a research development are described.
This paper has been supported by C.N.R. through P.F. Robotica-contratto di ricerca No 89.00556.67.
A partial support by: M.U.R.S.T.-40%, "Tecniche di ragionamento automatico in sistemi intelligenti" is also acknowledged.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Bobrow D.G. & Hayes P.J. (eds) (1985), A.I. — Where Are We?, Artificial Intelligence 25, 375–415.
A.L. Brown, D.E. Gaucas, D. Benanav (1987), An Algebraic Foundation for Truth Maintenance, Proc. 10th IJCAI, Milano, 973–980.
Doyle J.(1979), A Truth Maintenance System, Artificial Intelligence 12, pp. 231–272.
de Kleer J. (1986a), An Assumption-based TMS. Artificial Intelligence 28, pp. 127–162.
de Kleer J. (1986b), Problem solving with the ATMS. Artificial Intelligence 28, pp. 197–224.
Lee R.C.T.(1972), Fuzzy Logic and the Resolution Principle, Journal of A.C.M. 19, 109–119.
Mukaidono M. (1982), Fuzzy Inference of resolution style, in "Fuzzy Sets and Possibility Theory", R.R. Yager (ed), Pergamon Press, New York, 224–231.
Mukaidono M. et al. (1989), Fundamentals of Fuzzy Prolog, International Journal of Approximate Reasoning, 3, 179–193.
Reinfrank M., de Kleer J., M.L. Ginzberg, E. Sandewall (Eds) (1989), Nonmonotonic reasoning, Springer Lecture Notes in A.I., vol. 346.
Reiter R. (1987), Nonmonotonic reasoning, Ann. Rev. Comput. Sci. 2, pp. 147–186.
Salomaa A. (1959), On many valued systems of Logic, Ajatus XXII, 115–159.
Trillas E. & Valverde L. (1984), On Implication and Indistinguishability in the Setting of Fuzzy Logic, in Kacprzyk & Yager (eds), Management Decision Support Systems using Fuzzy Sets and Possibility Theory, Verlag TUV.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bernasconi, C., Rivoira, S., Termini, S. (1991). On the notion of uncertain belief revision systems. In: Bouchon-Meunier, B., Yager, R.R., Zadeh, L.A. (eds) Uncertainty in Knowledge Bases. IPMU 1990. Lecture Notes in Computer Science, vol 521. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0028108
Download citation
DOI: https://doi.org/10.1007/BFb0028108
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54346-6
Online ISBN: 978-3-540-47580-4
eBook Packages: Springer Book Archive