Bratko, Chapter 15: An Expert System Shell

15.1 Knowledge Representation Format [Fig15.1 and Fig15.3]
- rules have names and variables

15.2 Designing the Inference Engine
- asking the user for information
  - askable/2
- answering 'why' questions
- answering 'how' questions

15.3 Implementation
- explore(Goal,Trace,Answer) [Fig15.6]
- useranswer(GoalA,Trace,Answer) [Fig15.7]
  - asks user for info
  - answers why questions
- present(Answer) [Fig15.8]
  - displays result
  - answers how questions
- expert [Fig15.9]
  - driver

15.4 Dealing with Uncertainty
- Prospector model [Fig15.11]
  - Evidence --> Hypothesis with necessity N and sufficiency S
- explore with uncertainty [Fig15.12]

15.5 Concluding Remarks