Theorey of vector truth degrees of formulas in two-valued predicate logic.
Xiaoyan QinYang XuPublished in: ICMLC (2013)
Keyphrases
- predicate logic
- predicate calculus
- logical formulas
- valued logic
- formal logic
- semantic net
- knowledge representation and reasoning
- temporal logic
- semantic network
- first order logic
- computational linguistics
- subjective probabilities
- truth values
- multi valued
- lower level
- propositional logic
- general purpose
- domain knowledge
- data analysis