ground instance造句

"ground instance"是什么意思   


  1. Moreover, Herbrand's theorem states that if " S " is unsatisfiable then there is a finite unsatisfiable set of ground instances from the Herbrand universe defined by " S ".
  2. Second, a logic program with variables is viewed as shorthand for the set of all ground instances of its rules, that is, for the result of substituting variable-free terms for variables in the rules of the program in all possible ways.
  3. An abductive explanation of a problem " G " is a set of positive ( and sometimes also negative ) ground instances of the abducible predicates, such that, when these are added to the logic program P, the problem " G " and the integrity constraints IC both hold.
  4. It's difficult to find ground instance in a sentence. 用ground instance造句挺难的


  1. "ground indicator"造句
  2. "ground induced current"造句
  3. "ground information"造句
  4. "ground inspection"造句
  5. "ground installation"造句
  6. "ground instructor"造句
  7. "ground instrument"造句
  8. "ground instrumentation"造句
  9. "ground interference"造句
  10. "ground into the dirt"造句


Copyright © 2020 WordTech Co.