05 2020 档案
摘要：week 11: belief revision week 12: first-order logic CNF: conjunction of clauses. p -> q <=> not p V q; Special kinds of clauses: definite clause: exac
阅读全文
摘要：*digital exam (DE)*, *multiple choice* Lecture content: slides02 - uninformed search; slides03 - informed search; slides04 - Non-determinism and parti
阅读全文
摘要：LSTM input and output shape: The input of the LSTM is always is a 3D array. (batch_size, time_steps, seq_len) The output of the LSTM could be a 2D arr
阅读全文
摘要：A Bayesian network describes the dependency structure of the joint distribution over a set of random variables as directed graphs. To support this, a
阅读全文
摘要：首先，我们需要简单了解下偏函数的作用：和装饰器一样，它可以扩展函数的功能，但又不完成等价于装饰器。通常应用的场景是当我们要频繁调用某个函数时，其中某些参数是已知的固定值，通常我们可以调用这个函数多次，但这样看上去似乎代码有些冗余，而偏函数的出现就是为了很少的解决这一个问题。 它返回一个偏函数对象，这
阅读全文
摘要：AE: 自编码器将输入转换为隐含空间中的表达并不是连续的，使得其中的插值和扰动难以完成。 例如利用MNIST数据集训练的自编码器将数据映射到2D隐含空间中，图中显示不同的分类之间存在着明显的距离。这使得解码器对于存在于类别之间的区域无法便捷的进行解码。如果你不想仅仅只是复现输入图像，而是想从隐含空间
阅读全文
摘要：在python的函数（function）定义中，只要出现了yield表达式（Yield expression），那么事实上定义的是一个generator function， 调用这个generator function返回值是一个generator。 >>> def gen_example(): .
阅读全文
摘要：Q: abbreviations in the abstract. Answer: Some journals may not allow the usage of abbreviations in the abstract. Therefore, do check your journal's a
阅读全文
摘要：The most intuitive way to check validity of inference by brut-force truth-tables.
阅读全文
摘要：Knowledge base is a set of sentences. proposition letters p, q, r ... they generate set of different situations. eg. three propositional letters gener
阅读全文
