Planning Module THREE: Planning, Production Systems,Expert Systems, Uncertainty Dr M M Awais.
1 FOL CS 331/531 Dr M M Awais Unification “It is an algorithm for determining the substitutions needed to make two predicate calculus expressions match”
Expert system : Examples. 2 RBS CS 331/531 Dr M M Awais “Classic” systems Pre-1980s Systems showed how to capture heuristic knowledge and store it; make.