Student name: Student Code:

Faculty of Computers and Information Technology Year:2014-2015 (Spring Semester)

Course Name: Language Engineering Quiz 2 (9-5-2015)
Course code: ITF 306
Instructor: Dr. Azza Taha Marks: 5
Form A Answer
1. Choose the correct answer: (4 Marks)
1) Select the Modus Ponens inference rule.
a) If P and P Q, then Q c) If Q and P Q, then P
b) If P Q and Q then P d) If P Q and P then Q
2) Synonyms are
a) Lexemes with identical orthographic forms with different
pronunciations.
b) Senses that are opposites with respect to one feature of the
meaning.
c) Lexemes with identical or very similar meaning.
d) None of the previous.
3) . are pairs of lexemes with identical orthographic forms with
different pronunciations with unrelated meanings.
a) Homonymy c) Homographs
b) Homophones d) Hyponymy
4) Lambda Notation is:
a) An extension of context-free grammar rule that specify how
to compute the meaning representation of a construction from
the meanings of its constituent parts.
b) The study of the meaning of linguistic utterances.
c) An extension to FOPL to enable substitution of formula
variables with other variables with different names.
d) None of the previous.
5) One disadvantage of the forward chinning is that facts may be
inferred and stored in the Knowledge Base that will never be
needed.
a) True b) False
6) refers to a single lexeme with multiple related meaning.
a) Synonymy c) Antonyms
b) Hyponymy d) Polysemy
7) x. y. Near(x,y) (Cairo)(Giza) is reduced to
a) Near (Cairo, Giza) c) x. y. Near(Cairo, Giza)
b) y. Near(Cairo, Giza) d) x. Near(Cairo, Giza)
8) If P and Q are true, which of the following formulas is True
a) P Q c) P P Q
b) P P Q d) None of the previous
2. Give FOPL translation for the following sentence (1 Mark )

Some EELU students like programming.

One possible correct representation:
x. Student(x, EELU) Likes (x, Programming)