Posted: April 4th, 2022

Artificial intelligence – (knowledge representation and reasoning)

COMP4418, 2013 { Assignment 1 Questions 1 & 2 Due: 11:59:59am Wednesday 28 August (Late penalty: 10 marks per day) Questions 3 & 4 Due: 11:59:59am Wednesday 4 September (Late penalty: 10 marks per day) Worth: 13 . 1. [10 Marks] (Propositional Inferences) Prove that the following inferences hold in propositional logic using the truth table method. (a) j= :p _ p (b) p j= q ! p (c) (p ^ q) ^ r j= p ^ (q ^ r) (d) p $ q j= (q $ r) ! (p $ r) (e) p $ q j= (p ^ q) _ (:p ^ :q) Prove that the following inferences hold in propositional logic using resolution. (f) :(p _ q) ` :p (g) p ` p _ q (h) p $ q ` :(p $ :q) (i) ` (:p ^ :q) ! (p $ q) (j) p ! q; :r ! :q ` p ! r 2. [20 Marks] (Logic Puzzle) Donald and Daisy Duck took their nephews aged 4, 5 and 6 on an outing. Each boy wore a tee-shirt with a dierent design on it and of a dierent colour. You are also given the following information: Huey is younger than the boy in the green tee-shirt The ve year-old wore the tee-shirt with the camel design Dewey’s tee-shirt was yellow Louie’s tee-shirt bore the girae design The panda design was not featured on the white tee-shirt (a) Represent these facts as sentences in rst-order logic. (b) Using your formalisation in part (2a), is it possible to conclude the age of each boy together with the colour and design of the tee-shirt they’re wearing? Show semantically how you determined your answer. (c) If your answer to part (2b) was `no’, indicate what further sentences you would need to add to your formalisation so that you could conclude the age of each boy together with the colour and design of the tee-shirt they’re wearing. 1 3. [20 Marks] (Knowledge Representation and Reasoning) Select a method for knowledge representation and reasoning that we have not covered in lectures and write 1{2 pages addressing the following: (a) briey describe how the method represents knowledge and include an example; (b) briey describe the inference procedure(s) adopted by the method for reasoning; and, (c)…

Save Time On Research and Writing
Hire a Pro to Write You a 100% Plagiarism-Free Paper.
Get My Paper

Expert paper writers are just a few clicks away

Place an order in 3 easy steps. Takes less than 5 mins.

Calculate the price of your order

You will get a personal manager and a discount.
We'll send you the first draft for approval by at
Total price:
$0.00
Open chat
1
Order through WhatsApp!
affordablepaperwritings.com
Hello!
You Can Now Place your Order through WhatsApp

Order your essay today and save 30% with the discount code DISCOUNTS2022