MCA Assignments : CS-14 TMA Intelligent Systems

MCA CS-14 TMA Intelligent Systems

Course Code : CS-14
Course Title : Intelligent Systems
Assignment Number : MCA (6)-14/TMA/04
Maximum Marks : 10
Last Date of Submission : 15th October, 2004

This is a Tutor Marked Assignment. There are four questions in this assignment. Answer all questions. You may use illustrations and diagrams to enhance explanations. Please go through the guidelines given in the Starter Kit regarding assignments.

Question 1: Explain the following symbolic logic concepts, with at least one example for each:

(i) Semantics of Propositional Logic
(ii) Valid Statement
(iii) Chain Rule of inference
(iv) Completeness of a formal system

(2 marks)

Question 2: Transform the following sentence into clausal form

(?u)(? v) (?t) p (t, v) > ((? s) Q (s, u) ? R (t, u))
(3 marks)

Question 3: Write the value of each of the following LISP expressions:

(i) (* 3 2 (+ 5 6))
(ii) (set q y (+ 5 6 7))
(iii) (lessp 13 5 15 8)
(iv) (equal a (cdr (a a))

(2 marks)

Question 4: Write a LISP function ODD-REVERSE which reverses the elements occurring at odd numbered positions but keeps the elements at even numbered position in their given positions. For example:

(ODD-REVERSE (5 7 ( 6 4) 3 12 (2 1) 9)) returns the list

(9 7 12 3 (6 4) (2 1) 5)
(3 marks)

Home > Tutor Mark Assignments - MCA > MCA Assignments : CS-14 TMA Intelligent Systems
Comments are closed.