NLTK를 사용하여 논리 표현식을 단순화하십시오.

Question

자연 언어 도구 키트 (NLTK) 사용에 의구심이 있습니다. 자연 언어 질문을 논리 표현으로 번역하고 데이터베이스에 쿼리하기 위해 앱을 만들려고합니다.

내가 nltk.sem.logic 패키지 아래의 단순화() 메소드를 사용 후 가지고 다음과 같은 식있어 그 결과

exists z2.(owner(fido, z2) & (z0 = z2)) 

을하지만 내가 필요로하는 것은 다음과 같이 그것을 단순화하는 것입니다

owner(fido, z0) 

문장을 줄일 수있는 또 다른 방법이 있습니까?

Answer 1

NLTK에서 simplify()은 필요한 것이 아닌 베타 감소 (according to the book)를 수행합니다. 당신이 요구하는 것은 특정 전술을 적용 할 때 정리 해설자들만이 할 수 있습니다. 이 경우 어느 쪽이든 끝에 도달 할 것으로 예상되는 것을 알 필요가 있거나 그런 결과를 얻기 위해 어떤 종류의 공리가 적용될 수 있는지 알고 있어야합니다.

NLTK의 정리 증명자는 Prover9이며 함의 관계를 검사하는 도구를 제공합니다. 기본적으로 표현식 목록 (구내)에서 목표 표현식까지 제한된 수의 단계가있는 증거 만 있는지 확인할 수 있습니다. 예를 들어, 귀하의 경우에는,이 결과였다 : NLTK 파이썬에서

============================== PROOF ================================= 

% -------- Comments from original proof -------- 
% Proof 1 at 0.00 (+ 0.00) seconds. 
% Length of proof is 8. 
% Level of proof is 4. 
% Maximum clause weight is 4. 
% Given clauses 0. 

1 (exists x (owner(fido,x) & y = x)) # label(non_clause). [assumption]. 
2 owner(fido,x) # label(non_clause) # label(goal). [goal]. 
3 owner(fido,f1(x)). [clausify(1)]. 
4 x = f1(x). [clausify(1)]. 
5 f1(x) = x. [copy(4),flip(a)]. 
6 -owner(fido,c1). [deny(2)]. 
7 owner(fido,x). [back_rewrite(3),rewrite([5(2)])]. 
8 $F. [resolve(7,a,6,a)]. 

============================== end of proof ========================== 

:

from nltk import Prover9 
from nltk.sem import Expression 
read_expr = Expression.fromstring 
p1 = read_expr('exists z2.(owner(fido, z2) & (z0 = z2))') 
c = read_expr('owner(fido, z0)') 
result = Prover9().prove(c, [p1]) 
print(result) 
# returns True 

UPDATE

당신이 파이썬에서 사용할 수있는 도구를 사용하여 주장하는 경우

하고 당신이 원하는 정규 표현식으로이 특정 패턴을 수동으로 확인하십시오. 당신은 아마 정규 표현식과 같은 것을 할 수 있습니다 (I 승인 만의 내 더러운 전술을 시도하지 않음) :

이

def my_nasty_tactic(exp): 
    parameter = re.findall(r'exists ([^.]*)\..*', exp) 
    if len(parameter) == 1: 
     parameter = parameter[0] 
     substitution = re.findall(r'&[ ]*\([ ]*([^ ]+)[ ]*=[ ]*'+parameter+r'[ ]*\)', exp) 
     if len(substitution) == 1: 
      substitution = substitution[0] 
      exp_abs = re.sub(r'exists(?= [^.]*\..*)', "\ ", exp) 
      exp_abs = re.sub(r'&[ ]*\([ ]*' + substitution + '[ ]*=[ ]*'+parameter+r'[ ]*\)', '', exp_abs) 
      return read_expr('(%s)(%s)' % (exp_abs, substitution)).simplify() 

그런 다음 다음과 같이 사용할 수 있습니다 :

my_nasty_tactic('exists z2.(owner(fido, z2) & (z0 = z2))') 
# <ApplicationExpression owner(fido,z0)>