A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations.
Yuichi GotoTakahiro KohJingde ChengPublished in: KES (2) (2008)
Keyphrases
- learning algorithm
- times faster
- expectation maximization
- significant improvement
- improved algorithm
- detection algorithm
- worst case
- experimental evaluation
- inference mechanism
- computational complexity
- genetic algorithm
- computational cost
- dynamic programming
- np hard
- special case
- expert systems
- preprocessing
- optimal solution
- objective function
- decision trees
- cost function
- distributed systems
- input data
- optimization algorithm
- model checking
- recognition algorithm
- neural network
- deductive reasoning