On the notion of uncertain belief revision systems
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.
Keywordsintelligent systems reasoning systems inference uncertainty approximate reasoning resolution principle fuzzy resolution principle fuzzy Prolog ATMS
Unable to display preview. Download preview PDF.
- Bobrow D.G. & Hayes P.J. (eds) (1985), A.I. — Where Are We?, Artificial Intelligence 25, 375–415.Google Scholar
- A.L. Brown, D.E. Gaucas, D. Benanav (1987), An Algebraic Foundation for Truth Maintenance, Proc. 10th IJCAI, Milano, 973–980.Google Scholar
- Lee R.C.T.(1972), Fuzzy Logic and the Resolution Principle, Journal of A.C.M. 19, 109–119.Google Scholar
- Mukaidono M. (1982), Fuzzy Inference of resolution style, in "Fuzzy Sets and Possibility Theory", R.R. Yager (ed), Pergamon Press, New York, 224–231.Google Scholar
- Reinfrank M., de Kleer J., M.L. Ginzberg, E. Sandewall (Eds) (1989), Nonmonotonic reasoning, Springer Lecture Notes in A.I., vol. 346.Google Scholar
- Salomaa A. (1959), On many valued systems of Logic, Ajatus XXII, 115–159.Google Scholar
- 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.Google Scholar