Virtual logic - reasoning and playing with imaginary boolean values.
Louis KauffmanPublished in: Cybern. Hum. Knowing (2001)
Keyphrases
- proof theory
- automated reasoning
- deductive reasoning
- intuitionistic logic
- boolean logic
- computational properties
- multi valued
- order of magnitude reasoning
- human reasoning
- logical framework
- probabilistic logic
- reasoning engine
- qualitative reasoning
- logic programming
- knowledge base
- knowledge representation
- logical inference
- reasoning systems
- truth table
- proof procedure
- spatial reasoning
- commonsense reasoning
- abductive reasoning
- reasoning problems
- truth values
- proof theoretic
- scientific discovery
- causal reasoning
- virtual environment
- modal logic
- classical logic
- probabilistic knowledge
- virtual reality
- probabilistic reasoning
- logic programs
- theorem proving
- real valued
- horn logic
- reasoning about actions
- expert systems
- fuzzy logic
- attribute values
- augmented reality