狠狠撸

semantic nets. frames second order logic. knowledge representation: conc backward chaining deductive retrieval resolution in propositional and first order logic propositional and first order logic facets of knowledge. logic and inferences: formal knowledge based reasoning: agents pruning the closed and open lists recursive best first search iterative deepening a* tabu search. optimal search: a * algorithm beam search variable neighborhood descent hill climbing best first search depth first iterative deepening. heuristic search: typical applications. state space search: depth bo artificial intelligence: introduction problem decomposition: goal trees rule based systems rule based expert systems. planning: strips forward and backward state space planning goal stack planning plan space planning a unified framework for planning. constraint satis constraint propagation scene labeling higher order and directional consistencies backtracking and look ahead strategies.