Control of Heuristic Search in a Prolog-based Microcode Synthesis Expert System.
Michael D. PoePublished in: FGCS (1984)
Keyphrases
- heuristic search
- expert systems
- bidirectional search
- search algorithm
- search space
- state space
- constraint satisfaction
- knowledge base
- fuzzy logic
- logic synthesis
- search problems
- beam search
- forward search
- search strategies
- knowledge representation
- inference engine
- ai planning
- backward chaining
- heuristic search algorithms
- artificial intelligence
- state space search
- automated planning
- pattern databases
- path finding
- reinforcement learning
- optimal planning
- temporal planning
- heuristic function
- dynamic programming
- domain specific