A symbol manipulation system is presented for human-computer cooperation in unstructured environment. As the basis of communication process, the system activates an interactive projection scheme of open logic: not-yet-completed propositions on nondeterministically coded environment information. The dynamic behavior is mathematically analyzed within the framework of invariant sets.
展开▼