Login / Signup

A Representation Model of Geometrical Tolerances Based on First Order Logic.

Yuchu QinYanru ZhongLiang ChangMeifa Huang
Published in: Intelligent Information Processing (2012)
Keyphrases
  • first order logic
  • expressive power
  • probabilistic reasoning
  • bayesian networks
  • probabilistic model
  • representation language
  • theorem prover
  • propositional logic
  • predicate calculus