Apply basic logical inference to a non-trivial example

Assignment Help Mathematics

Reference no: EM131922652

Question:

Purpose: To apply basic logical inference to a non-trivial example.

The questions below will address the following first-order logic knowledge base (KB).
• ∃x Pail(x) ∧ Fetch(Jack, x)
• ∀x (∃y Pail(y) ∧ Fetch(x, y)) ⇒ Fallen(x)
• ∀x Fallen(x) ⇒ (∀y Needed(y) ⇒ ¬Carries(x, y))
• Carries(Jack, Water) ∨ Carries(Jill, Water)
• Needed(Water)

(a) Express the above formulae in conjunctive normal form (CNF).

(b) Give a resolution proof of the query Carries(Jill, Water). Use the CNF from the previous Part.

What to Hand in

• The given KB expressed in CNF.
• A simple resolution proof of Carries(Jill, Water)

Reference no: EM131922652

Questions Cloud

Efficient at blocking transcription of the operon : What would happen to E. coli's ability to metabolize lactose if the LacI repressor protein was 100% efficient at blocking transcription of the operon?

What types of information technology do you as a student use : What types of information technology do you as a student use on a regular basis? How might your life be different if this technology were not available to you?

How difficult is it to separate your observation : How difficult is it to separate your observation of your behavior from your interpretation of it? Is it easier now than it was earlier in the class?

Prepare the journal entry that wood-mode should make : Prepare the journal entry that Wood-Mode should make, assuming it signed a valid sales contract to sell the counters and received at the time of sale

Apply basic logical inference to a non-trivial example : Express the above formulae in conjunctive normal form - Give a resolution proof of the query Carries(Jill, Water). Use the CNF from the previous Part

Write a research paper on the given topic : Write a 7 page research paper. This primary research should include both Internet searches and electronic library source (databases) with an emphasis.

Identify the mediums that are used today to deliver news : Identify the mediums that are used today to deliver news. What are the advantages and disadvantages to how news is delivered today?

How people integrate stereotypes and individual information : How people integrate stereotypes and individuating information to arrive at person perception judgments?

Calculate susan casualty loss : Susan's AGI in 2013 is $50,000 and she used her home for personal purposes only. Calculate Susan's casualty loss

User Account

All Pages