Trustworthy Formal Natural Language Specifications.
Colin S. GordonSergey MatskevichPublished in: CoRR (2023)
Keyphrases
- formal language
- natural language
- controlled natural language
- formal specification
- written in natural language
- natural language interface
- formal languages
- formal semantics
- reactive systems
- operational semantics
- question answering
- semantic representation
- machine learning
- formal descriptions
- representation language
- knowledge representation
- language processing
- specification language
- semantic analysis
- logical formulas
- real time
- natural language generation
- semantic interpretation
- requirements specification
- artificial intelligence
- delay insensitive
- information extraction
- information retrieval
- expert systems
- natural language processing
- formal model
- conceptual graphs