Question

In: Computer Science

Given the following sentences: All hounds howl at night. Anyone who has any cats will not...

Given the following sentences:

  1. All hounds howl at night.
  2. Anyone who has any cats will not have any mice.
  3. Light sleepers do not have anything which howls at night.
  4. John has either a cat or a hound.
  5. (Conclusion) If John is a light sleeper, then John does not have any mice.

Part 1:

  1. Translate into propositional logic sentences
  2. Convert the propositional sentences into Conjunctive Normal Form (CNF)

Solutions

Expert Solution

a.)


1. ∀x(Hound(x) → Howl(x))
2. ∀x∀y(Have(x, y) ∧ Cat(y) → ¬∃z(Have(x, z) ∧ Mouse(z)))
3. ∀x(LS(x) → ¬∃y(Have(x, y) ∧ Howl(y)))
4. ∃x(Have(John, x) ∧ (Cat(x) ∨ Hound(x)))
5. LS(John) → ¬∃z(Have(John, z) ∧ Mouse(z))

b.)

1. ¬Hound(x) ∨ Howl(x)
2. ¬Have(x, y) ∨ ¬Cat(y) ∨ ¬Have(x, z) ∨ ¬Mouse(z)
3. ¬LS(x) ∨ ¬Have(x, y) ∨ ¬Howl(y)
4. (a) Have(John, a)
(b) Cat(a) ∨ Hound(a)
5. (a) LS(John)
(b) Have(John, b)
(c) Mouse(b)


we proceed to prove the conclusion by resolution using the above clauses. Each result clause
is numbered; the numbers of its parent clauses are shown at the right-hand side.
6. Cat(a) ∨ Howl(a)                        [1, 4(b)]
7. ¬Have(x, y) ∨ ¬Cat(y) ∨ ¬Have(x, b)     [2, 5(c)]
8. ¬Have(John, y) ∨ ¬Cat(y)                [7, 5(b)]
9. ¬Have(John, a) ∨ Howl(a)                [6, 8]
10. Howl(a)                                [4(a), 9]
11. ¬LS(x) ∨ ¬Have(x, a)                   [3, 10]
12. ¬LS(John)                              [4(a), 11]
13.                                        [5(a), 12]

Related Solutions

Given the following sentences: All hounds howl at night. Anyone who has any cats will not...
Given the following sentences: All hounds howl at night. Anyone who has any cats will not have any mice. Light sleepers do not have anything which howls at night. John has either a cat or a hound. (Conclusion) If John is a light sleeper, then John does not have any mice. Negate the conclusion (FOL) Use resolution to prove the conclusion (FOL)
Given the following sentences: All hounds howl at night. Anyone who has any cats will not...
Given the following sentences: All hounds howl at night. Anyone who has any cats will not have any mice. Light sleepers do not have anything which howls at night. John has either a cat or a hound. (Conclusion) If John is a light sleeper, then John does not have any mice. Negate the conclusion Use resolution to prove the conclusion
Given the following sentences: All hounds howl at night. Anyone who has any cats will not...
Given the following sentences: All hounds howl at night. Anyone who has any cats will not have any mice. Light sleepers do not have anything which howls at night. John has either a cat or a hound. (Conclusion) If John is a light sleeper, then John does not have any mice. Use resolution to prove the conclusion Translate into FOL sentences Convert the FOL sentences from a into Conjunctive Normal Form (CNF)
A hotel has 100 rooms. On any given night, it takes up to 105 reservations, because...
A hotel has 100 rooms. On any given night, it takes up to 105 reservations, because of the possibility of no-shows. Past records indicate that the number of daily reservations is uniformly distributed over the range 96-105. That is, each integer number in this range has a probability of 10%, of showing up. The no-shows are represented by the distribution in the table below. Number of No-Shows Probability 0 15% 1 20% 2 35% 3 15% 4 15% Based on...
Answer the following questions in your post: Do you know anyone who has had their DNA...
Answer the following questions in your post: Do you know anyone who has had their DNA analyzed by 23andMe, Ancestry or another company?    How did they feel about it? explain why you think people are motivated to pay to have their DNA analyzed. After listening to the podcasts, would you be interested in testing your DNA? Why or why not? Explain two distinct criticisms of DTC testing as discussed by the experts in the podcasts.   Pick the ones you think...
5. Anyone who has ever owned a car will recognize the following situations. Suggest what might...
5. Anyone who has ever owned a car will recognize the following situations. Suggest what might be occurring in the structure of the material in each case. a. The insides of the windows develop a haze that resembles smoke, but it is not smoke. b. Vinyl seats crack after a period of time. Those areas exposed to sunlight are especially susceptible. 7 Draw a log modulus-temperature plot for a typical amorphous polymer. Indicate the regions exhibited by the polymer (eg.,...
A randomly selected sample of 14 students who stayed up all night to study for an...
A randomly selected sample of 14 students who stayed up all night to study for an exam received an average grade of 68% with a standard deviation of 8%. Another randomly selected sample of 12 students who wrote the same exam after a good night’s sleep received an average grade of 75% with a standard deviation of 7%. At a 5% significance level, does the sample provide enough statistical evidence to support a claim that students who stay awake all...
has anyone finished all the parts to the question Programs Plus is a retail firm that...
has anyone finished all the parts to the question Programs Plus is a retail firm that sells computer programs for home and business use. On December 31, 2019, its general ledger contained the accounts and balances shown below: Only finding bits and pieces on here. College accounting Programs Plus is a retail firm that sells computer programs for home and business use. On  December 31, 2019, its general ledger contained the accounts and balances shown below: ACCOUNTS BALANCES Cash $ 15,280...
In 2002, Congress passed the Body Armor Act that made it illegal for anyone who has...
In 2002, Congress passed the Body Armor Act that made it illegal for anyone who has been convicted of a violent felony to possess body armor. Cedrick Alder- man was convicted of violating the statute, and he then challenged the law’s constitutionality during appeal. Alderman contended that Congress had exceeded its authority because the law was not sufficiently related to interstate commerce. CASE QUESTIONS 1. Is the Body Armor Act constitutional? 2. If Alderman purchased the body armor in the...
Anyone who has studied statistics or research has heard the saying "Correlation does not imply causation."...
Anyone who has studied statistics or research has heard the saying "Correlation does not imply causation." What factors must an analyst consider to decide whether the correlation is meaningful enough to investigate further?
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT