计算机学做三段论推理 通过“模仿学习算法”实现

上期视频：AI系统的摸索学习过程与自动编程演示程序（https://www.bilibili.com/video/av27028458/）
======================================
（本期视频预览）
视频的开头一分钟承上启下，总结了穷举法的缺点（组合爆炸、危险性），玻璃破碎的场面象征着“通过穷举法产生智能”的构想被彻底粉碎。

在此背景下，ruiaijun提出了模仿学习过程。
后面四分钟视频介绍的是我提出的模仿学习算法，而不是ruiaijun提出的模仿学习过程。



然后花了两分钟介绍日本第五代计算机计划，
Ruiaijun在分析第五代计算机计划失败的原因时提到：人工智能系统不能过度依赖逻辑算法，它应该包含各种各样的非逻辑过程。另外，人的推理能力，大部分是后天习得的（rule-based AI System的逻辑推理能力是程序员预先编好的，这与人类思维发展过程不符）。

受Ruiaijun的思路的启发，我设计了一个“计算机学习三段论推理法则”的实验。

程序特色：
推理系统能实现如下功能：用户输入一个错误的三段论推理，计算机告诉用户他犯了什么错误。
另外，这套报错机制也可以用于计算机的推理过程中。计算机根据三段论某一格的格式，得出的结论也有可能是错误的。计算机可以通过这种方式进行“自检”，检查自己推理出的结论是不是犯了某种错误，如果是，则报错、抛出异常。

举例：
已知：@璐村惂鐢ㄦ埛_7SKAAD6馃惥 不研究机器学习，章氏不错 是实验室成员
得出错误结论：实验室的成员【都】不研究机器学习。
系统通过查询事实库，发现这个结论是错误的，因为@Bz_______ 也是实验室成员，但他研究机器学习。
系统之前学习过一些错误推理样本，它得出结论：这个用户犯了以偏概全的错误。

同理，经过训练的推理查错系统，不仅能接受前提、结论是否定句的推理过程，也能接受前提、结论是肯定句的推理过程。如用户输入以下错误推理：
大前提：张泽生 研究自动编程
小前提：张泽生 是 实验室成员
错误结论：实验室成员【都】研究自动编程
这个结论不符合事实，因为@結衣⚙️機械心 也是实验室成员，但他不研究机器学习。
计算机同样给出用户推理出错的原因：以偏概全。


注意，在训练阶段，输入的样本不能过于单一，否则计算机就无法给出正确的分析结果。
比如如果你输入一系列“以偏概全”的推理错误，如果你输入的样本的结论全是肯定句，那么系统会以为“以偏概全”得出的结论一定是肯定句，那么刚才那个“实验室成员【都不】研究机器学习”的推理将不会被认为是“以偏概全”的推理。

我的楼层贴被系统删了，你的回复看不到了。不过我突然想到：不需要特意让系统去学习集合的概念，因为集合本身就是一个基本数据类型。属于“元概念”

温馨提醒：如果视频打不开，请点击右下角的按钮