NL2LTL – a Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas

• DOI: 10.1609/aaai.v37i13.27068
• Publication Date: 2023-06-27T18:44:35Z
• Authors: Francesco Fuggitti; Tathagata Chakrab...
• Keywords: Python; IBM; Extensibility

This is a demonstration of our newly released Python package NL2LTL which leverages the latest in natural language understanding (NLU) and large models (LLMs) to translate instructions linear temporal logic (LTL) formulas. allows direct translation formal languages that reasoning system can use, while at same time, allowing end-user provide inputs without having understand any details an underlying language. The comes with support for set default LTL patterns, corresponding popular DECLARE templates, but also fully extensible new formulas user inputs. open-source free use AI community under MIT license. Open Source: https://github.com/IBM/nl2ltl. Video Link: https://bit.ly/3dHW5b1