1 This work was supported in part by the
Department of Defense under contract MDA904-95-C-2084, by the Air Force Office
of Scientific Research under contract F49620-92-J-0174, and by the Advanced
Research Projects Agency monitored under USAF contracts F30602-93-C-0177 and
F30602-93-C-0028 by Rome Laboratory.
2 These terms might first undergo some kind of syntactic or semantic
decoding and might also be augmented by natural language terms associated with
their semantics.
3 This could be used as a model of "mobile computing," since a
partial proof tree is a kind of specification of a non-deterministic
declarative program. The proof tree is passed around to various reasoners who
have their own local sources of knowledge. This is similar to the manner in
which a mobile program moves from platform to platform to execute in
environments that contain the data and resources they need.