arrow
Return

Paraconsistent Reactive Graphs

delete2026-01-01
delete0
PRE
AI
J
Juliana Cunha *
A
Alexandre Madeira
L
Lu­ís Soares Barbosa
DOI:10.1007/978-3-031-94748-3_9delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
This paper introduces Paraconsistent Reactive Graphs, as an extension of Reactive graphs that incorporates paraconsistency into the ground edges to address vagueness and inconsistency within dynamic systems. By assigning pairs of truth values to ground edges, this framework captures the uncertainty and contradictions stemming from incomplete or conflicting information. We explore the semantics of these graphs and provide a practical example to illustrate the proposed approach.
Keywords:
Reactive systems
Paraconsistency
Contradictions

Journal

S
SOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF:
0
Papers:
20
Citations:
0

Organization

U
universidade do minho
Scholars:
1.1W
Papers: 1.1W
Citations: 10
U
universidade de aveiro
Scholars:
1.3W
Papers: 1.4W
Citations: 24