Title :
On axiomatization of conditional entropy of functions between finite sets
Author :
Jaroszewicz, Szymon ; Simovici, Dan A.
Author_Institution :
Dept. of Math. & Comput. Sci., Massachusetts Univ., Boston, MA, USA
Abstract :
In this paper we present a new axiomatization of the notion of entropy of functions between finite sets and we introduce and axiomatize the notion of conditional entropy between functions. The results can be directly applied to logic functions, which can be regarded as functions between finite sets. Our axiomatizations are based on properties of entropy with regard to operations commonly applied to discrete functions and are related to the usage of entropy as a measure of the energy dissipated by circuits that implement discrete functions
Keywords :
formal logic; axiomatization; conditional entropy; entropy of functions; finite sets; logic functions; Boolean functions; Circuits; Energy measurement; Entropy; Logic functions; Minimization; Power dissipation; Random variables;
Conference_Titel :
Multiple-Valued Logic, 1999. Proceedings. 1999 29th IEEE International Symposium on
Conference_Location :
Freiburg
Print_ISBN :
0-7695-0161-3
DOI :
10.1109/ISMVL.1999.779690
