추론:
인공지능에는 오래된 논리나 증거를 바탕으로 새로운 논리를 만들어낼 수 있는 지능형 컴퓨터가 필요합니다. 따라서 증거와 사실로부터 결론을 도출하는 것을 추론이라고 합니다. .
추론 규칙:
추론 규칙은 유효한 인수를 생성하기 위한 템플릿입니다. 인공지능에서 증명을 도출하기 위해 추론 규칙이 적용되며, 증명은 원하는 목표에 도달하는 결론의 순서입니다.
추론 규칙에서는 모든 연결자 간의 의미가 중요한 역할을 합니다. 추론 규칙과 관련된 몇 가지 용어는 다음과 같습니다.
파이썬이 포함되어 있습니다
위의 용어에서 복합 명제 중 일부는 서로 동일하며, 이는 진리표를 사용하여 증명할 수 있습니다.
따라서 위의 진리표로부터 P → Q는 ¬ Q → ¬ P와 동일하고, Q→ P는 ¬ P → ¬ Q와 동일하다는 것을 증명할 수 있습니다.
추론 규칙 유형:
1. 설정 모드:
Modus Ponens 규칙은 추론의 가장 중요한 규칙 중 하나이며 P와 P → Q가 참이면 Q가 참일 것이라고 추론할 수 있음을 나타냅니다. 이는 다음과 같이 표현될 수 있습니다:
예:
진술-1: '졸리면 자요' ==> P→ Q
진술-2: '나는 졸린다' ==> P
결론: '나는 자러 간다.' ==> Q.
따라서 P→Q가 참이고 P가 참이면 Q가 참이라고 말할 수 있습니다.
진리에 의한 증명 표:
2. 제거 방법:
Modus Tollens 규칙은 P→ Q가 참이고 ¬ Q가 참이면 ¬ P 또한 사실일 것이다. 이는 다음과 같이 표현될 수 있습니다:
진술-1: '졸리면 자요' ==> P→ Q
진술-2: '저는 침대에 가지 않습니다.'==> ~Q
진술-3: '라고 추론합니다. 나는 졸리지 않는다 ' => ~피
진리에 의한 증명 표:
3. 가설적인 삼단논법:
가설 삼단논법 규칙에 따르면 P→Q가 참일 때마다 P→R이 참이고 Q→R이 참입니다. 다음 표기법으로 표현할 수 있습니다.
예:
진술-1: 내 홈 키가 있으면 내 집의 잠금을 해제할 수 있습니다. P→Q
진술-2: 내 집의 잠금을 해제할 수 있다면 내 돈을 가져갈 수 있습니다. Q→R
결론: 내 집 열쇠가 있으면 내 돈을 가져갈 수 있어요. P→R
진리표로 증명:
4. 분리형 삼단논법:
분리형 삼단논법 규칙에 따르면 P∨Q가 참이고 ¬P가 참이면 Q도 참이 됩니다. 이는 다음과 같이 표현될 수 있습니다:
예:
마크다운 이미지
진술-1: 오늘은 일요일인가 월요일인가. ==>P∨Q
진술-2: 오늘은 일요일이 아닙니다. ==> ¬P
결론: 오늘은 월요일입니다. ==> 질문
진리표로 증명:
5. 추가:
덧셈 규칙은 일반적인 추론 규칙 중 하나로 P가 참이면 P∨Q도 참이 된다는 것입니다.
예:
성명: 저는 바닐라 아이스크림을 먹습니다. ==> 피
진술-2: 초콜릿 아이스크림이 있어요.
결론: 바닐라나 초콜릿 아이스크림이 있어요. ==> (P∨Q)
진리표에 의한 증명:
6. 단순화:
단순화 규칙에 따르면 다음과 같습니다. P∧Q 그렇다면 사실이다 Q 또는 P 또한 사실일 것이다. 이는 다음과 같이 표현될 수 있습니다:
진리표에 의한 증명:
7. 해결 방법:
해결 규칙에 따르면 P∨Q 및 ¬ P∧R이 참이면 Q∨R도 참이 됩니다. 그것은 다음과 같이 표현될 수 있다:
진리표에 의한 증명:
