David and John are having a particularly rational conversation. Each logical sta

Question

David and John are having a particularly rational conversation. Each logical statement (without question mark) made by one of the them is considered true and is added to the knowledge base as an assertion. The statements ending with a question mark are treated as queries and are not added to the knowledge base. Instead, they should be answered rationally with Yes, No or Maybe. Fill in the blanks below.

Knowledge Base: Vx Philosopher(x) Person(x) Vx King(x)->Person(x) 3x King(x) 3x Person(x) Philosopher(x) ? King(x) Philosopher(David) A Philosophe(John) Wants(x, y) : x wants y Va FitToRule(x) t-King(x) wants(x, Prosperity) Wants(x, Power (DAVID says): V2Person(x) ? ?King(x)-> Wants(x, Prosperity) (JOHN's question): 3x King(x) A Wants(x, Prosperity)? (DAVID's answer) (JOHN says): Vx Person(x) Philosopher(x) Wants(x, Power) (DAVID's question): x Philosopher(x) ^ Wants(x, Power)? (JOHN's answer) (JOHN's question): Vx Person(x) A FitToRule(x) -> Philosopher(x)? (DAVID's answer) (DAVID's Question) Vx Person(x) A FitToRule(x) Philosopher(x) ? King(x)? (JOHN's answer) Yes/No/Maybe Yes/No/Maybe Yes/No/Maybe Yes/No/Maybe

Explanation / Answer

1)

Yes

It can happen by the as the given statement which we have to derive this equals to given statement

2)

No

No philosphor wants the prosperity

3)

May be

For the some people it can accepts the statement

4)

No

as the given statements no philospher is a king

Related Questions

Navigate

• Browse (All)
• Browse D
• Subjects

---

---

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.