Sample Knowledge Bases

Pro/3 home page  -  documentation overview  -  What is Pro/3?
MC model  -  Summit model  - einstein's puzzle  - Rent-a-car
The MC knowledge base is a Pro/3 application which ranks suitable motorcycle models on the basis of an interview of your bike preferences. The model illustrates many aspects of Pro/3 including both exact and inexact reasoning techniques with fuzzy sets.

The Summit-model illustrates basic inference issues and the concepts of forward and backward chaining.
There are five houses in five different colors standing on a row from left to right. One person lives in each house. These persons all have different nationalities, drink a certain type of beverage, smoke a certain brand of cigarette and keeps a certain species of animal as pet. No person drink the same type of beverage, smoke the same brand of cigarette or keep the same species of animal as pet...
  Rent-a-Car model serves the sole purpose of illustrating the basic knowledge representation concepts of Pro/3. The Rent-a-Car model is a very simple financial analysis type of model. The essential goal is to determine the net present value of a car rental business under two different market share assumptions (for a period of 12 months).