Logical measure: structure of logical formula
Abstract
The structure of logical and/or pseudo-logical formula is introduced. The structure of logical formula is its characteristic invariant to its functional realization ({0,1}-valued, many-valued and/or [0,1]-valued logical function). The Boolean algebra is defined on the set of all n-ary logical structures. The fundamental principle of structural functionality is introduced. A logical discrete Choquet integral is defined as [0,1]-valued logical and pseudo-logical function for AND operator defined as min function.
References
[1]
1. G. Choquet, Theory of capacities, Ann. Inst. Fourier 5 (1953) 131-295.
[2]
2. D. Dubois, H. Prade, Possibility Theory, Plenum Press, New York, 1988.
[3]
3. S. Gottwald, A Treatise on Many - Valued Logic, Research Studies Press, UK, (2001)
[4]
4. G. Klir, T. Folger, Fuzzy Sets, Uncertainty, and Information, Prentice-Hall, Englewood Cliffs, NJ. 1988.
[5]
5. P. Hajek, Metamatematics of Fuzzy Logic, Kluwer, (1998).
[6]
6. T. Murofushi, M. Sugeno, An interpretation of fuzzy measure and the Choquet integral as an integral with respect to fuzzy measure, Fuzzy Sets and Systems 29 (1989) 201-227.
[7]
7. D. Radojevic´, Logical interpretation of discrete Choquet integral defined by general measure, International Journal of Uncertainty, Fuzzines and Knowledge-Based Systems, Vol. 7, No. 6 (1999) 577-588.
[8]
8. D. Radojevic´, Logical measure of continual logical function, 8th Int. Conf. IPMU - Information Processing and Management of Uncertainty in Knowledge-based Systems, Madrid, (2000) 574-581.
[9]
9. D. Radojevic´, The logical representation of discrete Choquet integral, JORBEL - The Belgian Journal of Operations Research, Statistics and Computer Science, Vol. 38 (2-3), (1998), 67-89.
[10]
10. D. Radojevic´, {0,1}-valued logic: a natural generalization of Boolean logic, YUJOR - Yugoslav Journal of Operational Research Vol 10, Number 2,(2000) 85-216,
[11]
11. M. Sugeno, Theory of fuzzy integrals and its applications, Thesis, Tokyo Institute of Technology, 1974.
[12]
12. L.A. Zadeh, Similarity Relations and Fuzzy Orderings, Information Sciences, 3 (1971) 177-200.
Index Terms
- Logical measure: structure of logical formula
Index terms have been assigned to the content through auto-classification.
Recommendations
OCD Dolores - Recovering Logical Structures for Dummies
DAS '12: Proceedings of the 2012 10th IAPR International Workshop on Document Analysis SystemsThis paper presents OCD Dolores, an environment that aims at recovering the logical structures from documents by interactively inferring their models. Dolores is based on OCD, an XML canonical document format used to represent structured electronic ...
Extracting logical structure and identifying stragglers in parallel execution traces
PPoPP '14We introduce a new approach to automatically extract an idealized logical structure from a parallel execution trace. We use this structure to define intuitive metrics such as the lateness of a process involved in a parallel execution. By analyzing and ...
Comments
Information & Contributors
Information
Published In
January 2002
440 pages
ISBN:3790814555
Publisher
Physica-Verlag GmbH
Germany
Publication History
Published: 01 January 2002
Author Tags
Qualifiers
- Chapter
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 11 Aug 2024
Other Metrics
Citations
View Options
View options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in