History checking of temporal fuzzy logic formulas for monitoring behavior-based mobile robots.
Khaled Ben LamineFroduald KabanzaPublished in: ICTAI (2000)
Keyphrases
- mobile robot
- fuzzy logic
- robot control
- neural network
- path planning
- fuzzy sets
- expert systems
- monitoring system
- real time
- artificial intelligence
- spatial and temporal
- indoor environments
- temporal information
- fuzzy rules
- autonomous robots
- soft computing
- multi robot
- evolutionary computation
- membership functions
- control architecture
- computational intelligence
- spatio temporal
- control system
- back propagation
- dynamic environments
- rough sets
- mobile robotics
- temporal reasoning
- genetic algorithm
- temporal data
- fuzzy inference system
- temporal databases
- fuzzy set theory
- temporal evolution
- intelligent control
- fuzzy inference
- unstructured environments
- neural networks and genetic algorithms
- unknown environments
- early warning
- obstacle avoidance
- temporal constraints
- robotic systems
- rule base
- temporal logic
- space time
- evolutionary algorithm
- decision making