Negotiated Reasoning: On Provably Addressing Relative Over-Generalization.
Junjie ShengWenhao LiBo JinHongyuan ZhaJun WangXiangfeng WangPublished in: CoRR (2023)
Keyphrases
- knowledge base
- automated reasoning
- reasoning systems
- knowledge representation
- reasoning process
- worst case
- logical reasoning
- reasoning problems
- reasoning tasks
- spatial reasoning
- decision making
- default reasoning
- software agents
- support vector
- plan execution
- computational properties
- search engine
- formal models
- model based reasoning
- data sets
- resource bounded
- real time