经典布尔二值理论在实值理论中的一致推广

D. Radojevic
{"title":"经典布尔二值理论在实值理论中的一致推广","authors":"D. Radojevic","doi":"10.1109/NEUREL.2010.5644068","DOIUrl":null,"url":null,"abstract":"Consistent Boolean generalization of two-valued into a real-valued theory means preservation of all of its algebraic — value indifferent characteristics: Boolean axioms and theorems. Actually two-valued theories in Boolean frame (classical logic, theory of classical sets, theory of classical relations, etc.) are based on the celebrated two-valued realization of Boolean algebra (BA) and their real-valued consistent generalization should be based on a real-valued realization of BA. The conventional real-valued theories: fuzzy sets, fuzzy logic, fuzzy relations, fuzzy probability, etc., are not in Boolean frame. Interpolative Boolean algebra (IBA) is a real-valued realization of atomic or finite BA. IBA is based on generalized Boolean polynomials (GBP) as a unique figure of every element of finite Boolean algebra. GBP is able to process values from real unit interval so to preserve all algebraic characteristics on a value level as corresponding arithmetic properties (for example: relation ⊆ as ≤). The real-valued realization of atomic or finite BA is adequate for any real problem since gradation offers superior expressiveness in comparison to the black-white outlook. Consistent Boolean generalization is illustrated on representative examples.","PeriodicalId":227890,"journal":{"name":"10th Symposium on Neural Network Applications in Electrical Engineering","volume":"129 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2010-11-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Consistent generalization of classical Boolean two-valued into real-valued theories\",\"authors\":\"D. Radojevic\",\"doi\":\"10.1109/NEUREL.2010.5644068\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Consistent Boolean generalization of two-valued into a real-valued theory means preservation of all of its algebraic — value indifferent characteristics: Boolean axioms and theorems. Actually two-valued theories in Boolean frame (classical logic, theory of classical sets, theory of classical relations, etc.) are based on the celebrated two-valued realization of Boolean algebra (BA) and their real-valued consistent generalization should be based on a real-valued realization of BA. The conventional real-valued theories: fuzzy sets, fuzzy logic, fuzzy relations, fuzzy probability, etc., are not in Boolean frame. Interpolative Boolean algebra (IBA) is a real-valued realization of atomic or finite BA. IBA is based on generalized Boolean polynomials (GBP) as a unique figure of every element of finite Boolean algebra. GBP is able to process values from real unit interval so to preserve all algebraic characteristics on a value level as corresponding arithmetic properties (for example: relation ⊆ as ≤). The real-valued realization of atomic or finite BA is adequate for any real problem since gradation offers superior expressiveness in comparison to the black-white outlook. Consistent Boolean generalization is illustrated on representative examples.\",\"PeriodicalId\":227890,\"journal\":{\"name\":\"10th Symposium on Neural Network Applications in Electrical Engineering\",\"volume\":\"129 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2010-11-29\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"10th Symposium on Neural Network Applications in Electrical Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/NEUREL.2010.5644068\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"10th Symposium on Neural Network Applications in Electrical Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/NEUREL.2010.5644068","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

摘要

二值的一致布尔推广到实值理论意味着保留其所有代数值无关的特征:布尔公理和定理。实际上,布尔框架中的二值理论(经典逻辑、经典集合论、经典关系论等)是建立在著名的布尔代数二值实现(BA)的基础上的,它们的实值一致推广应该建立在BA的实值实现的基础上。传统的实值理论:模糊集、模糊逻辑、模糊关系、模糊概率等都不在布尔框架中。插值布尔代数(IBA)是原子或有限代数的实值实现。广义布尔多项式(GBP)是有限布尔代数中每个元素的唯一图形。GBP能够对实单位区间的值进行处理,将值层次上的所有代数特征保持为相应的算术性质(例如:关系≥)。原子或有限BA的实值实现适用于任何实际问题,因为与黑白前景相比,渐变提供了优越的表达能力。用代表性的例子说明了一致性布尔泛化。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Consistent generalization of classical Boolean two-valued into real-valued theories
Consistent Boolean generalization of two-valued into a real-valued theory means preservation of all of its algebraic — value indifferent characteristics: Boolean axioms and theorems. Actually two-valued theories in Boolean frame (classical logic, theory of classical sets, theory of classical relations, etc.) are based on the celebrated two-valued realization of Boolean algebra (BA) and their real-valued consistent generalization should be based on a real-valued realization of BA. The conventional real-valued theories: fuzzy sets, fuzzy logic, fuzzy relations, fuzzy probability, etc., are not in Boolean frame. Interpolative Boolean algebra (IBA) is a real-valued realization of atomic or finite BA. IBA is based on generalized Boolean polynomials (GBP) as a unique figure of every element of finite Boolean algebra. GBP is able to process values from real unit interval so to preserve all algebraic characteristics on a value level as corresponding arithmetic properties (for example: relation ⊆ as ≤). The real-valued realization of atomic or finite BA is adequate for any real problem since gradation offers superior expressiveness in comparison to the black-white outlook. Consistent Boolean generalization is illustrated on representative examples.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信