Scribd Logo
Upload

Welcome to Scribd!

  • 37 views

    Paper ID (A04801: Roll No. Total No. of Questions: 091 (Total No. of Pages: 02

    Uploaded by

    ravinder_sandhu_1
    This document appears to be an exam paper for a course on Symbolic Logic and Logic Processing. It contains: 1) Instructions for students on the exam structure which has one compulsory section and options to attempt questions from other sections. 2) A list of 9 questions covering topics like recursion, quantifiers, SLD trees, features of Prolog, types of propositional logics, normal forms, cut and negation as failure in Prolog, Horn clauses, structured data representation, first order logic features, Prolog features, representing world knowledge in propositional logic and first order logic, validity and consequence, fuzzy logic applications, and short notes on neural networks and normal forms. 3) Sections labeled A,

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PDF, TXT or read online from Scribd

    Paper ID (A04801: Roll No. Total No. of Questions: 091 (Total No. of Pages: 02

    Uploaded by

    ravinder_sandhu_1
    37 views2 pages
    This document appears to be an exam paper for a course on Symbolic Logic and Logic Processing. It contains: 1) Instructions for students on the exam structure which has one compulsory section and options to attempt questions from other sections. 2) A list of 9 questions covering topics like recursion, quantifiers, SLD trees, features of Prolog, types of propositional logics, normal forms, cut and negation as failure in Prolog, Horn clauses, structured data representation, first order logic features, Prolog features, representing world knowledge in propositional logic and first order logic, validity and consequence, fuzzy logic applications, and short notes on neural networks and normal forms. 3) Sections labeled A,

    Original Title

    cs8-sllp-dec08

    Copyright

    © Attribution Non-Commercial (BY-NC)

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    This document appears to be an exam paper for a course on Symbolic Logic and Logic Processing. It contains: 1) Instructions for students on the exam structure which has one compulsory section and options to attempt questions from other sections. 2) A list of 9 questions covering topics like recursion, quantifiers, SLD trees, features of Prolog, types of propositional logics, normal forms, cut and negation as failure in Prolog, Horn clauses, structured data representation, first order logic features, Prolog features, representing world knowledge in propositional logic and first order logic, validity and consequence, fuzzy logic applications, and short notes on neural networks and normal forms. 3) Sections labeled A,

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PDF, TXT or read online from Scribd
    Download as pdf or txt
    37 views2 pages

    Paper ID (A04801: Roll No. Total No. of Questions: 091 (Total No. of Pages: 02

    Uploaded by

    ravinder_sandhu_1
    This document appears to be an exam paper for a course on Symbolic Logic and Logic Processing. It contains: 1) Instructions for students on the exam structure which has one compulsory section and options to attempt questions from other sections. 2) A list of 9 questions covering topics like recursion, quantifiers, SLD trees, features of Prolog, types of propositional logics, normal forms, cut and negation as failure in Prolog, Horn clauses, structured data representation, first order logic features, Prolog features, representing world knowledge in propositional logic and first order logic, validity and consequence, fuzzy logic applications, and short notes on neural networks and normal forms. 3) Sections labeled A,

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PDF, TXT or read online from Scribd
    Download as pdf or txt
    of 2

    Roll No. Total No. of Questions: 091 [Total No.

    of Pages: 02

    PaperID [A04801
    (Plcasefill this Paper ID in OllR Sheet)

    B.Tech. (Sem. - 7thl8th)

    (CS - 402) SYMBOLTC LOGIC & LOGIC PROCESSTNG Maximum Marks : 60 Time : 03 Hours Instruction to Candidates: 1) Section A is Compulsory. from Section- B. 2) Attempt any Four questions from Section- C. 3) Attempt any Two questions Section- A Ql) a) b) c) d) e) 0 g) h) i) j) What is recursionexplainwith example. which methodwill be best. series fabonacci To calculate What is the basicbehindfirst orderlogic? What do you think aboutquantifiers? of Whereyou find application SLD trees? Namesomeextralogic features. of What do you think aboutfeatures prolog? logics. Name sometypesof prepositional How normalforms can be used? logic? the Briefly describe syrnbolic Section- B (4x5:20) Q2) Differentiatebetweencut & negationcarestudies. can be used? Q3) How horn clauses Q0x2:20)

    E-401[12081

    PT,O.

    datarepresentation? Qa) What is structured in Q5) Explain world knowledgerepresentation first orderlogic? features prolog? of Q6) Whatisprologandwhat do you think aboutnon-declarative Section- C (2 x I0:20) logic?Also what usingprepositional world knowledge how represent Q7) Explain arethe validity andconsequence? and applicationof fizzy logic. QS) Explain the importance Q9) Write shortnoteson: (a) NeuralNetworks. (b) NormalForms:

    ss

    E-4OI

    '2

    You might also like