N A L A N D A O P E N U N I V E R S I T Y
Master of Computer Application Part-III
PAPER-XXVII
(MCSE-003: Artificial Intelligence and Knowledge Management)
Annual Examination, 2017
Time 3 Hours. Full Marks 80
Answer any Five Questions.
All questions carry equal marks.
1. What is Prenex Normal Form? Explain with the help of an example.
2. Write FOPL to represent the following statements, and prove whether the conclusion follows
from the premises or not
All dancers love to dance.
Everyone who sings and plays an instrument loves to dance.
Therefore, all dancers sing and play an instrument.
3. What do you mean by Non-monotonic reasoning system? What are the constituent
components of such systems?. Describe the interrelation between the components of such
systems.
4. Explain 'script' knowledge representation technique and write a script for a supermarket.
5. Write a LISP program to convert the temperature in Fahrenheit to that in Centigrade. Evaluate
the following LISP expressions
9
(expt 2
(evenp 9
(equal one)
6. List the limitations of using propositional logic to represent the knowledge base. Write a well
formed formula for the following
God loves everyone who loves someone.
Every person has a mother.
7. Differentiate between forward and backward chaining. What factors affect the decision to
choose forward or backward chaining?
8. What is a Turing Test? Do you know about any machine which passed the Turing Test Write
the importance of Expert System.
9. What do you mean by local maxima with respect to search technique? Explain with an
example.
10. What do you mean by Agent in Artificial Intelligence? Discuss the properties and role of
Agents in artificial intelligence. Represent the following statement in PROLOG
Rita reads a book.