摘要： 5 Local consistency notions 5.9 Relational consistency Q: relationally \((i,m)\)-consistent（后省略relationally）表示一切$m$个约束构成子序列诱导的CSP (\(\mathcal P|\mathc 阅读全文

摘要： 6 不可判定的问题 6.1 判定问题 Q: $HALT(x,y)$对应什么单参数判定问题？ A: \(\Pi = (N,Y_\Pi)\) \(Y_\Pi = \{x|HALT(l(x),r(x))\}\) 注：一元谓词$HALT(l(x),r(x))\(不可计算，则\)\Pi$不可判定。 Q: 记号 阅读全文

摘要： 5 过程与文法 5.1 半Thue过程 Q: $\Rightarrow$是部分函数吗？ A: 一般来说，合法的结果可能不唯一。如果做一定人为约定（比如替换第一个出现的待考察字符串）则是。 Q: $\Rightarrow$和$\mathop \Rightarrow\limits^$之间有何蕴涵关系？ 阅读全文

摘要： 4 Turing机 4.1 Turing机的基本模型 Q: 基本Turing机的7要素中，哪些从状态转移图容易看出？如何看出它们？ A: 状态集Q显然（每个圈对应一个状态） 带字母表C显然（所有在图中出现过的字母） 动作函数$\delta$用弧上的$若干字母/L或R或字母$表示 输入字母表A并不能直 阅读全文

摘要： 3 通用程序 3.1 程序的代码 Q: 为了确定指令的代码，直观的想法是用3个自然数分别表示标号（label）、涉及的变量以及（） A: 对变量执行的操作（空、增、减，或者若不为零跳转至哪个标号） Q: 从编码的角度，考察为什么规定$\mathscr S$程序中可能出现多个相同标号。 A: 为了一一 阅读全文

摘要： 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 专栏使用方法 本专栏以一问一答的形式对疑难点做出适 阅读全文