vikas dhakane

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 backtracking and look ahead strategies. higher order and directional consistencies scene labeling constraint propagation a unified framework for planning. constraint satis plan space planning goal stack planning forward and backward state space planning rule based expert systems. planning: strips rule based systems problem decomposition: goal trees