تقرير
Paraconsistent Transition Systems
| العنوان: | Paraconsistent Transition Systems |
|---|---|
| المؤلفون: | Cruz, Ana, Madeira, Alexandre, Barbosa, LuÂ-Ã-s Soares |
| المصدر: | EPTCS 376, 2023, pp. 3-15 |
| سنة النشر: | 2023 |
| المجموعة: | Computer Science |
| مصطلحات موضوعية: | Computer Science - Logic in Computer Science |
| الوصف: | 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. Comment: In Proceedings LSFA 2022, arXiv:2303.12680 |
| نوع الوثيقة: | Working Paper |
| DOI: | 10.4204/EPTCS.376.3 |
| URL الوصول: | http://arxiv.org/abs/2303.13254 |
| رقم الأكسشن: | edsarx.2303.13254 |
| قاعدة البيانات: | arXiv |
| DOI: | 10.4204/EPTCS.376.3 |
|---|