来自 Horn 子句的 AND-OR 图

Question

有人知道是否有办法从 Horn 子句生成漂亮的图表吗？例如：

理想情况下，我希望直接从用 Latex 编写的 Horn 子句生成这样的 AND-OR 图；但是，如果您知道其他方法，例如从用 RDF 编写的规则生成，我也会很感激。

另外，生成的图表不必与我展示的完全一样。它只需说明我的数据之间的推理关系。

Answer 1

neato这是使用该包的潜在解决方案graphviz。它需要更复杂的输入格式，输出不如您的示例那么好，但我认为它传达了正确的信息。

sample.dot一个名为如下的文件...

graph G
{
    P -- Q [dir=forward];

    L -- LM;
    M -- LM;
    LM -- P [dir=forward];

    B -- BL;
    L -- BL;
    BL -- M [dir=forward];

    A -- AP;
    P -- AP;
    AP -- L [dir=forward];

    A -- AB;
    B -- AB;
    AB -- L [dir=forward];

    LM [shape=point];
    BL [shape=point];
    AP [shape=point];
    AB [shape=point];
}

使用以下命令处理...

neato -Tpdf sample.dot -o sample.pdf

给……