Abstract
Variable-valued logic is an extension of some known many-valued logics (MVL) in two directions:
-
1.
It permits the propositions and variables in the propositions to take values from different domains, which can vary in the kind and number of elements and also in the structure relating to the elements.
-
2.
It generalises some of the traditionally used operators and adds new operators which are ‘most orthogonal’ to the former.
Variable-valued logics have found applications in pattern recognition, medical decision making, discrimination of structural textures. These logics have been successfully used in construction of diagnostic expert systems that can acquire knowledge by inductive learning from examples.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Michalski, R.S. Variable-valued logic and its application to pattern recognition and machine learning. In D.C. Rine, editor, Computer Science and Multiple-Valued Logic: Theory and Applications, North-Holland, Amsterdam and New York, 1977.
Michalski, R.S. and Chilansky, R.L. Knowledge acquisition by encoding expert rules versus Computer induction from examples: a case study involving soya-bean pathology. In Fuzzy Reasoning and its Applications, Academic Press, London, 1981.
Marr, D. Vision: a computational investigaion into the human representation and processing of visual information. W.H. Freeman, New York, 1982.
Lowe, D.G. Perceptual Organisation and Visual Recognition. Kluwer Academic Publishers, Boston, Mass., 1985.
Gigus, Z., Canny, J. and Seidel, R. Efficiently Computing and representing aspect graphs of polyhedral objects. Second International Conference on Computer Vision, pages 30–39, 1988
Bristow, F. and Fallside, G.J. Computer display of vowel quadrilateral with real-time representation of articulation. Electronics Letters, 14:107–109, 1978.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bundy, A. (1990). V. In: Bundy, A. (eds) Catalogue of Artificial Intelligence Techniques. Symbolic Computation. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-97276-8_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-97276-8_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-97278-2
Online ISBN: 978-3-642-97276-8
eBook Packages: Springer Book Archive