The Entity-Deduction Arena: A playground for probing the conversational reasoning and planning capabilities of LLMs.
Yizhe ZhangJiarui LuNavdeep JaitlyPublished in: CoRR (2023)
Keyphrases
- knowledge base
- deductive reasoning
- model based reasoning
- planning systems
- intuitionistic logic
- planning problems
- plan execution
- decision support
- planning process
- htn planning
- heuristic search
- proof procedure
- forward chaining
- reasoning systems
- theorem proving
- knowledge representation
- multi party
- ai planning
- qualitative reasoning
- solving problems
- reasoning process
- reasoning processes
- inference rules
- multi modal
- automated theorem proving
- conversational agent
- reasoning tasks
- plan generation
- qualitative simulation
- artificial intelligence
- plan recognition
- expert systems
- natural language
- decision making