Maieutic Prompting: Logically Consistent Reasoning with Recursive Explanations.
Jaehun JungLianhui QinSean WelleckFaeze BrahmanChandra BhagavatulaRonan Le BrasYejin ChoiPublished in: EMNLP (2022)
Keyphrases
- reasoning systems
- knowledge representation
- reasoning process
- automated reasoning
- generating explanations
- rule based reasoning
- model based reasoning
- knowledge representation and reasoning
- databases
- globally optimal
- deductive reasoning
- proof theory
- fuzzy reasoning
- qualitative reasoning
- default reasoning
- inference engine
- production rules
- case study
- knowledge base
- e learning
- decision making
- search engine
- artificial intelligence
- data mining
- neural network