Abstract
In modern science, significant advances are typically made at cross-roads of disciplines. Thus, many optimization problems in Multiple-valued Logic Design have been successfully approached using ideas and techniques from Artificial Intelligence. In particular, improvements in multiple-valued logic design have been made by exploiting information/uncertainty measures. In this paper, we review well-known information measures in the multiple-valued domain and consider some methods of finding information measures for completely or incompletely specified functions with multiple-valued and continuous attributes. In this respect, the paper addresses the problem known as discretization and introduces a method of finding an optimal representation of continuous data in the multiple-valued domain. We also propose a technique for efficient calculation of different information measures using Multiplevalued Decision Diagrams. As one application of our technique, we outline an approach to synthesizing digital circuits derived from decision diagrams that can yield to reduction in power dissipation. The paper also shows the impact in several important areas of multiplevalued system design including (i) fuzzy logic, (ii) quantum computing systems, and (iii) data mining.
It will be seen that the processes which lose information are, as we should expect, closely analogous to the processes which gain entropy.
Norbert Wiener
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Agraval, V. (1981). An Information Theoretic Approach to Digital Fault Testing. IEEE Transactions on Computers C-30(8): 582–587.
Baturone, I., Sanchez-Solano, S. & Huertas, J. (1997). A Self-Checking Current-Mode Analogue Memory’. Electronics Letters 33(16): 1349–1350.
Berger, A., Pietra, S. D. & Pietra, V. D. (1996). A Maximum Entropy Approach to Natural Language Processing. Computational Linguistics 22(1): 39–71.
Bryant, R. (1986). Graph — Based Algorithm for Boolean Function Manipulation. IEEE Transactions on Computers C-35(8): 667–691.
Dougherty, J., Kohavi, R. & Sahami, M. (1995). Supervised and Unsupervised Discretization of Continuous Features. In Proc. Int. Conference on Machine Learning, 194–202.
Fayyad, U. & Irani, K. (1993). Multi-interval Discretization of Continuous-valued Attributes for Classification Learning. In Proc. Int. Conference on Artificial Intelligence, 1022–1027.
Lloyd, S. & Braunstein, S. (1999). Quantum Computation Over Continuous Variables. Physical Review 82: 1784–1787.
Lo, H., Spiller, T. & Popescu, S. (1998). Introduction to Quantum Computation and Information. World Scientific.
Marculescu, D., Marculesku, R. & Pedram, M. (1996). Information Theoretic Measures for Power Analysis. IEEE Transactions on CAD of Integrated Circuits and Systems 15(6): 599–610.
Miller, D. (1998). An Improved Method for Computing a Generalized Spectral Coefficient. IEEE Transactions on CAD of Integrated Circuits and Systems 17(3): 233–238.
Peng, Y. & Flach, P. (2001). Soft Discretization to Enhance the Continuous Decision Tree Induction. In Integrating Aspects of Data Mining, Decision Support and Meta-Learning (PKDD’01 Workshop), 109–118.
Pierzchala, E., Perkowski, M. & Grygiel, S. (1994). A Filed Programmable Analog Array for Continuous, Fuzzy, and Multi-Valued Logic Applications. In Proc. IEEE Int. Symposium on Multiple-Valued Logic, 148–155.
Popel, D. (2001). Towards Efficient Calculation of Information Measures for Reordering of Binary Decision Diagrams. In Proc. IEEE International Symposium on Signals, Circuits and Systems, 509–512.
Popel, D. & Hakeem, N. (2001). Improving Web Database Access Using Decision Diagrams. In Proc. IEEE Int. Conference on Computer Systems and Applications, 519–525.
Quinlan, J. (1996). Improved Use of Continuous Attributes in C4.5. Journal of Artificial Intelligence Research 4: 77–90.
Saed, A., Ahmadi, M. & Jullien, G. (1999). Arithmetic Circuits for Analog Digits. In Proc. IEEE Int. Symposium on Multiple-Valued Logic, 186–193.
Shannon, C. E. (1948). A Mathematical Theory of Communication. Bell Systems Technical Journal 27: 379–423,
Shannon, C. E. (1948). A Mathematical Theory of Communication. Bell Systems Technical Journal 27: 623–656.
Simovici, D., Jaroszewicz, S. (2001). An Axiomatization of Generalized Entropy of Partitions. In Proc. IEEE Int. Symposium on Multiple-Valued Logic, 259–264.
Strehl, K., Moraga, C., Temme, K.-H. & Stanković, R. (1999). Fuzzy Decision Diagrams for the Representation, Analysis, and Optimization of Rule Bases. Technical Report TIK-77, Gloriastrasse 35, CH-8092 Zurich.
Thornton, M. and Nair, V. (1995). Efficient Calculation of Spectral Coefficients and Their Applications. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 14(11): 1328–1341.
Yanushkevich, S., Popel, D., Shmerko, V., Cheushev, V. & Stanković, R. (2000). Information Theoretic Approach to Minimization of Polynomial Expressions over GF(4). In Proc. IEEE Int. Symposium on Multiple-Valued Logic, 265–270.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Popel, D.V. (2004). Conquering Uncertainty in Multiple-Valued Logic Design. In: Artificial Intelligence in Logic Design. Artificial Intelligence in Logic Design, vol 766. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-2075-9_8
Download citation
DOI: https://doi.org/10.1007/978-1-4020-2075-9_8
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-6583-4
Online ISBN: 978-1-4020-2075-9
eBook Packages: Springer Book Archive