STCS 32035

>< Type/ Status : Elective for students offering Statistics and Computer Science as a subject.
>< Title : Intelligent Knowledge Based Systems
>< Pre-requisites : STCS 21015
>< Objectives : At the end of this course the student should be able to demonstrate an understanding of the important aspects in an Intelligent Knowledge Based System, and demonstrate skills in writing programs using PROLOG.
>< Course Content :

Introduction: Introduction to Artificial Intelligence, Description of Intelligent Knowledge Based Systems (IKBS), Declarative/Procedural Programming Languages, Functional and Predicate Logic Based Languages.

Introduction to a Logic Programming Language: PROLOG.

Programming Techniques: Facts, Rules, Queries, Data Objects, Goal Matching and Backtracking, How Recursion Works in Prolog, The Use of the 'Cut', Negation as Failure, Problems with 'Cut' and Negation, Implementing IF-THEN-ELSE condition. Input and Output in Prolog, Communicating with files, Processing files of terms. Difference Lists, Representing Sets by Binary Trees etc., Searching and Sorting Techniques.

Theoretical Aspects: Prolog and Predicate Calculus, Writing Logical Statements, Theorem Proving, Putting Statements into Normal Form, Resolution Theorem Provers.

>< Methodology : A combination of lectures, tutorials and practical sessions.
>< Scheme of Evaluation : End of semester examination, practical examination and assignments.
>< Recommended Reading :
1. Bratko, Ivan, Prolog Programming for Artificial Intelligence, (1988, 2nd Edition), Addison-Wesley.
2. Sterling, L. & Shapiro, E., The Art of Prolog, (1986), The MIT Press.
3. Shinghal, R., Formal Concepts in Artificial Intelligence, (1992, 1st Edition), Chapman & Hall.
4. Luger, G. F.& Stubblefield, W. A., Artificial Intelligence, (1993, 2nd Edition) The Benjamin/Cummings Publishing Company, Inc.
5. Mc Donald C., Yazdani M., Prolog Programming, (1990, 1st Edition), Blackwell Scientific Publications.

Back