Fast Context Switching in Real-Time Propositional Reasoning.
P. Pandurang NayakBrian C. WilliamsPublished in: AAAI/IAAI (1997)
Keyphrases
- real time
- probabilistic logic
- deductive reasoning
- propositional logic
- control system
- genetic algorithm
- knowledge base
- model based reasoning
- reasoning systems
- reasoning process
- first order logic
- data acquisition
- reasoning mechanisms
- spatial reasoning
- meta level
- probabilistic reasoning
- vision system
- low cost
- expert systems
- bayesian networks
- artificial intelligence
- neural network