Which among the following could the Existential instantiation of ∃x Crown(x) ^ OnHead(x, Johnny)?
a) Crown(John) ^ OnHead (John, Jonny)
b) Crown(y) ^ OnHead(y, y, x)
c) Crown(x) ^ OnHead(x, Jonny)
d) None of the mentioned
Translate the following statement into FOL.
“For every a, if a is a PhD student, then a has a master degree”
a) ∀ a PhD(a) -> Master(a)
b) ∃ a PhD(a) -> Master(a)
c) A is true, B is true
d) A is false, B is false
Rule Based System-1:
Instead of representing knowledge in a relatively declarative, static way (as a bunch of things that are true), rule-based system represent knowledge in terms of…….. that tell you what you should do or what you could conclude in different situations.
a) Raw Text
b) A bunch of rules
c) Summarized Text
d) Collection of various Texts
A rule-based system consists of a bunch of IF-THEN rules.
a) True
b) False
In a backward chaining system you start with the initial facts, and keep using the rules to draw new conclusions (or take certain actions) given those facts.
a) True
b) False
Explanation: Refer the definition of backward chaining.
