Enhancing Human-AI Collaboration Through Logic-Guided Reasoning.
Chengzhi CaoYinghao FuSheng XuRuimao ZhangShuang LiPublished in: ICLR (2024)
Keyphrases
- human reasoning
- human level
- knowledge representation and reasoning
- automated reasoning
- knowledge representation
- artificial intelligence
- cognitive psychology
- probabilistic logic
- computational properties
- computational logic
- proof theory
- artificial general intelligence
- deductive reasoning
- machine learning
- reasoning engine
- intelligent systems
- order of magnitude reasoning
- knowledge representation formalisms
- logic programming
- logical framework
- human intelligence
- artificially intelligent
- intuitionistic logic
- truth maintenance systems
- predicate logic
- reasoning systems
- classical logic
- collaborative learning
- abductive reasoning
- scientific discovery
- causal reasoning
- logical inference
- modal logic
- information sharing
- proof theoretic
- expert systems
- case based reasoning
- human level intelligence
- horn logic
- commonsense reasoning
- knowledge based systems
- logical rules
- formal logic
- cognitive architectures
- rule based reasoning