示例#1
0
文件： res.py 项目： dan-yates1/Chatbot 
def check_csv(kb):
    error = False
    for expr in kb:
        negative_expr = Expression.negate(expr)
        if ResolutionProver().prove(negative_expr, kb, verbose=True):
            error = True
    return error
示例#2
0
文件： res.py 项目： dan-yates1/Chatbot 
def check_contradicts(expr, kb):
    contradicts = False
    negative_expr = Expression.negate(expr)
    res = ResolutionProver().prove(negative_expr, kb, verbose=True)
    if res:
        contradicts = True
    return contradicts