On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra.
Jochen PfalzgrafPublished in: AISC/MKM/Calculemus (2008)
Keyphrases
- computer algebra
- computer algebra systems
- mobile robot
- robot localization
- map building
- inverse kinematics
- end effector
- parallel robot
- robot navigation
- human robot interaction
- humanoid robot
- obstacle avoidance
- robot moves
- mobile robot localization
- hybrid models
- theorem prover
- physical constraints
- real time
- high level
- simulated robot
- robot manipulators
- symbolic description
- configuration space
- artificial intelligence
- monte carlo localization
- machine learning