Login / Signup

基于目标演绎距离的一阶逻辑子句集预处理方法 (First-order Logic Clause Set Preprocessing Method Based on Goal Deduction Distance).

Feng CaoYang XuJian ZhongXinran Ning
Published in: 计算机科学 (2020)
Keyphrases
  • preprocessing
  • first order logic
  • theorem prover
  • theorem proving
  • horn clauses
  • knowledge representation
  • expressive power
  • inference rules
  • search algorithm
  • computational complexity
  • query processing
  • proof procedure