About cookies on this site Our websites require some cookies to function properly (required). In addition, other cookies may be used with your consent to analyze site usage, improve the user experience and for advertising. For more information, please review your options. By visiting our website, you agree to our processing of information as described in IBM’sprivacy statement. To provide a smooth navigation, your cookie preferences will be shared across the IBM web domains listed here.
Abstract
This is an overview of our newly released Python package NL2LTL which leverages the latest in natural language understanding (NLU) and large language models (LLMs) to translate English inputs to linear temporal logic (LTL) formulas. Such an interface allows direct translation to formal languages that a reasoning system can use, while at the same time, allowing the end-user to provide inputs in natural language without having to understand the details of the underlying formal language in a system. The package comes with support for a set of default LTL patterns, corresponding to popular DECLARE templates, but is also fully extensible to new domains so adopters of the package can configure it to their needs. The package has just been open-sourced and is free to use for the AI community under the MIT license.