DocumentCode
2993089
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
fYear
1999
fDate
1999
Firstpage
24
Lastpage
28
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 1999. Proceedings. 1999 29th IEEE International Symposium on
Conference_Location
Freiburg
ISSN
0195-623X
Print_ISBN
0-7695-0161-3
Type
conf
DOI
10.1109/ISMVL.1999.779690
Filename
779690
Link To Document