×

知识汇编图。 (英语) Zbl 1045.68131号

摘要:我们提出了知识编译的观点,要求从两个关键维度分析不同的编译方法:目标编译语言的简洁性,以及该语言在多时间中支持的查询和转换类。然后,我们提供了一个知识编译图,它根据大量现有的目标编译语言的简洁性及其多次转换和查询来分析它们。我们认为,这种分析对于将新的编译方法置于现有方法的背景下是必要的。我们还超越了基于CNF和DNF的经典平面目标编译语言,考虑了一个基于有向非循环图的更丰富的嵌套类(例如OBDD),我们显示其中包含了相对大量的目标编译语言。

MSC公司:

68立方英尺 知识表示

关键词:

有向非循环图
PDF格式BibTeX公司 XML格式引用