Example

{ }

{C. Flooded}

{P. wet}

{Out gas}

{ C. Flooded, P. wet }

{ C. Flooded, Out gas }

{ P. wet, Out gas }

Known fact: car does not start

Assumptions:

A: carburettor is flooded

B: Plugs are wet

C: Car is out of gas

Knowledge in the domain of faulty cars:

If the carburettor is flooded, then the car is not out of gas

If the plugs are wet, then the car is not out of gas

Car no start

bold borders: nogood

filled boxes: label of the proposition 'car is not out of gas'

Diapositiva precedente

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica