Next:
Equivalence of Propositions
Up:
Maple V in
Previous:
Implications Between Propositions
Applications to Knowledge Based Systems
(The notation introduced in
10.2.3
will be used in this section)
Equivalence of Propositions and Implications in the Boolean Algebra Associated to a KBS
Verification of the Forward Reasoning Consistency of a KBS
Andre Heck
Sun Apr 23 10:32:10 MDT 1995