1 차 논리의 추론

자연어 문장을 1 차 논리로 변환하는 것에 대해 읽었으며 논리적 추론이 1 차 논리에서 어떻게 표현 될 수 있는지 궁금했습니다.1 차 논리의 추론

'이벤트 B로 인해 발생하는 이벤트'와 같은 문장을 1 차 논리로 변환하는 방법을 알고 싶습니다.

내가 생각할 수있는 그런 문장의 예는 다음과 같습니다

위의 문장은 첫 번째 순서 논리로 표현되는 방법

X is evil; Because X is evil, X kills Y.

내가 생각 솔루션은 다음과 같습니다

Evil(X) -> Kills(X, Y)

그러나 나는 온라인 비슷한 문장의 예를 찾을 수 없기 때문에이 올바른인지 아닌지 확실하지 않다. 이것이 틀린 경우, 왜 잘못 되었습니까? 어떻게 수정합니까?

출처

2017-04-12 Ar254

Jerry Hobbs의 변환기 (http://www.isi.edu/%7Ehobbs/LFToolkit/index.html)와 Johan Bos C & C 도구 (http : //www.let)를 참조하십시오. .rug.nl/bos/meaningfactory /) – user3639557

이벤트 B 이전에 발생하는 이벤트 A는 이벤트 B가 이벤트 A가 이미 발생했다는 것을 알리는 것으로 해석 될 수 있습니다. 그러므로 B imples A. – user3639557

나는 "논리 결합"표준에 맞지 않으므로 "때문에"와 같은 이런 종류의 연결이 문제가된다고 생각합니다. 추론이 이루어지는 조건을 확인할 수 없습니다. exapmle의 경우 : "빨리 뛰었 기 때문에 넘어졌습니다." 내가 빨리 달렸으므로 떨어 졌다는 것을 확인할 수 없습니다. 누군가 나를 밀었거나, 길 건너에 물건을 비웃었습니다. 즉, 이벤트에 대한 자세한 정보와 추가 정보가 필요하다는 것을 의미하며 1 차 로직은이를 처리하지 않습니다. 명제를 검증하거나 모순하기 위해 이벤트에 대한 추가 정보가 필요없는 연결 요소 인 논리 연결 요소 만 처리합니다.

출처

2017-07-28 17:15:31

답변

관련 문제