RM-PRT: Realistic Robotic Manipulation Simulator and Benchmark with Progressive Reasoning Tasks.
Pengzhen RenKaidong ZhangHetao ZhengZixuan LiYuhang WenFengda ZhuMas MaXiaodan LiangPublished in: CoRR (2023)
Keyphrases
- reasoning tasks
- manipulation tasks
- description logics
- logic programming
- real robot
- temporal reasoning
- automated reasoning
- event calculus
- answer set programming
- abductive reasoning
- situation calculus
- mobile robot
- robotic systems
- logic programs
- general purpose
- knowledge representation
- temporal constraints
- bucket elimination
- reasoning problems
- artificial intelligence