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

• 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
• DOI: 10.1007/s10489-023-04882-0
• EISSN: 1573-7497
• ISSN: 0924-669X

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 domain texts. AUTOMATE integrates semantic sentence classification, semantic role labeling, and identification of procedural connectors, in order to extract templates of Linear Temporal Logic (LTL) relations that can be directly implemented in any sufficiently expressive logic programming formalism for autonomous reasoning, assuming some low-level commonsense and domain-independent knowledge is available. This is the first work that bridges natural language descriptions of complex LTL relations and the automation of full robotic tasks. Unlike most recent similar works that assume strict language constraints in substantially simplified domains, we test our pipeline on texts that reflect the expressiveness of natural language used in available textbooks and manuals. In fact, we test AUTOMATE in the surgical robotic scenario, defining realistic language constraints based on a publicly available dataset. In the context of two benchmark training tasks with texts constrained as above, we show that automatically extracted LTL templates, after translation to a suitable logic programming paradigm, achieve comparable planning success in reduced time, with respect to logic programs written by expert programmers.