Pest Analysis

Only available on StudyMode
  • Topic: Logic, First-order logic, Predicate logic
  • Pages : 2 (355 words )
  • Download(s) : 2429
  • Published : May 21, 2013
Open Document
Text Preview
Chapter 4
Knowledge Representation question and answers
1. Consider the following statements
a) Reema is a super star.
b) All super stars are rich.
c) All rich people have fast cars.
d) All fast cars consume a lot of petrol.
Use predicate logic and inference rules to draw the conclusion “Reema’s car consumed a lot of petrol”. a. List any two knowledge representation techniques.
b. Write Modus Ponens rule.
c. Define disjunctive normal form with suitable example. 2. Consider given sentences:
It is crime to steal
Ram stole in exam
Is Ram criminal?
Write above sentences in First Order Predicate calculus and use resolution algorithm to answer Is Ram Criminal? 1. Why are propositional logic statements converted into conjunctive normal form (CNF)? Convert given clause to CNF.

d. Define logical consequence.
e. Why is propositional logic used?
3. Consider given sentences:
Ram is a boy.
Gita is a girl.
Ram is husband of Gita
If girl has husband then she is married.

Write above sentences in First Order Predicate calculus and resolution algorithm to show Gita is married. 2. Represent the following paragraph using predicate logic and convert each sentence into clausual form. “The law says that it is a crime for an American to sell weapons to hostile nations. The country Nono, an enemy of America, has some missiles, and all of its missiles were sold to it by Colonel West, who is American.” a. In propositional logic what is meant by contradict statement? b. What is meant by conjunctive normal form?

Show the relation between universal quantifier and existential quantifier a. Define conjunctive normal form and disjunctive normal form. b. Why is predicate logic better than propositional logic? Parse the sentence “Ram is a good boy” using bottom up parsing 1. Represent the following sentence using propositional logic:- “If the unicorn is mythical, then it is immortal, but if...
tracking img