추론 논리 규칙 선택 문제

Question

토미, 질, 여행자는 Sc 클럽에 속해 있습니다. sc 클럽의 모든 구성원은 서퍼 또는 자전거 라이더이거나 둘 다입니다. 자전거 라이더는 비오는 날과 맑은 날과 같은 모든 서퍼를 좋아하지 않습니다. . 토미는 토미가 좋아하는 것이나 토미 싫어하는 것이 무엇이든간에. 토미는 비오는 날과 맑은 날을 좋아한다.

위의 정보를 "서퍼가 아닌 자전거 라이더 인 SC 클럽의 구성원입니까?"라는 질문을 표현할 수있는 방식으로 1 차 조건부 논리로 나타내려고합니다. 술어 논리 표현식으로

어떤 일차 추론 규칙을 사용해야합니까? 나는 체인 연결, 백 워드 연결 또는 해상도 논박을 선택해야합니다. ??

Answer 1

먼저이 질문은 책에서 직접 질문하는 것처럼 들립니다. 그렇다면 질문에서 책을 참고하면 도움이 될 것입니다. 만약 당신이 정말로 그것을 해결하려고 노력한 후에 막히면 ​​...

각 추론 규칙은 어떻게 작동합니까? 그리고 첫 번째 논리 문제에서 솔루션을 찾는 데는 어떤 목적이 있습니까? 당신이 알게되면 ... 하나, 그

• 당신이 늘 그것을 이해하지만 분명한 대답은 당신이
• 당신은 알게 될 것이다 밖으로 이동합니다 특정 기술
• 에 대해 물어 더 나은 질문을해야합니다
  그 중 어떤 기법을 사용하여 문제를 해결할 수 있습니까? 하나만 선택하십시오

stackoverflow에 서적 스타일 질문을 게시하기 전에 문제를 파악하기 위해 시간을 할애하여 다른 사람들이 당신을 도울 가능성이 커집니다. . 또한 개념적 이해가 부족하다는 것을 보여주는 질문을하게 될 것입니다.이 질문은 여기에 질문을 올릴 수있는 아주 좋은 이유입니다. 이와 같이 "숙제에 대답하십시오"와 반대되는 것입니다.