Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs.
Sen YangXin LiLeyang CuiLidong BingWai LamPublished in: CoRR (2023)
Keyphrases
- causal reasoning
- mathematical proofs
- symbolic reasoning
- causal knowledge
- qualitative models
- reasoning systems
- neuro fuzzy
- causal networks
- bayesian networks
- neural network
- knowledge processing
- knowledge representation
- artificial neural networks
- causal models
- reasoning process
- qualitative reasoning
- causal inferences
- automated reasoning
- theorem proving
- cost effective
- high level
- data sets
- spatial reasoning
- legal reasoning
- symbolic representation
- causal relationships
- causal discovery
- theorem prover
- natural deduction
- data integration
- expert systems
- computer algebra systems