6 Relation of the model to some other formalisations

6.3 McCarthy Style Contextual logic

One can Map the ist(c, p) relation to the enhanced network model with negation.

is mapped to a relation from a to b which is conditional upon c, and ist(c, p) is mapped to a relation from c to p. Here one is necessarily talking about the first-order logic as the reified contexts, c, can be used in the reasoning itself.

A Simple-Minded Network Model with Context-like Objects - Bruce Edmonds - 13 FEB 97

[Next] [Previous] [Up] [Top] [Contents]

Generated with CERN WebMaker