Question

In: Computer Science

Joe, Sally, Bill, and Ellen are the only members of the club. Joe is married to...

Joe, Sally, Bill, and Ellen are the only members of the club.

Joe is married to Sally.

Bill is Ellen’s brother.

The spouse of every married person in the club is also in the club.

From the paragraph, many people could conclude that Ellen is not married.

[Hint] The properties of equality can be used.

1) Represent the above sentences into FOL(First Order Logic) with your ontology.

2) For many people for to conclude that Ellen is not married, what knowledge must be added to the knowledge base? Give the additional FOL formulas.

3) Using the augmented knowledge base, prove that Ellen is not married by refutation-resolution.

Solutions

Expert Solution

Ans(1) :

The above sentences in First Order Logic (FOL) :

1. ∀x Member(x) → x = Joe ∨ x = Sally ∨ x = Bill ∨ x = Ellen

2. M arried(Joe, Sally)

3. Brother(Ellen, Bill)

4. ∀x M arried(x) → Member(Spouse(x))

=======================================================================================

Ans(2) :

To conclude that Ellen is not married, the below knowledge must be added to the knowledge base :

5. ∀x, y M arried(x, y) → House(x) = House(y)

6. ∀x, y M arried(x, y) → M arried(y, x)

7. ∀x, y Brother(x, y) → ¬M arried(x, y)

8. ∀x, y M arried(x, y) ⇔ Spouse(x) = y

Ans(3) :

To prove that ¬Married(Ellen) will more included. From the contrapositive of sentence 4, it is sufficient to demonstrate ¬Member(Spouse(Ellen)). Keep in mind that the Skolem function Spouse is characterized for all people, counting those who are not married. Actuality Ellen is not married, hence value of Spouse(Ellen) is totally self-assertive. So, we can prove ¬Member(Spouse(Ellen)) using sentence 1 =>

we must prove all four of the following:

Spouse(Ellen) Joe

Spouse(Ellen) Sally

Spouse(Ellen) Bill

Spouse(Ellen) Ellen.

To define Spouse(Ellen) Joe, we can define ¬M arried(Ellen, Joe), by sentence 8. This objective can be decreased to ¬M arried(Joe, Ellen) by sentence 7 then to Spouse(Joe) Ellen by sentence 8 .

By above statements since Sally Ellen, it is sufficient to prrove that Spouse(Joe) = Ellen, which follows from sentences 2 and 8.

Comparative lines of reasoning appear that Ellen’s theoretical spouse cannot be any of the individuals of the bridge club.So it is prooved that Ellen is not married.


Related Solutions

Question 5 Assume a club N with five members: N = {Andy, Bill, Cathy, David, Evelyn}...
Question 5 Assume a club N with five members: N = {Andy, Bill, Cathy, David, Evelyn} Count the different ways the club could elect a president and a treasurer assuming that no one can hold more than one office. Question 5 options: 10 40 20 60
A club serves dinner to members only. They are seated at 12-seat tables. The manager observes...
A club serves dinner to members only. They are seated at 12-seat tables. The manager observes over a long period of time that 95 percent of the time there are between six and nine full tables of members, and the remainder of the time the numbers are equally likely to fall above or below this range. Assume that each member decides to come with a given probability p, and that the decisions are independent. How many members are there? What...
A chess club has 36 members. Members are categorized as Novice members, Regular members, and Master...
A chess club has 36 members. Members are categorized as Novice members, Regular members, and Master members. There are 8 Novice members, 21 Regular members, and 7 Master members in the club. For each part below, you must include a few words that describe your counting strategy. A number only as a response will not receive full credit. (a) How many committees of size 5 can be chosen if the committee must have 1 Novice, 2 Regular, and 2 Master...
1) A club is choosing 2 members to serve on a committee. The club has nominated...
1) A club is choosing 2 members to serve on a committee. The club has nominated 2 women and 2 men. Based on chance alone, what is the probability that one woman and one man will be chosen to be on the committee? rounded to 4 decimal places 2) A club is choosing 2 members to serve on a committee. The club has nominated 2 women and 2 men. Based on chance alone, what is the probability no women are...
A student club has 65 members; of these members, 28 are male and22 are freshmen....
A student club has 65 members; of these members, 28 are male and 22 are freshmen. Of the males, 10 are also freshmen.What is the probability that a randomly selected student in the club is a freshman?  What is the probability that a randomly selected student in the club is a male or a freshman?  What is the probability that a randomly selected student in the club is male given that the student is a freshman?  What is the probability that a randomly...
A student club has 65 members; of these members, 28 are male and 22 are freshmen....
A student club has 65 members; of these members, 28 are male and 22 are freshmen. Of the males, 10 are also freshmen. Answer the questions below as a fraction in the form numerator/denominator. Hint: it may be useful to create your own cross tabulation table. What is the probability that a randomly selected student in the club is a freshman? What is the probability that a randomly selected student in the club is a male or a freshman? What...
The Club has 9 members. The club needs to elect a President, Vice President, Secretary and...
The Club has 9 members. The club needs to elect a President, Vice President, Secretary and Treasurer, how many different ways are possible? How many ways are there to find a committee of size three. The Club has 10 members, 3 freshman, 4 sophomores and 3 juniors. How many ways are there to find a committee of size three with no freshmen? How many ways are there to find a committee of size three with one freshmen?
True or false 1. Sally writes a check "Bill and Tom". Both Bill and Tom must...
True or false 1. Sally writes a check "Bill and Tom". Both Bill and Tom must indorse that check for it to be negotiable. 2. ABC, Inc. sues Tess, its tenant, for unpaid rent. Tess withheld rental payments because ABC failed to rid her apartment of cockroaches. Tess cannot countersue ABC because she should have filed a lawsuit againt ABC first. 3. All offers to purchase real estate must be in writing in order to be binding. 4. Instruments that...
Independent random samples were taken of male and female members of University Entrepreneurship Club. These members...
Independent random samples were taken of male and female members of University Entrepreneurship Club. These members were considering starting a business. Of 500 members, 150 actually started a business venture. Estimate the value of the population proportion. (Round your answers to 3 decimal places.) Develop a 99% confidence interval for the population proportion.
The Pawnee Rangers, a boys-only wilderness club, and the Pawnee Goddesses, a girls-only wilderness club, went...
The Pawnee Rangers, a boys-only wilderness club, and the Pawnee Goddesses, a girls-only wilderness club, went on a joint weekend camping trip with their respective troop leaders Ron Swanson and Leslie Knope. Leslie claims that her club (the Pawnee Goddesses) is better than Ron’s club.  You may assume that the members who went on the camping trip are representative samples of their respective clubs. Please assume that “boy” and “girl” refer to each child’s self-identified  gender. During the weekend trip, Leslie proposes...
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT