Cubic Paraconsistent Analysers with Evidence Filter and Temporal Analysis[Formula presented]
dc.contributor.advisorOrcid | https://orcid.org/0000-0001-8484-0354 | |
dc.contributor.author | CORTES, H. M. | |
dc.contributor.author | Paulo Santos | |
dc.contributor.author | SILVA FILHO, J. I. DA | |
dc.date.accessioned | 2023-07-01T06:02:35Z | |
dc.date.available | 2023-07-01T06:02:35Z | |
dc.date.issued | 2023-11-15 | |
dc.description.abstract | © 2023 The Author(s)Ambiguous or inconsistent information is frequently present in the input of any real-world system that relies on multiple data sources. In the presence of inconsistencies, an expert system based on classical logic is trivialised due to the principle of explosion, that forces any proposition (and its negation) to be inferred. Instead, a family of non-classical logics, called Paraconsistent Logics, formalises the idea that even from inconsistent premises, useful conclusions can be drawn. Within this context, the Paraconsistent Annotated Logics with Annotation of Two Values (PAL2v), which use a pair of favourable and unfavourable evidences as annotations, have been particularly successful in engineering applications. Structures called Para-Analysers can be built with these logics that provide the appropriate means to analyse the truth value of a proposition under conflicting/contradictory evidences. The work reported in this paper extends the traditional Para-Analysers with an evidence filter. This new model can be represented as a cubic structure representing various Para-Analyser lattices, each of which is selected according to the quality of the evidence, that is updated with respect to measurements executed at run time. The resulting three-dimensional paraconsistent analysis structure is encapsulated as an expert-system cell called Cubic Paraconsistent Analyser with Evidence Filter and Temporal Analysis (CPAet). Sets of CPAet nodes are combined constituting distinct network topologies that are used to infer the operating conditions of equipment in data networks of electrical systems control and supervision, resulting in a fault detection and classification system. Tests on simulated systems show that the CPAet networks were effective to deal with inconsistencies without trivialising the inferences, while also providing a more informed (finer grained) decision on the data network equipment state, when compared to the traditional paraconsistent analysers. | |
dc.description.volume | 230 | |
dc.identifier.citation | CORTES, H. M.; SANTOS, P.; SILVA FILHO, J. I. DA. Cubic paraconsistent analysers with evidence filter and temporal analysis. Expert Systems with Applications, v. 230, nov. 2023. | |
dc.identifier.doi | 10.1016/j.eswa.2023.120536 | |
dc.identifier.issn | 0957-4174 | |
dc.identifier.uri | https://repositorio.fei.edu.br/handle/FEI/4851 | |
dc.relation.ispartof | Expert Systems with Applications | |
dc.rights | Acesso Aberto | |
dc.subject.otherlanguage | Automation | |
dc.subject.otherlanguage | Data network monitoring | |
dc.subject.otherlanguage | Electrical power system | |
dc.subject.otherlanguage | Paraconsistent Annotated Logic with Annotation of Two Values | |
dc.subject.otherlanguage | SNMP | |
dc.title | Cubic Paraconsistent Analysers with Evidence Filter and Temporal Analysis[Formula presented] | |
dc.type | Artigo | |
fei.scopus.citations | 1 | |
fei.scopus.eid | 2-s2.0-85161299909 | |
fei.scopus.subject | Annotated logic | |
fei.scopus.subject | Data network | |
fei.scopus.subject | Data network monitoring | |
fei.scopus.subject | Electrical power system | |
fei.scopus.subject | Inconsistent information | |
fei.scopus.subject | Network Monitoring | |
fei.scopus.subject | Paraconsistent annotated logic with annotation of two value | |
fei.scopus.subject | Real-world system | |
fei.scopus.subject | SNMP | |
fei.scopus.subject | Temporal analysis | |
fei.scopus.updated | 2025-01-01 | |
fei.scopus.url | https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85161299909&origin=inward |
Arquivos
Pacote Original
1 - 1 de 1
Nenhuma Miniatura disponível
- Nome:
- Santos_pdf
- Tamanho:
- 5.43 MB
- Formato:
- Adobe Portable Document Format