CARTIER: Cartographic lAnguage Reasoning Targeted at Instruction Execution for Robots.
Nikhil KakodkarDmitriy RivkinBobak H. BaghiFrancois Robert HoganGregory DudekPublished in: CoRR (2023)
Keyphrases
- robotic agents
- plan execution
- cooperative
- mobile robot
- formal descriptions
- natural language
- programming language
- reasoning mechanism
- language learners
- uml class diagrams
- language learning
- multimedia
- intuitionistic logic
- meta level
- knowledge base
- knowledge representation
- programming environment
- proof theory
- specification language
- reasoning process
- instructional design
- reasoning systems
- computer assisted language learning
- english language
- instruction set
- robotic systems
- cognitive processing
- spatial data
- expert systems
- reinforcement learning
- human robot interaction