Python中（专家系统）的后向和前向链接算法

Question

我正在寻找向后和向前链接的算法来用 Python 实现它。我在网上查了一下，但我没有找到太多。我也查看了维基百科，但我只是找到了一些规则，但没有找到算法。

Answer 1

我知道你最初用 Python 标记了你之前的问题，所以我将把它限制在 Python 上。

在查找代码示例时，一个不错的地方是Github存储库。查询backward chaining然后将结果限制为Python将产生此查询您可以对forward chaining.

请注意，您必须找到您喜欢的代码示例，然后在使用之前对其进行彻底的测试。那里有很好的例子，但更有可能是不正确的尝试。计划与他们共度几天并创建大量测试用例。那里的所有代码都没有保证。

如果你只想要算法，那么可以找一些书籍，Artificial Intelligence比如人工智能……乔治 F 鲁格 (George F Luger) 或人工智能……罗素 (Russell) 和诺维格 (Norvig)。

Answer 2

前向链接推理引擎可以在 Python 中相对容易地实现。这是推理规则的列表：

mammal(A) ==> vertebrate(A).
vertebrate(A) ==> animal(A).
vertebrate(A),flying(A) ==> bird(A).
vertebrate("duck").
flying("duck").
mammal("cat").

这些规则可以翻译成Python：

global facts
global is_changed

is_changed = True
facts = [["vertebrate","duck"],["flying","duck"],["mammal","cat"]]

def assert_fact(fact):
    global facts
    global is_changed
    if not fact in facts:
        facts += [fact]
        is_changed = True

while is_changed:
    is_changed = False
    for A1 in facts:
        if A1[0] == "mammal":
            assert_fact(["vertebrate",A1[1]])
        if A1[0] == "vertebrate":
            assert_fact(["animal",A1[1]])
        if A1[0] == "vertebrate" and ["flying",A1[1]] in facts:
            assert_fact(["bird",A1[1]])

print(facts)

根据最初的一组事实，推理引擎生成以下列表：

[['vertebrate', 'duck'], ['flying', 'duck'], ['mammal', 'cat'], ['animal', 'duck'], ['bird', 'duck'], ['vertebrate', 'cat'], ['animal', 'cat']]