Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications.
Ivan DonadelloPaolo FelliCraig InnesFabrizio Maria MaggiMarco MontaliPublished in: CoRR (2024)
Keyphrases
- fuzzy sets
- high level
- fuzzy logic
- attribute grammars
- spatio temporal
- fuzzy rules
- temporal information
- temporal data
- membership functions
- fuzzy numbers
- fuzzy set theory
- functional requirements
- execution traces
- log data
- temporal constraints
- protocol specification
- delay insensitive
- log files
- fuzzy neural network
- temporal reasoning
- temporal patterns
- temporal evolution
- temporal dimension
- temporal analysis
- neural network
- declarative language
- domain independent
- decision making