Règles d'inférence

Next: Base de connaissances Up: Agent évolué Previous: Agent évolué

Règles d'inférence

$\displaystyle \frac{B_x(P \to Q) \land B_xP}{B_xQ}$ $\displaystyle \frac{B_xP \lor B_x \lnot P}{KIF_xP}$ Règles importées

$\displaystyle \frac{B_xB_y(P \to Q) \land B_xB_yP}{B_xB_yQ}$ $\displaystyle \frac{B_xB_yP \lor B_xB_y \lnot P}{B_xKIF_yP}$ Règles de l'accointance

Christophe Delord
1998-09-02

$\displaystyle \frac{B_x(P \to Q) \land B_xP}{B_xQ}$	$\displaystyle \frac{B_xP \lor B_x \lnot P}{KIF_xP}$	Règles importées

$\displaystyle \frac{B_xB_y(P \to Q) \land B_xB_yP}{B_xB_yQ}$	$\displaystyle \frac{B_xB_yP \lor B_xB_y \lnot P}{B_xKIF_yP}$	Règles de l'accointance