Multi-valued deontic Halpern-Shoham logic for fuzzy deontic-temporal expressions.
Krystian JobczykPublished in: J. Intell. Fuzzy Syst. (2019)
Keyphrases
- multi valued
- temporal logic
- deontic logic
- temporal expressions
- classical logic
- modal logic
- truth values
- model checking
- logic synthesis
- temporal information
- boolean functions
- supervised machine learning
- normal form
- directed acyclic graph
- nonmonotonic logics
- undirected graph
- machine learning
- belief revision
- object oriented
- spatio temporal