The Entity-Deduction Arena: A playground for probing the conversational reasoning and planning capabilities of LLMs.

Yizhe Zhang Jiarui Lu Navdeep Jaitly

Published 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