The validity degree vectors of formulae in two-valued predicate logic.

Xiaoyan Qin Yang Xu Yi Liu

Published in: Int. J. Comput. Intell. Syst. (2015)

Keyphrases

predicate logic
knowledge representation and reasoning
semantic net
temporal logic
computational linguistics
predicate calculus
semantic network
formal logic
lower level
feature vectors
general purpose
highly expressive
machine learning
bayesian networks
higher level