问题标签 [inference]

我制作了这段代码来创建对象之间的关系。

作为输出，我得到了

我想对这些对象属性添加限制并使它们不可传递。例如，如果我有三个对象 O1、O2 和 O3，我可以推断：

O1 左 O2，O2 右 O1，O2 左 O3，O3 右 O2。

并且不允许O1左O3和O3右O1。

我发现有可能创建传递属性，但对于非传递属性，我不知道该怎么做。

此外，如何添加基数限制来并排表示一个对象。

该函数MethodInfo.MakeGenericMethod要求您传递与类型参数对应的类型数组。我处于类型签名非常重要且直到运行时才知道的情况。我只有函数的参数类型。

因此，例如，这是一个函数签名：

我有两个类型为 t1（例如 IArray）和 t2（例如 Func）的参数仅在运行时才知道。我想在运行时利用 C# 类型推断算法，例如从 t1 和 t2 计算 T 和 U。

该程序可能会使用推理技术将通过推理推断出的其他狮子个体添加到本体中，但我不知道如何解决返回的所有错误。java代码如下：

错误是：

感谢所有帮助:) 提前谢谢你。

Given class A, property P in domain A, and class B, that is defined as equivalent to A when property P has value "B"

Protége displays the type :B as expected inferred type of individual :b according to definition of the class :B.

The SPARQL query

SELECT * WHERE { :b a ?type }

in the SPARQL Query view of Protége returns however only the class :A.

Why doesn't it also return the inferred class :B?

Thanks.

PS: The model is backed by the Pellet reasoner

PPS: The mentioned SPARQL query using Jena's reasoner OntModelSpec.OWL_MEM_MICRO_RULE_INF in a Java application returns the expected class :B as a type of the individual :b. The discussed problem seems to be an issue of the SPARQL query view of Protége.

在 Jena 中，我使用 InfModel 类创建了一个 RDFS 推理模型：

给定来自 infmodel 的推断语句，我们如何获得用于推断它的两个语句，类似于 Protégé 中的“解释推断”选项？例如，如果infModel包含语句:a rdf:type :t，我们可能会得到两个用于推断它的语句，例如:a :p :b 和:p rdfs:domain :t。

我有一个关于在 Virtuoso、Stardog、4store、Allegrograph、Oracle11g 等三重存储中插入和删除语句的问题。

插入新语句时，他们是在存储中插入推断语句还是在每次查询执行中使用推理器来获取推断语句？删除语句时同样的问题，他们是否删除了推断的语句？

我已经用 Java 实现了一个完整的模糊逻辑系统，但是我在去模糊化过程中遇到了严重的问题。

在我的代码中，我将输入定义为时间和距离，输出只是简单的输出。我拥有构建输入和输出集的每个线性函数，因此我可以访问它的任何值。

模糊规则如下：

在每个规则中，我首先定义这两个输入的输出所属的集合（可以是INSUFFICIENT，AVERAGE_SUFFICIENT或SUFFICIENT）。完成后，我需要继续进行去模糊化过程，这就是我的理解有点模糊的地方。

在完成规则之后，我为每组输出设置了三个（基本上我有三个值分类为SUFFICIENT、三个 onSUFFICIENT_AVERAGE和三个 of INSUFFICIENT）。那么现在怎么办？所有这 9 个输出都将成为质心计算的一部分吗？我是否选择所有三组中的最大值，然后将它们放入质心公式？（这就是我所做的，但与 matlab 相比，结果不起作用）

正如标题中所说，我很难理解为什么如果我们有 X->A 和 Y->B，那么为什么写 XY->AB 是错误的。他们按照我的理解，如果 A 在功能上依赖于 X 而 B 在功能上依赖于 Y，那么当我们在左侧有 XY 时，我们应该在右侧有它们对应的值。无论如何，我的书说这是错误的，那么任何人都可以给我一个证明这是错误的例子吗？提前致谢 ：）

我在这里做一些离散数学。假设我有类似“NOT k”之类的东西，如果我在它前面添加另一个“NOT”以使其成为“NOT NOT k”，这两个“NOT”会相互抵消而变成“k”吗？

这也适用于句子吗？这是一个奇怪的逻辑问题，我很难理解。

在“什么是欣德利·米尔纳”下，它指出：

Hindley-Milner 是System F的一个限制，它允许更多类型但需要程序员注释。

我的问题是，什么是 System F 中可用的类型的示例，但在 Hindley Milner 中不可用（类型推断）？

（假设系统 F 类型的推断已被证明是不可判定的）