Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/90283
Título: | Paraconsistent transition systems |
Autor(es): | Cruz, Ana Madeira, Alexandre Barbosa, L. S. |
Palavras-chave: | Paraconsistency Transition systems |
Data: | 23-Mar-2023 |
Editora: | Open Publishing Association |
Revista: | Electronic Proceedings in Theoretical Computer Science |
Citação: | Cruz, A., Madeira, A., & Barbosa, L. S. (2023, March 23). Paraconsistent Transition Systems. Electronic Proceedings in Theoretical Computer Science. Open Publishing Association. http://doi.org/10.4204/eptcs.376.3 |
Resumo(s): | Often in Software Engineering, a modeling formalism has to support scenarios of inconsistency in which several requirements either reinforce or contradict each other. Paraconsistent transition systems are proposed in this paper as one such formalism: states evolve through two accessibility relations capturing weighted evidence of a transition or its absence, respectively. Their weights come from a specific residuated lattice. A category of these systems, and the corresponding algebra, is defined as providing a formal setting to model different application scenarios. One of them, dealing with the effect of quantum decoherence in quantum programs, is used for illustration purposes. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/90283 |
DOI: | 10.4204/EPTCS.376.3 |
ISSN: | 2075-2180 |
Versão da editora: | https://arxiv.org/abs/2303.13254v1 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: |