Fuzzy propositional configuration logics

06/09/2021
by   Paulina Paraponiari, et al.
0

In order to be able to characterize quantitative properties such as the uncertainty and reliability, we extended the weighted propositional configuration logic over a fuzzy setup. Fuzzy structures are suitable enough as they rely on the idea that truth comes in degrees.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/01/2018

A van Benthem Theorem for Fuzzy Modal Logic

We present a fuzzy (or quantitative) version of the van Benthem theorem,...
research
10/19/2012

On revising fuzzy belief bases

We look at the problem of revising fuzzy belief bases, i.e., belief base...
research
07/17/2017

Eigenlogic: Interpretable Quantum Observables with applications to Fuzzy Behavior of Vehicular Robots

This work proposes a formulation of propositional logic, named Eigenlogi...
research
10/27/2020

Computing Crisp Bisimulations for Fuzzy Structures

Fuzzy structures such as fuzzy automata, fuzzy transition systems, weigh...
research
03/01/2023

Dynamic reconfiguration of component-based systems described by propositional configuration logic

We investigate dynamic reconfigurable component-based systems whose arch...
research
09/06/2021

Characterizing Crisp Simulations and Crisp Directed Simulations between Fuzzy Labeled Transition Systems by Using Fuzzy Modal Logics

We formulate and prove logical characterizations of crisp simulations an...
research
11/01/2019

On the construction of multi-valued concurrent dynamic logic

Dynamic logic is a powerful framework for reasoning about imperative pro...

Please sign up or login with your details

Forgot password? Click here to reset