Answer: The knowledge that can be inferred from the given facts is known as
inferential knowledge. Like we represent knowledge as formal logic:
All doge have tail ∀x: dog(x) ͢ hasatail(x) Advantages:
·
A
set of strict rules.
Ø
Can
be used to derive more facts.
Ø
Truths
of new statements can be verified.
Ø
Guaranteed
correctness.
Note: The symbol ∀ is called the universal quantifier.
Post a Comment