NL2LTL - a Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas.
Francesco FuggittiTathagata ChakrabortiPublished in: AAAI (2023)
Keyphrases
- linear temporal logic
- natural language
- linear time temporal logic
- temporal logic
- bounded model checking
- model checking
- natural language interface
- natural language understanding
- linguistic knowledge
- formal language
- man machine communication
- natural language questions
- question answering
- semantic analysis
- natural language processing
- written in natural language
- open source
- semantic interpretation
- information extraction
- machine learning
- dialogue system
- programming language
- deterministic automata
- knowledge representation
- modal logic
- concurrent systems
- object oriented
- search space
- formal specification