Abstract: System, apparatus and method may permit users to collaboratively engage in inference on a computer and visualize structure of that inference, and provide a formal verification system for informal argumentation and inference. The system and method may generate and allow for modification of graphical structures that represent sequences of structured rational argumentation; and automatically monitor, compute and represent ratings or scores of nodes within the structure; indicate whether a node is supported by a chain of argumentation that has not been validly rebutted. The graphical structures may be displayed to bring into focus contentious and significant underlying points within an argument, and simulate the effects of alternative resolutions of these contentious points. The graphical displays may provide a transparent verification to other users of the state of what can be demonstrated and refuted, allow discovery of weak or missing points in a logical argument, and allow rational inference by users.

Abstract: System, apparatus and method may permit users to collaboratively engage in inference on a computer and visualize structure of that inference, and provide a formal verification system for informal argumentation and inference. The system and method may generate and allow for modification of graphical structures that represent sequences of structured rational argumentation; and automatically monitor, compute and represent ratings or scores of nodes within the structure; indicate whether a node is supported by a chain of argumentation that has not been validly rebutted. The graphical structures may be displayed to bring into focus contentious and significant underlying points within an argument, and simulate the effects of alternative resolutions of these contentious points. The graphical displays may provide a transparent verification to other users of the state of what can be demonstrated and refuted, allow discovery of weak or missing points in a logical argument, and allow rational inference by users.

Abstract: System, apparatus and method may permit users to collaboratively engage in inference on a computer and visualize structure of that inference, and provide a formal verification system for informal argumentation and inference. The system and method may generate and allow for modification of graphical structures that represent sequences of structured rational argumentation; and automatically monitor, compute and represent ratings or scores of nodes within the structure; indicate whether a node is supported by a chain of argumentation that has not been validly rebutted. The graphical structures may be displayed to bring into focus contentious and significant underlying points within an argument, and simulate the effects of alternative resolutions of these contentious points. The graphical displays may provide a transparent verification to other users of the state of what can be demonstrated and refuted, allow discovery of weak or missing points in a logical argument, and allow rational inference by users.

Abstract: System, apparatus and method may permit users to collaboratively engage in inference on a computer and visualize structure of that inference, and provide a formal verification system for informal argumentation and inference. The system and method may generate and allow for modification of graphical structures that represent sequences of structured rational argumentation; and automatically monitor, compute and represent ratings or scores of nodes within the structure; indicate whether a node is supported by a chain of argumentation that has not been validly rebutted. The graphical structures may be displayed to bring into focus contentious and significant underlying points within an argument, and simulate the effects of alternative resolutions of these contentious points. The graphical displays may provide a transparent verification to other users of the state of what can be demonstrated and refuted, allow discovery of weak or missing points in a logical argument, and allow rational inference by users.

Abstract: System, apparatus and method may permit users to collaboratively engage in inference on a computer and visualize structure of that inference, and provide a formal verification system for informal argumentation and inference. The system and method may generate and allow for modification of graphical structures that represent sequences of structured rational argumentation; and automatically monitor, compute and represent ratings or scores of nodes within the structure; indicate whether a node is supported by a chain of argumentation that has not been validly rebutted. The graphical structures may be displayed to bring into focus contentious and significant underlying points within an argument, and simulate the effects of alternative resolutions of these contentious points. The graphical displays may provide a transparent verification to other users of the state of what can be demonstrated and refuted, allow discovery of weak or missing points in a logical argument, and allow rational inference by users.

Abstract: System, apparatus and method may permit users to collaboratively engage in inference on a computer and visualize structure of that inference, and provide a formal verification system for informal argumentation and inference. The system and method may generate and allow for modification of graphical structures that represent sequences of structured rational argumentation; and automatically monitor, compute and represent ratings or scores of nodes within the structure; indicate whether a node is supported by a chain of argumentation that has not been validly rebutted. The graphical structures may be displayed to bring into focus contentious and significant underlying points within an argument, and simulate the effects of alternative resolutions of these contentious points. The graphical displays may provide a transparent verification to other users of the state of what can be demonstrated and refuted, allow discovery of weak or missing points in a logical argument, and allow rational inference by users.

Abstract: System, apparatus and method may permit users to collaboratively engage in inference on a computer and visualize structure of that inference, and provide a formal verification system for informal argumentation and inference. The system and method may generate and allow for modification of graphical structures that represent sequences of structured rational argumentation; and automatically monitor, compute and represent ratings or scores of nodes within the structure; indicate whether a node is supported by a chain of argumentation that has not been validly rebutted. The graphical structures may be displayed to bring into focus contentious and significant underlying points within an argument, and simulate the effects of alternative resolutions of these contentious points. The graphical displays may provide a transparent verification to other users of the state of what can be demonstrated and refuted, allow discovery of weak or missing points in a logical argument, and allow rational inference by users.

Abstract: In DNA computing there are DNA sequences which will substantially eliminate binding errors for molecules used in the computing processing. The elimination of binding errors will prevent extraction errors and binding during computations. A set of DNA sequences {Z.sub.j } and spacer sequence S.sub.0 must meet the criteria that there is no subsequence .chi. of length k, which occurs in any two sequences {Z.sub.j } or subsequence .chi. occurs in a sequence S.sub.0 Z.sub.j S.sub.0 and the complement .chi. occurs in a sequence S.sub.0 Z.sub.j S.sub.0, where Z.sub.j is at least of length k, so that it may be extracted.