PS-JTMS Interface

Problem Solver provides:

• assertions (or beliefs) about the domain;

• justifications for the derivation of the beliefs;

JTMS provides:

• contexts: i.e., info about current beliefs, justifications, presence and causes of inconsistencies.

Diapositiva precedente

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica