Liquid Metal Logic for Soft Robotics.
Martin Stephen GarradHsing-Yu ChenAndrew T. ConnHelmut HauserJonathan RossiterPublished in: IEEE Robotics Autom. Lett. (2021)
Keyphrases
- computer vision
- artificial intelligence
- classical logic
- set theory
- automated reasoning
- industrial robots
- predicate logic
- defeasible logic
- logic programming
- case study
- modal logic
- digital circuits
- multi valued
- autonomous navigation
- mathematical model
- motor skills
- proof theory
- semi autonomous
- delay insensitive
- cognitive robotics