联系我们： 手动添加方式: 微信>添加朋友>企业微信联系人>13262280223 或者 QQ: 1483266981

PAPER CODE NO. EXAMINER : Louwe Kuijer Tel. No.
COMP304/COMP521 DEPARTMENT : Computer Science
2019/2020
Master of Science: Year 1
Bachelor of Science: Year 3
Knowledge Representation and Reasoning
TIME ALLOWED : 50 minutes
INSTRUCTIONS TO CANDIDATES
This is the second class test. You have to answer all questions.
This test counts for 12% of your final grade.
PAPER CODE COMP304/COMP521 page 1 of 4 Continued
1. Translate the following concepts from English to ALC.
(a) A person who works at a university that teaches at least one module. (3 marks)
(b) A module that is taught by a lecturer who teaches only modules that are easy.
(3 marks)
(c) A dog that teaches only modules that have no prerequisites. (3 marks)
(d) A person who works at a university, and who owns at least one object. (3 marks)
(e) An animal that is neither a dog nor a cat. (3 marks)
Solution:
(f) See next page.
(g) The rightmost leaf does not contain ⊥. So the knowledge base K0
is consistent.
(h) Since K0
is consistent, K 6|= A v B.
PAPER CODE COMP304/COMP521 page 3 of 4 Continued
a : ?s.C u F
? (a, b) : r
x : C u ?s.(C t ?r.?r.D) x : ?s.?C
a : ?s.C u F
? (a, b) : r
x : C u ?s.(C t ?r.?r.D) x : ?s.?C
a : ?s.C a : F
?
a : ?s.C u F
? (a, b) : r
x : C u ?s.(C t ?r.?r.D) x : ?s.?C
a : ?s.C a : F

PAPER ODE COMP304/COMP521 page 4 of 4 End