Trustworthy Formal Natural Language Specifications.
Colin S. GordonSergey MatskevichPublished in: Onward! (2023)
Keyphrases
- formal language
- natural language
- controlled natural language
- formal specification
- written in natural language
- natural language interface
- reactive systems
- formal languages
- operational semantics
- formal semantics
- requirements specification
- semantic representation
- machine learning
- semantic analysis
- formal descriptions
- natural language understanding
- natural language processing
- natural language generation
- machine translation
- artificial intelligence
- delay insensitive
- high level
- mathematical theory
- question answering
- semantic interpretation
- formal model
- representation language
- website
- data mining
- formal methods
- genetic algorithm
- language processing
- conceptual graphs