BOOLEX Function

The format of the Boolex function is:

           BOOLEX(X)

The BOOLEX function translates between Boolean and existence logic. It is invertible, so it can be used to either assert that an object exists (or does not exist), or test for the existence of such an object and return a logical state.

True/False Existence

True DoesExist

False DoesNotExist

UKE MayExist

Examples:        IF BOOLEX(EXISTS(X)) AND X = 5 THEN EXISTS(Y)
                 IF BAYES(BOOLEX(EXISTS(X)) > 0.7 THEN OK@

Notes:

The BOOLEX() function is used as an interface between the Boolean logic part of the network and the existence of objects, including the existence of logical variables.

Logical Existence