2020 · 46 citations · 25 references
EngineeringAutonomous SystemsSurgeryMedical RoboticsMotion PlanningRoboticsAction RepresentationHuman-robot Interaction In HealthcareRobot Motion PlanningRobot-assisted SurgerySituation AwarenessSurgical RoboticsDynamical Movement PrimitivesHuman-robot Interaction In SurgeryRobotic Surgical SystemsSafety In Surgical RobotsSituation Awareness In RoboticsSurgical Task PlanningSurgical TrainingTask Planning
The use of robots in minimally invasive surgery has improved the quality of standard surgical procedures. So far, only the automation of simple surgical actions has been investigated by researchers, while the execution of structured tasks requiring reasoning on the environment and the choice among multiple actions is still managed by human surgeons. In this paper, we propose a framework to implement surgical task automation. The framework consists of a task-level reasoning module based on answer set programming, a low-level motion planning module based on dynamic movement primitives, and a situation awareness module. The logic-based reasoning module generates explainable plans and is able to recover from failure conditions, which are identified and explained by the situation awareness module interfacing to a human supervisor, for enhanced safety. Dynamic Movement Primitives allow to replicate the dexterity of surgeons and to adapt to obstacles and changes in the environment. The framework is validated on different versions of the standard surgical training peg-and-ring task.
25
Solving SAT and SAT Modulo Theories
Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli · Journal of the ACM · 2006 · 777 citations
Alain Colmerauer · Communications of the ACM · 1990 · 572 citations · Full text
Minimally Invasive and Robotic Surgery
Michael J. Mack · JAMA · 2001 · 552 citations