3 Mar 2004
CS 3243 - Chapter 8
21
Knowledge engineering in FOL
1.Identify the
task
2.Assemble the
relevant knowledge
3.Decide on a
vocabulary of predicates, functions, and
constants
4.Encode general
knowledge about the domain
5.Encode a
description of the specific problem instance
6.Pose queries to the
inference procedure and get answers
7.Debug the knowledge
base