A Formal Approach based on Fuzzy Logic for the Specification of Component-Based Interactive Systems.
Vasileios KoutsoumpasPublished in: FESCA (2015)
Keyphrases
- interactive systems
- fuzzy logic
- formal specification
- formal methods
- human computer interaction
- formal language
- fuzzy sets
- neural network
- control system
- reactive systems
- specification languages
- decision making
- user interface
- operational semantics
- requirements specification
- expert systems
- computational intelligence
- specification language
- rule base
- intelligent control
- fuzzy reasoning
- fuzzy set theory
- digital entertainment
- soft computing
- evolutionary computation
- fuzzy rules
- back propagation
- neural networks and genetic algorithms
- artificial intelligence
- high level
- mathematical theory
- rough sets
- learning systems
- data mining
- genetic algorithm
- artificial neural networks
- membership functions
- formal model
- formal languages
- real time
- fuzzy membership functions
- formal verification
- programming language
- intelligent tutoring systems