-
(2022-03-14)一种反病毒的设想
最近被新冠疫情折磨的够呛。自3月9日封校以来，防疫措施逐步收紧，现在哪怕走出套间都要小心防护。我们宿舍楼栋已经有好几个兄弟被带走隔离了，据说有阳性确诊，也有时空交叉的怀疑对象。昨晚凌晨两点去做的采样，回来已是身心俱疲。辗转无眠，脑子里零零散散有了一些想法：我们现在防御病毒的手段，包括疫苗、血清抗体、隔离、消杀等，都太被动了，是否有更加积极主动防御手段？
-
(2022-03-01)仿生人会看到电子圆吗？
真正的强人工智能应当具有两种能力：
- 从物理世界中提出抽象的能力
- 从抽象中发现规律的能力
-
(2022-02-24)生命即是信息的累积
我的博士课题研究“Symbolic Minimization on Relational Databases Based on Logic Rules”已经基本完成。这项研究让我从一个新的视角观察科学技术以及文明的演进，于是想要记录一些新的想法。
-
(2021-07-09)Horn Clause等价性问题
在进行Inductive Knowledge Base Summarization（KBS）的时候发现了一个Horn Clause等价性问题。这个问题来源于对重复构造的Horn Rule的重复性剪枝判断。这个问题我最近发现其在Relational Databases和Deductive Databases中有过相关研究。一条Horn Clause（或称为Horn Rule）其实就是一条Conjunctive Query，因为其指明的条件都是合取连接的。根据已有的理论结果，判断两条Conjunctive Query等价性（Equivalence）和包含性（Containment）的问题复杂度都是NP-Complete[Chandra & Merlin,1977]。但是，Conjunctive Query等价性问题和我在研究KBS时碰到的Horn Clause等价性有一些不一样的地方，因此结论也不太相同。具体来说，有以下几点：
-
(2021-06-17)(待解决)人类技能树计划
三月底投给KR-21的论文被拒了。虽然reviewer都觉得给知识数据进行总结和压缩是很棒的想法，但是我对于形式化的把握还是过于欠缺，尤其是对于KRR圈子内的一些约定（术语，概念）掌握不足，使得评审最终认为工作并不扎实。
-
(2021-04-27)Dag中的完整路径数量问题
前两天李春淼在论文中遇到一个问题与我讨论，是关于其在程序分析中遍历执行流的复杂度问题。原本的直觉说这个复杂度应该是多项式的，最多可能是二次，但是事后又想了一下并没有这么简单，只是当时举得例子过于简单。在搜索了图论的一些文献之后并没有找到想要的结论，于是自己上手分析一下。
-
(2019-08-13)(待解决)梦到的数学题
今天午休，梦中与人论道，期间为了证明“单变量的系统也可以非常复杂”之观点，我举了两个几何问题，题目如下。醒来也觉得虽然题设很简单，但是却也并不好解，遂记录之：
-
(2016-06-01)利用判定问题求解优化问题时的一种方法
利用判定问题求解优化问题的一般思路是不停迭代调用判定问题求解器，直到找到最优的数值条件。比如，求解一张图的最小着色数问题，可以利用判定问题“某图是否可以k着色”的求解器，不断更换k取值找到最优。