Python FactKB示例

示例#1

文件： test_facts.py 项目： diofant/diofant

def test_inconsistent_assumptions():
    kb = FactKB(FactRules(['npos -> ~pos', 'pos -> ~npos']))
    with pytest.raises(InconsistentAssumptions) as err:
        kb.deduce_all_facts({'pos': T, 'npos': T})
    assert str(err.value) in [
        '{\n\tnpos: False,\n\tpos: True}, npos=True',
        '{\n\tnpos: True,\n\tpos: False}, pos=True'
    ]

示例#2

文件： test_facts.py 项目： skirpichev/diofant

def test_FactRules_deduce_base():
    # deduction that starts from base

    f = FactRules(['real  == neg | zero | pos',
                   'neg   -> real & ~zero & ~pos',
                   'pos   -> real & ~zero & ~neg'])
    base = FactKB(f)

    base.deduce_all_facts({'real': T, 'neg': F})
    assert base == {'real': T, 'neg': F}

    base.deduce_all_facts({'zero': F})
    assert base == {'real': T, 'neg': F, 'zero': F, 'pos': T}

示例#3

def test_FactRules_deduce_base():
    # deduction that starts from base

    f = FactRules(['real  == neg | zero | pos',
                   'neg   -> real & ~zero & ~pos',
                   'pos   -> real & ~zero & ~neg'])
    base = FactKB(f)

    base.deduce_all_facts({'real': T, 'neg': F})
    assert base == {'real': T, 'neg': F}

    base.deduce_all_facts({'zero': F})
    assert base == {'real': T, 'neg': F, 'zero': F, 'pos': T}

示例#4

文件： test_facts.py 项目： diofant/diofant

 def D(facts):
     kb = FactKB(f)
     kb.deduce_all_facts(facts)
     return kb

示例#5

文件： test_facts.py 项目： skirpichev/diofant

def test_inconsistent_assumptions():
    kb = FactKB(FactRules(['npos -> ~pos', 'pos -> ~npos']))
    with pytest.raises(InconsistentAssumptions) as err:
        kb.deduce_all_facts({'pos': T, 'npos': T})
    assert str(err.value) in ['{\n\tnpos: False,\n\tpos: True}, npos=True',
                              '{\n\tnpos: True,\n\tpos: False}, pos=True']

示例#6

文件： test_facts.py 项目： skirpichev/diofant

 def D(facts):
     kb = FactKB(f)
     kb.deduce_all_facts(facts)
     return kb