#1
| |||
| |||
![]() |
#3
| |||
| |||
![]()
I am providing you the syllabus of Symbolic Logic & Logic Processing SLLP program of B.Tech CSE VIII Sem of I.K. Gujral Punjab Technical University Jalandhar (IKGPTU) IKGPTU B.Tech CSE VIII Sem Symbolic Logic & Logic Processing SLLP syllabus CS 402 Symbolic Logic & Logic Processing Total Marks: 100 PREREQUISITIES ![]() OBJECTIVES:Representation of world knowledge using symbolic logic, Deductive strategies employed in symbolic logic and Programming in Prolog. COURSE CONTENTS: Prepositional logic: syntax and semantics: Validity and consequence. Normal forms. Representing world knowledge using prepositional logic. [15 %] First order logic: World knowledge representation and the need for quantifiers. Syntax, semantics validity consequence clause normal from. [20 %] Introduction to prolog: Syntax of prolog, Structured data representation. Execution model Introduction to Programming in Prolog, Illustrative examples. [20 %] The connection between logic and logic programming interpreting logic programs in terms of Horn clauses Deduction from clause form formulas resolution for prepositional logic Ground resolution. Unification and first order resolution SLD resolution; the computation and search rules. SLD trees and interpretation of non-declarative features of Prolog.[ 20 %] Advanced prolog features: programming techniques: Structural Induction and Recursion, Extra Logical features: Cut and Negation Case studies.[ 20 %] Introduction to Fuzzy logic neural networks [15 %] TEXT BOOKS 1) Stoll, set Theory and logic, Dover publishers, New York, 1963. 2) Clocksin, W.F. and Mellish, C.S., Programming in Prolog 2nd edition, Springer - Verlag, 1984 REFERENCES 1) Gries, The Science of Programming, Narosa Publishers, 1985 2) O' Keefe, R., The Craft of Prolog. The MIT Press, 1991. 3) Lloyd, J. W., Foundation of Logic Programming, Springer, 1984. Contact- I. K. Gujral Punjab Technical University Jalandhar-Kapurthala Highway, Near Pushpa Gujral Science City, Ibban, Kapurthala, Punjab 144603 |
![]() |
|