问题标签 [inference]

在此期间，我正在从事一个需要某种抽象的项目，但我不知道如何解决与 java 泛型和类型推断相关的一些问题。

这是源代码的简化架构：

我的问题是，如果在我的主课中，我写了这样的东西：

Eclipse 给了我错误：“SocialNetworkBuilder 类型中的方法 build(T, BaseMeasure) 不适用于参数 (BaseDataset, BaseMeasure)”

我认为问题在于“构建”方法必须确保数据集和度量属于同一类型 T。

如果我做这样的事情：

它有效，但我无法以这种方式解决我的问题，因为我在编译时不知道我的“数据集”和“测量”实例的派生类型；应该根据运行时给出的一些参数来实例化“数据集”和“测量”。

我需要在运行时实例化我的“测量”和“数据集”变量，并且仍然能够在它们上调用“构建”方法。

你有一些想法来解决这个问题吗？

谢谢你。

我正在研究一个使用 2-TBN 动态贝叶斯网络的自动和弦识别项目，其中有 4 个离散隐藏节点和 2 个连续可观察节点。

我使用贝叶斯网络工具箱创建了模型，对此没有任何问题。第五个和第六个节点分别是 13 维和 12 维的可观察节点。我正在尝试使用我无法做到的工具箱的推理部分。我编写了以下代码，但没有给出正确的输出。

请告诉我如何进行推理。

我想计算方差 = 36 的正态分布的均值 mu 的最大似然估计量。

但以下程序显示错误：

我想估计以下问题的力量。我有兴趣比较两个都遵循 Weibull 分布的组。所以，A组有两个参数（形状par = a1，比例par = b1），两个参数有B组（a2，b2）。通过模拟感兴趣分布的随机变量（例如假设不同的尺度和形状参数，即 a1=1.5*a2 和 b1=b2*0.5；或者组之间的差异只是在形状或尺度参数中），应用 log-似然比检验来检验 a1=a2 和 b1=b2（或者例如 a1=a1，当我们知道 b1=b2 时），并估计检验的功效。

问题是完整模型的对数似然是什么，以及当 a) 具有精确数据和 b) 对于区间删失数据时如何在 R 中对其进行编码？

也就是说，对于简化模型（当 a1=a2,b1=b2），精确和区间删失数据的对数似然为：

完整模型是什么，当 a1!=a2, b1!=b2 时，考虑到两种不同的观察方案，即当必须估计 4 个参数时（或者，如果有兴趣查看形状参数的差异，必须估计 3 个参数）？

是否可以估计它为不同的组构建两个对数似然并将其加在一起（即LL.full<-LL.group1+LL.group2）？

关于区间删失数据的对数似然，删失是非信息性的，所有观察都是区间删失的。任何更好的想法如何执行此任务将不胜感激。

请在下面找到确切数据的 R 代码来说明问题。非常感谢您提前。

我想知道是否有人会在 lambda 演算方面拥有一些不错的资源，特别是在类型推断方面。我正在准备考试，我似乎找不到任何关于 lambda 类型以及如何在我完成的任何教程中推断的信息。

我有一个考试题，我试图在星期二解决这个问题..

在下面的 lambda 演算表达式中推断所有变量和带括号的子表达式的类型： (\表示 lambda)

(((\x.(\y.(x,y)y))g)h)

我保证这不是家庭作业！任何帮助都会非常受欢迎。

我的任务是在 owl 中构建两个类。Base 类描述了包含多个属性的资源，例如 p1、p2 和 p3。另一个类，Sub，应描述类似于 Base 类的资源，但有限制，即它们不包含其属性之一，例如 p1，而仅包含 p2 和 p3。例如，类 Car 将描述包含一些属性的车辆，其中之一是“hasMotor”。自行车类也将描述具有限制的车辆，即它们没有马达。

我使用基数限制来定义这样的类：

但是 Pellet 推理器得出的 Sub 类等同于 Nothing。在 owl 中应该如何描述提到的两个类？

我有许多短时间序列（可能是 30 - 100 个时间点），它们有一个大致的形状：它们从高位开始，迅速下降，可能会或可能不会在零附近稳定，然后回升。如果它们不平稳，它们看起来就像一个简单的二次曲线，如果它们确实平稳，你可能会有一长串零。

我正在尝试使用该lmfit模块来拟合连续的分段线性曲线。我想推断线在哪里改变梯度，也就是说，我想知道曲线在哪里“定性地”改变梯度。我想知道梯度什么时候停止下降，什么时候又开始增加，一般来说。我有一些问题：

• lmfit似乎至少需要两个参数，所以我必须通过_.
• 我不确定如何将一个参数限制为大于另一个参数。
• 我收到could not broadcast input array from shape (something) into shape (something) 错误

这是一些代码。首先，我的目标函数，要最小化。

然后我打电话，

该模型是，在某个时间 t1，线的梯度发生变化，并且同样发生在 t2。需要推断这两个参数以及线段的梯度（和一个截距）。

我可以使用 MCMC 方法做到这一点，但我有太多这些系列，而且需要太长时间。

部分回溯：

时间序列的几个例子：

欢迎任何和所有建议。非常感谢。

我正在 TopBraidComposer 中构建一个本体，它有一个类层次结构和几个单独工作的规则。在我的本体中，我在类级别上工作，所以我创建的所有定义都只与类有关，而不是与个人相关。现在我想推断像这样的子类定义：

我尝试了以下 SPARQL 查询，它似乎可以完成这项工作：

然后我将所说的查询作为 SPIN 规则添加到 owl:Thing 类中，如下所示：

回车后，自动转换成如下形式：

它看起来很合理，但是当我现在开始推理过程时，它不会在我添加测试规则之前终止。当我强制停止推理时，我可以看到所需的三元组已多次添加到 Test 类中。

如何在 SPIN 中推断出匿名超类？

编辑：

一种解决方法是将限制绑定到类。然后逻辑似乎有效，但它不像匿名超类那样显示出来；在 TBC 和 Protege 中都没有。

I have a class hierarchy like this:

Class C is a subclass of both, ClassA and ClassB while ClassD and ClassE are only subclasses of either ClassA or ClassB

Now I would like to specify a class which is equivalent to the Intersection of subclasses of ClassA and ClassB. The following doesn't work:

The reason is that this sort of rule would be used by the reasoner to classify individuals, i.e. is I had an individual Ind1 which is of type ClassA and ClassB, it would be classified to be also of type NamedClass. This is not (only) what I want. I want ClassC itself to be a subclass of NamedClass.

I know this is achievable using rules (e.g. SPIN) but can it be done without rules?

我有这样的课：

当我想继承类 Foo 时，我必须指定类型 T 和 I，它们可以从类型 A 的类型参数中提取。（即有足够的数据来提取这些类型。）Scala 编译器是否允许以某种方式提取它们? 我想写一些类似的东西：

奇怪的是我能写出来，但这type Bar[I, T] = A条线似乎没有声明任何东西。该行通过，但我既不能使用 typeI也不能使用 type T。

我可以做类似的事情吗？

我知道我可以使用abstract class Foo[I, T](x: SomeClass[A]){然后定义type A = Bar[I, T]，但它失去了一些普遍性。另外，这种情况对于代码用户来说意味着更多（样板）代码，因为他们可能会为Bar[I, T].

我可以将抽象类重写Foo为特征，我可能会这样做。但我不确定它是否有帮助。