摘要： Proceedings of the IEEE 2016 https://ieeexplore.ieee.org/abstract/document/7352306 A review of BO, an optimization algorithm typically for "hyperparam 阅读全文

摘要： ICRA 2017 https://ieeexplore.ieee.org/abstract/document/7989186 parameters of policies Entropy Search, BO algorithm combine 2 sources: cheap but inacc 阅读全文

摘要： New Generation Computing 1986 https://www.doc.ic.ac.uk/~rak/papers/event%20calculus.pdf use formal logic to formalize the notion of time (Horn clause 阅读全文

摘要： 6 Some incomplete constraint solvers 6.4 Linear constraints on integer intervals Q: 本节中的linear expression为什么不需要乘法运算？ A: 由于只考察整数和“整数倍”，故用不断复合加法表示乘法。 6. 阅读全文

摘要： 6 Some incomplete constraint solvers Q: 解释“‘customise’ the general framework to a specific language” A: 提示：比如：用hyper-arc consistency能剪掉一些定义域，但是剪了之后的集合 阅读全文

摘要： 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: 为了一一 阅读全文