NLP and Logic Reasoning for Fully Automating Test.
Nesrine Bnouni RhimMouna Ben MabroukPublished in: IBICA (2021)
Keyphrases
- automated reasoning
- proof theory
- deductive reasoning
- natural language processing
- order of magnitude reasoning
- computational properties
- reasoning engine
- human reasoning
- logical framework
- intuitionistic logic
- logical rules
- logical inference
- commonsense reasoning
- abductive reasoning
- predicate logic
- classical logic
- reasoning tasks
- spatial reasoning
- knowledge representation
- probabilistic logic
- test data
- text mining
- knowledge base
- proof theoretic
- statistical tests
- logic programming
- information extraction
- modal logic
- artificial intelligence
- natural language
- free text
- formal theory
- knowledge representation and reasoning
- reasoning systems
- machine learning