{{{credits}}}
| L | T | P | C |
| 3 | 0 | 0 | 3 |
- To learn resolution for Propositional and Predicate Logic
- To learn inference in Production Systems
- To learn inheritance in Frames
- To learn the various techniques of handling uncertainty in Expert Systems
- To learn the use of OPS5 and CENTAUR in building Expert Systems.
{{{unit}}}
| UNIT I | FOUNDATIONS | 8 |
Introduction: Expert systems & AI – Examples – Separating knowledge & inference – A problem domain; Introduction to LISP: Fundamental principles of LISP – Overview of LISP language; Introduction to PROLOG: Logic programming – Programming in PROLOG – Overview of PROLOG language.
{{{unit}}}
| UNIT II | LOGIC & REASONING | 10 |
Logic and Resolution: Propositional logic – First order logic – Clausal form of logic – Reasoning in logic – Resolution and propositional logic – Resolution and first order logic – Resolution strategies – Implementation of SLD resolution – Applying logic for building expert systems.
{{{unit}}}
| UNIT III | PRODUCTION SYSTEMS & FRAMES | 10 |
Production Rules and Inference: Knowledge representation in a production system – Inference in a production system – Production rules as a representation formalism; Frames and Inheritance: Semantic nets – Frames and single inheritance – Frames and multiple inheritance – Frames as a representation formalism.
{{{unit}}}
| UNIT IV | UNCERTAINTY | 10 |
Reasoning with Uncertainty: Production rules, inference and uncertainty – Probability theory – The subjective Bayesian method – The certainty factor model – The certainty factor model in PROLOG – The Dempster-Shafer theory.
{{{unit}}}
| UNIT V | EXPERT SYSTEM LANGUAGES | 7 |
OPS5, LOOPS and CENTAUR: OPS5 – Knowledge representation in OPS5 – The OPS5 interpreter – The Rete algorithm – Building expert systems using OPS5; CENTAUR: Prototypes – Facts – Reasoning in CENTAUR.
\hfill Total Periods: 45
After the completion of this course, students will be able to:
- Implement SLD resolution using LISP (K3)
- Develop programs in Prolog (K3)
- Explain and compare the different models of uncertainty (K3)
- Use OSP5 interpreter (K2)
- Build a knowledge base for a particular problem domain, using PROLOG and/or LISP (K3).
- Peter J F Lucas, Linda C van der Gaag, “Principles of Expert Systems”, Addison-Wesley, 1991.
- Joseph C Giarratano, “Expert Systems: Principle & Programming”, 4th Edition, Cengage Learning, 2007.
- Donald Waterman, “A Guide to Expert Systems”, Pearson Education, 1986.
- Mathew Beard, “Expert Systems: An Introduction”, Self-published, 2014.
- Peter Jackson, “Introduction to Expert Systems”, Pearson Education, 2002.
- Dan W Patterson, “Introduction to Artificial Intelligence and Expert Systems”, Pearson Education, 2007.
- V. Daniel Hunt, “Artificial Intelligence and Expert Systems Sourcebook”, Springer-Verlag, 2011.