Applying Formal Logic Validation to Enhance Natural Language Understanding.
Worawan MarurngsithPakorn WeawsawangwongPublished in: ICSCA (2019)
Keyphrases
- natural language understanding
- formal logic
- text understanding
- natural language
- language understanding
- knowledge representation
- semantic analysis
- natural language processing
- predicate logic
- semantic representations
- spoken dialog systems
- logic programming
- dialogue system
- machine learning
- description logics
- design theory
- formal methods
- engineering design
- keywords