Targeting uncertainty in smart CPS by confidence-based logic.
Tomás BuresPetr HnetynkaFrantisek PlasilDominik SkodaJan KofronRima Al AliIlias GerostathopoulosPublished in: J. Syst. Softw. (2021)
Keyphrases
- probability theory
- modal logic
- high confidence
- belief functions
- classical logic
- logic programming
- inherent uncertainty
- uncertain data
- decision theory
- asynchronous circuits
- expected utility
- automated reasoning
- multi valued
- digital circuits
- delay insensitive
- real time
- possibility theory
- probabilistic logic
- conditional probabilities
- artificial intelligence