BCS303 - Assignment
BCS303 - Assignment
Question one:
What is known:
o 1. The law says that it is a crime for an American to sell weapons to hostile
nations: ∀𝑥, 𝑦, 𝑧[(𝐴𝑚𝑒𝑟𝑖𝑐𝑎(𝑥) ∧ 𝑊𝑒𝑎𝑝𝑜𝑛(𝑦) ∧ 𝑁𝑎𝑡𝑖𝑜𝑛(𝑧) ∧ 𝐻𝑜𝑠𝑡𝑖𝑙𝑒(𝑧) ∧
𝑆𝑒𝑙𝑙𝑠(𝑥, 𝑧, 𝑦) → 𝐶𝑟𝑖𝑚𝑖𝑛𝑎𝑙(𝑥))].
o 2. The country Nono, an enemy of America, has some missiles and all of its
missiles were sold to it by Colonel West, who is an American:
∃𝑥[𝑂𝑛𝑤𝑠(𝑁𝑜𝑛𝑜, 𝑥) ∧ 𝑀𝑖𝑠𝑠𝑖𝑙𝑒(𝑥)],
o 3. ∀ 𝑥[(𝑂𝑤𝑛𝑠(𝑁𝑜𝑛𝑜, 𝑥) ∧ 𝑀𝑖𝑠𝑠𝑖𝑙𝑒(𝑥)) → 𝑆𝑒𝑙𝑙𝑠(𝑊𝑒𝑠𝑡, 𝑁𝑜𝑛𝑜, 𝑥)],
o 4. ∀𝑥[𝑀𝑖𝑠𝑠𝑖𝑙𝑒(𝑥) → 𝑊𝑒𝑎𝑝𝑜𝑛(𝑥)],
o 5. ∀𝑥[𝐸𝑛𝑒𝑚𝑦(𝑥, 𝐴𝑚𝑒𝑟𝑖𝑐𝑎) → 𝐻𝑜𝑠𝑡𝑖𝑙𝑒(𝑥)],
o 6. 𝐴𝑚𝑒𝑟𝑖𝑐𝑎(𝑊𝑒𝑠𝑡),
o 7. 𝑁𝑎𝑡𝑖𝑜𝑛(𝑁𝑜𝑛𝑜),
o 8. 𝐸𝑛𝑒𝑚𝑦(𝑁𝑜𝑛𝑜, 𝐴𝑚𝑒𝑟𝑖𝑐𝑎),
o 9. 𝑁𝑎𝑡𝑖𝑜𝑛(𝐴𝑚𝑒𝑟𝑖𝑐𝑎).
What to prove: West is a criminal. 𝑪𝒓𝒊𝒎𝒊𝒏𝒂𝒍(𝑾𝒆𝒔𝒕)
Question two
What is the probability that John has malaria given that he has a slightly
unusual symptoms: a high fever. Given that (a) probability that a person has
malaria regardless of symptoms is 0.0001, (b) probability that a person has the
symptom of fever given that he has malaria is 0.75, (c) probability that a person
has symptom of fever given that he does not have malaria is 0.14, and (d) John
has fever.
Question three
Write short notes about the following concepts as related to machine learning
a) Supervised learning
b) Unsupervised learning
c) Reinforcement learning
d) Deep learning
e) Semi-supervised learning
The end