Règles d'inférence

Next: Base de connaissances Up: Agent de base Previous: Agent de base

Règles d'inférence

$\displaystyle \frac{B_x(P \to Q) \land B_xP}{B_xQ}$ Axiome (K)

$\displaystyle \frac{B_xP \lor B_x \lnot P}{KIF_xP}$ Définition de la modalité KIF

$\displaystyle \frac{B_xP}{\lnot B_x \lnot P}$

Christophe Delord
1998-09-02

$\displaystyle \frac{B_x(P \to Q) \land B_xP}{B_xQ}$	Axiome (K)

$\displaystyle \frac{B_xP \lor B_x \lnot P}{KIF_xP}$	Définition de la modalité KIF

$\displaystyle \frac{B_xP}{\lnot B_x \lnot P}$