Artificial Intelligence Question

CS 4660: Artificial Intelligence

Fall 2022

Assignment 2

Due 11:59pm October 4th, 2022

 

Directions: Complete questions 1-5 below. Show your work where applicable. Submit 1 PDF document with your text answers (Typed or Handwritten and Scanned).

 

  1. (10pt) Consider the following sentences.
    1. ((smoke ∧ heat) → fire) ⇔ ((smoke → fire) ∨ (heat → fire))
      1. (2.5 pt) Show the truth table for this sentence
      2. (2.5 pt) Is this sentence Valid, Satisfiable, or Neither
    2. (a1 ∨ a3) ∧ (¬a1 ∨ a2) ∧ (¬a1 ∨ a4) ∧ (¬a1 ∨ ¬a4) ∧ (¬a3).
      1. (2.5 pt) Show the truth table for this sentence
      2. (2.5 pt) Is this sentence Valid, Satisfiable, or Neither

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

  1. (20 pt) Represent the following sentences in first-order logic, using a consistent vocabulary (which you must define as well).
    1. (1pt) Define the vocabulary. For example, you might have:
      1. Buys(X,Y,Z) = Person X buys Item Y from Person Z
      2. W > Score(X,Y,Z) = W is larger than score Person X gets in course Y during semester Z
  • Predicates: Person(X), Clever(Y), Politician(Z)

It may make more sense to do question a. last.

  1. (1pt) Every person who buys a policy is clever.
  2. (1pt) No person buys an expensive policy.
  3. (1pt) There is a barber who shaves all men in town who do not shave themselves.
  4. (1pt) A person born in the UK, each of whose parents is a UK citizen or a UK resident, is a UK citizen by birth.
  5. (1pt) A person born outside the UK, one of whose parents is a UK citizen by birth, is a UK citizen by descent.
  6. (1pt) Politicians can fool some of the people all of the time, and they can fool all of the people some of the time, but they can’t fool all of the people all of the time.
  7. (1pt) Some students took Russian in spring 2001.
  8. (1pt) Only one student took German in spring 2001.
  9. (1pt) The best score in German is always higher than the best score in Russian.

 

 

  1. (10 pt) Attempt to unify the following pairs of expressions. Either show their most general unifiers, or explain why they will not unify. Use the {a/b} substitution form. Upper case letters are variables, lowercase are constants. Assume all variables are universally instantiated.
    1. (2 pt) p(X, a, Y) and  p(Z, Z, b)
    2. (2 pt) p(X, X) and  p(a, b)
    3. (2 pt) p(X, Y, Z) and  p(c,d,d)
    4. (2 pt) ancestor(X, father(X)) and  ancestor(david, george)
    5. (2 pt) p(a, X) and p(Y, Z)

 

 

 

 

 

 

 

 

 

  1. (30 pt) Consider the following knowledge base
    1. Prove that Q is true with:
    2. P → Q
    3. L ∧ M → P
    4. B ∧ L → M
    5. A ∧ P → L
    6. A ∧ B → L
    7. A
    8. B
    9. (4 pt) Forward-Chaining
    10. (4 pt) Backward-Chaining
  • (4 pt) Resolution

 

  1. Prove t → s:
    1. p → q
    2. [q ∧ r] → s
    3. [t ∧ u] → r
    4. u → w
    5. t → y
    6. y → u
    7. r → p
    8. p → m
    9. (3 pt) Express in clause form
    10. (5 pt) Forward-Chaining

iii.        (5 pt) Backward-Chaining

  1. (5 pt) Resolution

 

 

 

 

 

 

 

 

 

 

 

 

 

 

  1. (40 pt) Consider the following stories:
    1. “All dogs who are not tired and are smart are happy. Those dogs who do tricks are not stupid.  Fido can do tricks and is full of energy.  Happy dogs have exciting lives.”
      1. (2.5 pt) Translate the sentences of into predicate form
      2. (2.5 pt) Transform the predicate sentences into clause form
  • (5 pt) Prove via forward chaining that Fido has an exciting life
  1. (5 pt) Prove via backward chaining that Fido has an exciting life
  2. (5 pt) Prove via Resolution that Fido has an exciting life

 

  1. “Anyone passing the history exams and winning the lottery is happy. But anyone who studies or is lucky can pass all the exams.  John did not study, but he is lucky.  Anyone who is lucky wins the lottery.”
    1. (2.5 pt) Translate the sentences of into predicate form
    2. (2.5 pt) Transform the predicate sentences into clause form
  • (5 pt) Prove via forward chaining that John is happy.
  1. (5 pt) Prove via backward chaining that John is happy
  2. (5 pt) Prove via Resolution that John is happy

 

Calculate your paper price
Pages (550 words)
Approximate price: -

Why Choose Us

Quality Papers

We value our clients. For this reason, we ensure that each paper is written carefully as per the instructions provided by the client. Our editing team also checks all the papers to ensure that they have been completed as per the expectations.

Professional Academic Writers

Over the years, our Acme Homework has managed to secure the most qualified, reliable and experienced team of writers. The company has also ensured continued training and development of the team members to ensure that it keep up with the rising Academic Trends.

Affordable Prices

Our prices are fairly priced in such a way that ensures affordability. Additionally, you can get a free price quotation by clicking on the "Place Order" button.

On-Time delivery

We pay strict attention on deadlines. For this reason, we ensure that all papers are submitted earlier, even before the deadline indicated by the customer. For this reason, the client can go through the work and review everything.

100% Originality

At Buy An Essay, all papers are plagiarism-free as they are written from scratch. We have taken strict measures to ensure that there is no similarity on all papers and that citations are included as per the standards set.

Customer Support 24/7

Our support team is readily available to provide any guidance/help on our platform at any time of the day/night. Feel free to contact us via the Chat window or support email: support@acmehomework.com.

Try it now!

Calculate the price of your order

We'll send you the first draft for approval by at
Total price:
$0.00

How it works?

Follow these simple steps to get your paper done

Place your order

Fill in the order form and provide all details of your assignment.

Proceed with the payment

Choose the payment system that suits you most.

Receive the final file

Once your paper is ready, we will email it to you.

Our Services

Buy An Essay has stood as the world’s leading custom essay writing services providers. Once you enter all the details in the order form under the place order button, the rest is up to us.

Essays

Essay Writing Services

At Buy An Essay, we prioritize on all aspects that bring about a good grade such as impeccable grammar, proper structure, zero-plagiarism and conformance to guidelines. Our experienced team of writers will help you completed your essays and other assignments.

Admissions

Admission and Business Papers

Be assured that you’ll definitely get accepted to the Master’s level program at any university once you enter all the details in the order form. We won’t leave you here; we will also help you secure a good position in your aspired workplace by creating an outstanding resume or portfolio once you place an order.

Editing

Editing and Proofreading

Our skilled editing and writing team will help you restructure you paper, paraphrase, correct grammar and replace plagiarized sections on your paper just on time. The service is geared toward eliminating any mistakes and rather enhancing better quality.

Coursework

Technical papers

We have writers in almost all fields including the most technical fields. You don’t have to worry about the complexity of your paper. Simply enter as much details as possible in the place order section.