Crisp-fuzzy representation of Allen's temporal logic.
N. A. Abdul ManafM. Reza BeikzadehPublished in: Artificial Intelligence and Applications (2007)
Keyphrases
- temporal logic
- fuzzy sets
- model checking
- fuzzy logic
- fuzzy numbers
- modal logic
- fuzzy information
- satisfiability problem
- fuzzy set theory
- verification method
- temporal knowledge
- belief revision
- concurrent systems
- linear temporal logic
- predicate logic
- temporal reasoning
- membership functions
- computation tree logic
- mazurkiewicz traces
- multi agent systems
- reactive systems
- dynamic constraints
- formal specification language