Abstract
The partial knowledge of a valuation, whose values are in the boolean algebra {0,1} may be represented by the utilization of a set of four elements([1]). The partial or approximated knowledge of a valuation or a possibility or necessity measure, whose values are in the real interval [0 1] may be represented by the set of “subintervals” and it is possible to define operations that also generalize the structures of algebra defined by Belnap. In this paper we propose the formulation of the “deduction rule” that allows us to deduce valid approximations from the available data.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Belnap,Jr,N.D.: A useful four-valued logic. Modern uses of Multiple-Valued logic(1977),pp 8–40.Boston
Driankov D.: Towards a Many-valued logic of quantified belief: he information lattice. IJIS vol 6 pp135–166 (1991)
Casasnovas J.: Contribucin a una formalizacin de la inferencia directa (Thesis D.PH.)(1989).U.I.B.Palma de Mallorca
Valverde L.:Deduction rules in Fuzzy Sets. (Thesis D.PH.)(1982)U.P.C. Barcelona
Dubois D. and Prade H.: Fuzzy Sets an Systems, theory and applications.Academic Press(1980)
Rasiowa E.: An algebraic approach to Non-clasical Logicas. North Holland, Amsterdam(1974)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag
About this paper
Cite this paper
Casasnovas, J. (1993). A deduction rule for the approximated knowledge of a mapping. In: Bouchon-Meunier, B., Valverde, L., Yager, R.R. (eds) IPMU '92—Advanced Methods in Artificial Intelligence. IPMU 1992. Lecture Notes in Computer Science, vol 682. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56735-6_69
Download citation
DOI: https://doi.org/10.1007/3-540-56735-6_69
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56735-6
Online ISBN: 978-3-540-47643-6
eBook Packages: Springer Book Archive