Facts can also be represented in a logical formalism. In principle, logic and semantic network representations can be equivalent.

(huey huey-457)

(all x (if (huey x) (helicopter x)))

(all x (if (huey x) (payload x 4000)))

(all x (if (helicopter x) (can-fly x)))

Contents    Page-10    Prev    Next    Page+10    Index