Towards AI Logic for Social Reasoning.
Huimin DongRéka MarkovichLeendert van der TorrePublished in: CoRR (2021)
Keyphrases
- knowledge representation and reasoning
- automated reasoning
- computational logic
- knowledge representation
- proof theory
- deductive reasoning
- logic programming
- predicate logic
- order of magnitude reasoning
- intuitionistic logic
- human reasoning
- proof theoretic
- truth maintenance systems
- artificial intelligence
- probabilistic logic
- logical inference
- computational properties
- logical framework
- reasoning systems
- cognitive psychology
- knowledge representation formalisms
- expert systems
- reasoning engine
- classical logic
- commonsense reasoning
- social networks
- social media
- defeasible logic
- reasoning about actions
- knowledge base
- social interaction
- modal logic
- formal logic
- abductive reasoning
- planning systems
- reasoning tasks
- logical rules
- probabilistic reasoning
- case based reasoning
- derivation rules
- linear logic
- intelligent behavior
- reasoning process
- knowledge based systems
- intelligent systems
- cognitive architectures
- proof procedure
- reasoning problems
- causal reasoning
- nonmonotonic reasoning
- default reasoning
- horn logic
- qualitative reasoning
- logic programs
- social networking