Next: Procedural Knowledge
Up: Knowledge Representation
Previous: Inheritable knowledge
Represent knowledge as formal logic:
All dogs have tails
: dog(x) hasatail(x)
- A set of strict rules.
- Can be used to derive more facts.
- Truths of new statements can be verified.
- Guaranteed correctness.
- Many inference procedures available to in implement standard rules of
- Popular in AI systems. e.g Automated theorem proving.