Cubic Paraconsistent Analysers with Evidence Filter and Temporal Analysis[Formula presented]

dc.contributor.advisorOrcidhttps://orcid.org/0000-0001-8484-0354
dc.contributor.authorCORTES, H. M.
dc.contributor.authorPaulo Santos
dc.contributor.authorSILVA FILHO, J. I. DA
dc.date.accessioned2023-07-01T06:02:35Z
dc.date.available2023-07-01T06:02:35Z
dc.date.issued2023-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.volume230
dc.identifier.citationCORTES, 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.doi10.1016/j.eswa.2023.120536
dc.identifier.issn0957-4174
dc.identifier.urihttps://repositorio.fei.edu.br/handle/FEI/4851
dc.relation.ispartofExpert Systems with Applications
dc.rightsAcesso Aberto
dc.subject.otherlanguageAutomation
dc.subject.otherlanguageData network monitoring
dc.subject.otherlanguageElectrical power system
dc.subject.otherlanguageParaconsistent Annotated Logic with Annotation of Two Values
dc.subject.otherlanguageSNMP
dc.titleCubic Paraconsistent Analysers with Evidence Filter and Temporal Analysis[Formula presented]
dc.typeArtigo
fei.scopus.citations1
fei.scopus.eid2-s2.0-85161299909
fei.scopus.subjectAnnotated logic
fei.scopus.subjectData network
fei.scopus.subjectData network monitoring
fei.scopus.subjectElectrical power system
fei.scopus.subjectInconsistent information
fei.scopus.subjectNetwork Monitoring
fei.scopus.subjectParaconsistent annotated logic with annotation of two value
fei.scopus.subjectReal-world system
fei.scopus.subjectSNMP
fei.scopus.subjectTemporal analysis
fei.scopus.updated2024-07-01
fei.scopus.urlhttps://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85161299909&origin=inward
Arquivos
Pacote Original
Agora exibindo 1 - 1 de 1
Nenhuma Miniatura disponível
Nome:
Santos_pdf
Tamanho:
5.43 MB
Formato:
Adobe Portable Document Format
Coleções