Introduction to Artificial Inteligence - Spring 2001
BGU Computer Science Department
Building a Knowledge Base
- Desidarata for a knoweldge base
- Clear and correct
- Sufficiently general
- Vocabulary and axioms usable multiple times
- Without requiring overhaul for minor extensions!
- Should be independent of inference procedure
- Knowledge engineering
- Decide what to talk about
- Decide on vocabulary: predicates, functions, constants
- Encode general knowledge about the domain
- Debug: encode problem instance, pose queries
- Combinational logic circuits domain
- What to talk about: gates, wires, signals
- Vocabulary: Gate Type(gate), Connected(x, y), function - Signal(wire)
- Encoding a specific instance
- Example queries
- General ontology
- Categories (is-a hierarchy)
- Measures
- Composite objects (partonomy)
- Representation of change
- Physical objects
- Substances
- Mental objects and belief
- Example: grocery shopping world