Keyphrases
- general theory
- reasoning systems
- formal models
- genetic algorithm
- proof theory
- theoretical basis
- theoretical framework
- selection strategy
- automated reasoning
- commonsense reasoning
- refinement operators
- plausible reasoning
- spatial reasoning
- knowledge representation
- knowledge base
- causal reasoning
- bdi agents
- artificial intelligence
- neural network
- deductive reasoning
- imprecise probabilities