Knowledge Based Systems and Logic Programming
Logic Programming Needs - Knowledge Representation, Inference and Theorem Proving Techniques
KR includes: Propositional Logic, Predicate Calculus, Semantic nets and Frames
Knowledgebased systesm would include
Definition/Advantages/Disadvantages/Difference between convential programs and KBS, Examples of Expert Systems and Inference techniques.
Need to learn programming Languages Like Prolog/Lisp/Java and CLIPS