逻辑推理机制中的分配律 (Distributive Law in Deduction Mechanism of Logic).
Hang ShiBaoshan WangMeihua WuPublished in: 计算机科学 (2016)
Keyphrases
- intuitionistic logic
- deductive reasoning
- computer algebra
- neural network
- computational model
- inference rules
- theorem proving
- multi valued
- selection mechanism
- natural deduction
- proof procedure
- classical logic
- database
- artificial intelligence
- proof search
- web services
- linear logic
- case study
- logical framework
- probabilistic logic
- logic programming