标签: inference

我发现了一些关于两者的简短文章,对我而言,听起来两者都是通过逻辑来解决问题,类似于Prolog的工作原理.我必须补充一点,我是这个领域的新手,所以我可能错了.非常错误.

我会尽量做空,因为这个问题还没有得到很好的回答.经过长时间的解释,请参阅此简报.

我将展示我想做的事情.像这样的东西(从构造函数中推断传入的类型,以便在另一个方法getLeaderHerd中使用它作为返回类型)...:

public class ZooCage{

    private CageFamily<T> inhabitants;  

    public <T>ZooCage(CageFamily<T> herd) {
        this.inhabitants=herd;      
    }

    public T getHerdLeader() {
        return inhabitants.getLeader();
    }   
}

或这个

public class ZooCage{

    private (Type) T;   

    public ZooCage(CageFamily<T> herd) {
        this.T=T;       
    }

    public T getHerdLeader() {
        return inhabitants.getLeader();
    }   
}

所以我可以从Main调用类似的东西:

ZooCage cage = new ZooCage(new CageFamily<Lion>()); //Imagine new CageFamily its not empty
Lion leader = cage.getHerdLeader();

即使它不可能,为什么我认为这是不合理的功能？它的类型是安全的,如果编译器是智能的并且不那么冗余,那就是没有必要的类ZooCage

我,正在评估使用泛型的特定行为.我设法让它工作,但我不明白为什么我不能从arg中推断出类型.因此,我创建了这个示例,该示例在没有警告的情况下运行正常,目的是简化实际架构.

(直接查看最后的2行代码段以获得快速简报)

假设我有这两个课程.目标之一:

package Zoo;
import Zoo.Main.CageFamily;
import Zoo.Main.Vertebrate;

public class ZooCage<T extends Vertebrate>{

    private CageFamily<T> inhabitants;  

    public ZooCage(CageFamily<T> …

I was trying to put both int and float into a list construction:

> let l2=[1;2.0];;

  let l2=[1;2.0];;
  ----------^^^

stdin(50,11): error FS0001: This expression was expected to have type
    int
but here has type
    float
>

好吧,如果我在Haskell中写l3 = [1,2.0],它可以构建列表以包含所有"小数"元素.为什么F#不支持自动类型推断？F#基于.net,Int和Float都是Object类型,对吧？为什么Int和Float无法放入一个列表中,而某些元素会自动进行类型提升或转换？似乎F#的类型系统使编写更多通用程序变得非常困难.

任何提示？

我是 tensorflow 的初学者。我想通过使用本教程来研究 tensorflow 。

阅读本教程后，我想通过使用我的数据（用于标记化的韩国标题）运行此代码在训练模型（使用TrainingHelper）中，预测结果似乎还可以。但是在推理模型（使用GreedyEmbeddingHelper）中，预测结果非常糟糕（即使使用训练数据）。看起来像first epoch的训练模型预测。有什么区别TrainingHelper和GreedyEmbeddingHelper？

我认为教程和我的代码之间的区别只是超参数。

我正在尝试使用Jena OntModel来获得本体的直接关系.问题来自listClasses()方法.

我搜索了一段时间在网上的提示,但没有找到我的问题的相关答案.

所以这里有一个完整的例子,其中包含最少的数据和代码,显示出错了什么.

我有一个例如这个基本本体(N-Triple格式化):

<http://weblab.ow2.org/wookie#Anti-social_behaviour> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://weblab.ow2.org/wookie#CriminalEvent>.
<http://weblab.ow2.org/wookie#Robbery> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://weblab.ow2.org/wookie#CriminalEvent>.
<http://weblab.ow2.org/wookie#Vehicle_crime> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://weblab.ow2.org/wookie#CriminalEvent>.
<http://weblab.ow2.org/wookie#Bicycle_theft> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://weblab.ow2.org/wookie#CriminalEvent>.
<http://weblab.ow2.org/wookie#CriminalEvent> <http://www.w3.org/2000/01/rdf-schema#subClassOf>  <http://weblab.ow2.org/wookie#Event>.
<http://weblab.ow2.org/wookie#Event> <http://www.w3.org/2000/01/rdf-schema#subClassOf>  <http://weblab.ow2.org/wookie#WookieThing>.
<http://weblab.ow2.org/wookie#Event> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class>.

我基本上希望能够获得所有类,并为每个类获取subClasses.

我使用以下JAVA代码:

import java.io.FileNotFoundException;
import java.io.IOException;
import java.util.Collections;
import java.util.Comparator;
import java.util.List;

import com.hp.hpl.jena.ontology.OntClass;
import com.hp.hpl.jena.ontology.OntModel;
import com.hp.hpl.jena.query.Query;
import com.hp.hpl.jena.query.QueryExecutionFactory;
import com.hp.hpl.jena.query.QueryFactory;
import com.hp.hpl.jena.query.ResultSet;
import com.hp.hpl.jena.rdf.model.ModelFactory;
import com.hp.hpl.jena.rdf.model.Statement;
import com.hp.hpl.jena.util.FileManager;

public class Main {

    public static void main(final String [] argv) throws FileNotFoundException, IOException {

        final OntModel model = ModelFactory.createOntologyModel(); …

我一直对元编程涉及包和我已经运行到错误constant 9223372036854775807 overflows int时math.MaxInt64和math.MaxUint64显示.

我已将其分为两种情况:

有效

var a int64 = math.MaxInt64
b := interface{}(int64(math.MaxInt64))

无效

a := math.MaxInt64
b := interface{}(math.MaxInt64)

https://play.golang.org/p/U1QDmFbV29

似乎Go没有做正确的类型推断.

这是一个错误还是预期的行为？如果期待,有谁知道为什么？

我不确定我们是否可以从他们的限制中推断两个类的关系...如果我们有两个类:

owl:class1 rdfs:subClassOf [restriction1...], [restriction2...], [restriction3].

owl:class2 rdfs:subClassOf [restriction1...], [restriction2...].

我们可以从这些知识中得出什么推论？看起来owl:class2比广泛owl:class1.我们能推断owl:class1 rdfs:subClassOf owl:class2.一下吗？

当前版本的tensorflow-serving尝试从asset.extra / tf_serving_warmup_requests文件加载预热请求。

2018-08-16 16：05：28.513085：I tensorflow_serving / servables / tensorflow / saved_model_warmup.cc：83]在/tmp/faster_rcnn_inception_v2_coco_2018_01_28_string_input_version-export/1/assets.extra/tf_serving_warmup上未找到热身数据文件

我想知道tensorflow是否提供通用的api将请求导出到该位置吗？还是我们应该手动将请求写到该位置？

我正在尝试建立一个推理管道。它由两部分组成。使用前几年的一些表格订单元数据进行每月 ML 模型训练，并使用当天的新订单进行每日推理预测。我想在我的模型中包含几个字符串分类列，我使用 labelencoder 将它们转换为整数。我想知道如何确保在数据预处理期间将日常推理数据集转换为相同的类别。我应该保存标签编码器的字典并映射到我的推理数据集吗？谢谢。

我处于以下情况：

fn some_fn<K, T, F, S>(func: F, other_func: S) -> Vec<i64>
where
    K: SomeType<T>,
    T: SomeOtherType,
    F: Fn() -> (),
    S: Fn() -> (),
{
    //...
}

对于上面的示例，Rust 可以正确推断类型T、F和S，但不能K（如预期的那样）。

K有没有办法在调用时只指定 的类型，some_fn而不指定T、F和S？

我当前的解决方法是将签名更改为some_fntofn some_fn<K, T, F, S>(cheat: Option<K>, func: F, other_func: S)并调用该函数，如下所示：

let cheat: Option<SomethingThatImplements> = None;
let result = some_fn(cheat, func, other_func);

但是，我发现这非常笨拙。我无法找到有关此主题的任何内容，是否可以仅指定类型参数的一部分？