基于规则的演绎系统将类似于P ⇒ Q这样的蕴涵关系作为规则使用，直接用于推理。这类系统主要强调使用规则进行演绎，故称为规则演绎系统。规则：由包含蕴含形式的表达式表示事实无蕴含形式的表达式表示并画出相应的与或图，然后通过规则进行演绎推理。基于规则的问题求解系统运用下述规则来建立：If→ThenIf部分可能由几个if组成，而Then部分可能由一个或一个以上的then组成；每个if部分为前项(antec

③M中已经在G中出现过且已经扩展过的节点，确认是否需要修改其后继节点指向父节点的指针。step3：（OPEN表非空）去OPEN表的第一个节点，放入CLOSE表中，记为n。①M中未曾在G中出现过的节点，设置一个指向父节点（n）的指针，并加入OPEN表中。扩展结点的方式：计算n的子节点的f(x)，并按从小到大的顺序放入OPEN表首部。扩展结点的方式：计算了n的每个子节点的f(x)并加入OPEN后，需要

​Linus Torvalds PGP-signs git repository 标记了所有的主线（mainline）内核版本，但是为了生成可下载的tarball文件，单独的PGP签名（signatures）集合要被稳定内核版本团队生成。由于 Linus 和稳定内核版本成员所处的时区不同，在主线发布版本被标记时和PGP-signed 的tarball文件可用时，通常有鸡哥小时的延迟。​对于linu

用play按钮或者F5debug时，C++扩展会动态创建debug配置。有时需要自定义debug配置（比如，需要在运行时指定一些参数传递给程序），可以在文件中自定义debug配置信息。选择第一个，创建一个launch.json文件。然后在下拉列表中选择GDB。然后点击右下角的Add configuration：以上几步的过程和vscode官方文档的教程不太一样，没有选取g++编译器的debug的过

将虚拟机迁移到新机器后，进入相应的虚拟机：Fedora17、Centos7.6和Ubuntu22.04后，显示的字体很小。对导致显示的字体太过模糊。