A knowledge representation based on the Belnap's four-valued logic.
Yuri KaluzhnyAlexei Yu. MuravitskyPublished in: J. Appl. Non Class. Logics (1993)
Keyphrases
- valued logic
- knowledge representation
- automated reasoning
- first order logic
- classical logic
- propositional logic
- logic programming
- fuzzy logic
- expert systems
- probabilistic reasoning
- logic programs
- artificial intelligence
- knowledge base
- multi valued
- fuzzy sets
- truth values
- theorem proving
- expressive power
- inference rules
- neural network
- natural language
- machine learning
- theorem prover
- answer set programming
- belief revision
- probability distribution
- stable models
- decision making