:

:
2016 / 7 /
3 :
:

Ministry of Higher Edu. & Sc.

Research
Alma'arif University College
Computer Science Dep.
Class: 4rd
Subject:AI
Date
/ 7 / 2016
2016-2015
Time: 3 hours
Final Exam 2015-2016
Sample:

Note: Answer Five Questions Only

Q1: Define rational agent? Give example of an agent?
(10 Marks)
Q2: Transform the following formula into the clausal form of logic.
(10 Marks)
x ( P ( x ) Q ( x )) x (Q ( x ) R ( x )) P ( a )

Q3: State the reasons when the hill climbing often gets stuck.
(10 Marks)
Q4: Consider the search space below, where S is the start node and G1,

G2 and G3 satisfy the goal test. Arcs are labeled with the cost of
traversing them and the estimated cost to a goal is reported inside
nodes. For the algorithm A, indicate which goal state is reached (if
any).
(10 Marks)

8
2

6
B

E
5

G
1

6 2

C
5

G
3

G
2

.Head Of Dep
Dr. Omer K. Jasim

Instructor:
Page 1 of 3

Dhafar Hamed Abd

Ministry of Higher Edu. & Sc.

Research
Alma'arif University College
Computer Science Dep.
Class: 4rd
Subject:AI
Date
/ 7 / 2016
2016-2015
Time: 3 hours
Final Exam 2015-2016
Sample:

:
:
2016 / 7 /
3 :
:

Q5: Consider the search problem below with start state S and goal state

G. The transition costs are next to the edges, and the heuristic
values are next to the states.
(10 Marks)

?A- What is the final path for this DFS search

?B- What is the final path for this A* search
C- Is the heuristic function in this question admissible?
Q6: A: Translate the following statement into FOL. For every a, if a is a

philosopher, then a is a scholar

(5 Marks)
Q6: B: Represents the following sentences in predicate logic:
(5 Marks)

.Head Of Dep
Dr. Omer K. Jasim

Instructor:
Page 2 of 3

Dhafar Hamed Abd

Ministry of Higher Edu. & Sc.

Research
Alma'arif University College
Computer Science Dep.
Class: 4rd
Subject:AI
Date
/ 7 / 2016
2016-2015
Time: 3 hours
Final Exam 2015-2016
Sample:

:
:
2016 / 7 /
3 :
:

If Ali drives Omar, then Ali is the driver and Omar is the -1
:passenger
Ahmed is a man -2

.Head Of Dep
Dr. Omer K. Jasim

Instructor:
Page 3 of 3

Dhafar Hamed Abd