Mapping natural language procedures descriptions to linear temporal logic templates: an application in the surgical robotic domain

Natural language annotations and manuals can provide useful procedural information and relations for the highly specialized scenario of autonomous robotic task planning. In this paper, we propose and publicly release AUTOMATE, a pipeline for automatic task knowledge extraction from expert-written do...

Full description

Saved in:

Bibliographic Details
Published in:	Applied intelligence (Dordrecht, Netherlands) Vol. 53; no. 22; pp. 26351 - 26363
Main Authors:	Bombieri, Marco, Meli, Daniele, Dall’Alba, Diego, Rospocher, Marco, Fiorini, Paolo
Format:	Journal Article
Language:	English
Published:	New York Springer US 01-11-2023 Springer Nature B.V
Subjects:	Annotations Artificial Intelligence Automation Computer Science Connectors Constraints Descriptions Language Logic programming Logic programs Machines Manuals Manufacturing Mechanical Engineering Natural language Natural language processing Processes Robotics Semantics Task complexity Task planning (robotics) Temporal logic Texts Natural language processing Autonomous planning Surgical robotics Linear temporal logic
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!