用于生成保证案例的系统和方法

一种用于使用一个或多个计算机模型生成自洽保证案例的系统、方法和程序，计算机模型被构造为接收来自用户的查询，处理查询并确定要生成的保证案例的性质，从规范化、经过筛选的数据库中确定和检索支持保证案例主张的证据，并用其填充保证案例候选。然后，评论家可以根据一个或多个约束对保证案例候选进行评估，然后将其返回到计算机模型进行重新合成，或者转发给翻译器以转换为人类可读的格式。