|
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
|
-
|
