首页>
外国专利>
System, Apparatus And Method For Supporting Formal Verification Of Informal Inference On A Computer
System, Apparatus And Method For Supporting Formal Verification Of Informal Inference On A Computer
展开▼
机译:用于支持计算机上非正式推理的正式验证的系统,装置和方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
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.
展开▼