A Partial Predicate Calculus in a Two-Valued Logic.
Albert HoogewijsPublished in: Math. Log. Q. (1983)
Keyphrases
- predicate calculus
- valued logic
- first order logic
- propositional logic
- theorem proving
- formal model
- expressive power
- classical logic
- probabilistic reasoning
- inference rules
- semantic network
- predicate logic
- knowledge representation
- automated reasoning
- incomplete information
- theorem prover
- fuzzy logic
- artificial intelligence
- fuzzy sets
- machine learning
- databases
- higher level
- logic programs
- general purpose
- software engineering
- truth values