Topic

No. of hours

Lecture

Tutorial/Practical

Symbolic Computation :-

- Symbolic representation.

- Physical symbol systems.

- Implementing symbol structures in  LISP.

3

3

-

Associative Nets and Frame Systems :-

- Graphs, trees and networks.

- The rise of associative networks.

- Representing typical objects.

3

3

-

Procedural Deduction :-

- Procedural deduction in PLANNER.

- PROLOG and MBASE.

- Meta-level inference in MRS.

3

3

-

The paradigms :-

- Paradigms for interaction.

Interaction design basics :-

3

3

-

Comparison of Representations :-

- The pros and cons of production  rules.

- The pros and cons of structured rules.

- The pros and cons of procedural rules.

3

3

-

Heuristic Classification :-

- Classifications of expert system  tasks.

- Classifications problem solving.

3

3

-

Expert Systems Tools for Building Expert Systems :-

- Overview of expert system tools.

- Expert system shells.

3

3

-

 Potential Implementation Problems :-

- common pitfalls and how to avoid them.

- Selecting a software tool.

3

3

-

Truth Maintenance Systems :-

- Keeping track of dependencies.

- Revising propositional theories.

3

3

-

Diagnosis from First Principles :-

- Basic assumptions of the approach.

3

3

-

Formal Models of Plausible inference :-

- Dempster-Shafer theory.

3

3

-

Rule Induction by Machine Learning :-

- Overview of learning.

3

3

-

 Early work: META-DENDRAL :-

- Induction of decision rules in  PLANT/DS.

3

3

-

 - Induction of decision trees in ID3.

- Recent work in tuning rule sets.

3

3

-