摘要： Neurocomputing 2018 https://www.sciencedirect.com/science/article/pii/S0925231217315849?casa_token=NvLW1wNtF_MAAAAA:EtHSzBQN_W8Xxs64PlfzKltGWXT-72Uvtc 阅读全文

摘要： IJCAI 2020 https://www.ijcai.org/proceedings/2020/0673.pdf A short survey on ILP. recursive, generalize, learning BK, ASP, NN, future directions 3 Lea 阅读全文

摘要： Predicting Structured Data 2006 this paper: written by LeCun http://yann.lecun.com/exdb/publis/orig/lecun-06.pdf A tutorial on energy-based learning, 阅读全文

摘要： work in progress 2020 https://arxiv.org/abs/2008.07912 A review of inductive logic programming (ILP), which is a form of machine learning dating back 阅读全文

摘要： 专栏简介与声明 本专栏链接：https://www.cnblogs.com/minor-second/category/2054480.html 使用教材 本专栏是《数字信号处理》（第2版）个人复习博客系列。 ISBN: 9787301175941 专栏使用方法 本专栏以一问一答的形式对疑难点做出适 阅读全文

摘要： 2 原始递归函数 2.6 Ackermann函数 Q: Ackermann函数的递归相比之前的各种递归有什么本质区别和联系？ A: 观察$A(k+1,x+1)=A(k,A(k+1,x))$，相比之前一般的多变量递归表达式$B(k+1,x+1)=g(k,x,B(k+1,x),B(k,x+1))$，外层 阅读全文

摘要： 2 原始递归函数 2.1 原始递归函数 Q: 证明合成、原始递归保持可计算性的思路是什么？ A: 写一段$\mathscr S$程序计算相应函数。 合成：顺序结构。 原始递归：循环结构。（更具体地，用一个变量$Z$表示不断增长的$t$，$Z$每次+1，而$X_{n+1}$每次-1，当$X_{n-1} 阅读全文

摘要： 1 程序设计语言$\mathscr S$和可计算函数 1.1 预备知识 Q: 本节考察的函数和一般数学书中的函数有什么异同？ A: 把部分函数简称为函数（可能定义域中只有一部分有对应的函数值，其余无定义） 注：处处无定义称为空函数。 注：在本课程中，考虑的往往是$Nn\to N(其中N={0,1,\ 阅读全文

摘要： 专栏简介与声明 本专栏链接：https://www.cnblogs.com/minor-second/category/2053938.html 使用教材 本专栏是《可计算性与计算复杂性导引》（第3版）个人复习博客系列。 ISBN: 9787301177686 专栏使用方法 本专栏以一问一答的形式对 阅读全文

摘要： 5 Local consistency notions 5.5 Path consistency Q: 解说"normalized CSP"和"universal relation"的关系。 A: normalized CSP要求每个二元子序列最多有一个约束（唯一性）。如果我们进一步希望“存在唯一” 阅读全文