Can formal argumentative reasoning enhance LLMs performances?
Federico CastagnaIsabel SassoonSimon ParsonsPublished in: CoRR (2024)
Keyphrases
- formal models
- knowledge base
- meta level
- formal model
- knowledge sharing and reuse
- reasoning processes
- spatial reasoning
- reasoning tasks
- database
- reasoning systems
- resource bounded
- logical reasoning
- formal methods
- automated reasoning
- formal representation
- consistency checking
- reasoning mechanisms
- reasoning about actions
- uncertain information
- computational properties
- legal reasoning
- computer supported
- model based diagnosis
- logic programming
- knowledge management
- artificial intelligence