인공지능 6강 - 논리에 의한 지식표현 논리는 지식을 명확한 기호와 규칙으로 표현하고, 이미 알려진 사실에서 새로운 결론을 이끌어 내는 기반입니다. 이번 강의에서는 명제논리와 술어논리의 표현력을 비교하고, 단일화와 도출연역을 이용해 정리를 증명하는 과정을 학습합니다. 명제와 진리표 기본명제와 합성명제 명제(proposition)는 참과 거짓을 구분할 수 있는 문장입니다. “영수는 한국인이다”와 “존은 미국인이다”처럼 더 이상 분해할 수 없는 최소 단위 명제를 기본명제라 하며 p, q 등의 기호로 표시합니다. 기본명제는 명제상수 또는 원소식(atomic formula)이라고도 합니다. 두 개 이상의 기본명제를 논리연산자로 결합하면 합성명제가 됩니다. p가 “영수는 한국인이다”, q가 “존은 미국인이다”라면 p∧q는 두 문장이 모두 참임을, p∨q는 적어도 하나가 참임을 나타냅니다. 합성명제의 진릿값은 구성 명제의 모든 진릿값 조합을 나열한 진리표로 확인할 수 있습니다. 연산자 이름 의미 ∨ 선언(OR) 둘 중 적어도 하나가 참 ∧ 연언(AND) 둘 다 참 ~ 부정(NOT) 진릿값을 반대로 바꿈 → 함의 “p이면 q이다” ↔ 동치 두 명제의 진릿값이 같음 조건명제와 명제논리의 정형식 조건명제의 진릿값 p→q는 “p이면 q이다”라는 조건명제입니다. p를 “비가 온다”, q를 “야유회를 취소한다”로 두면 비가 오는데 야유회를 취소하지 않는 경우, 즉 p가 참이고 q가 거짓일 때만 전체 명제가 거짓입니다. 나머지 경우에는 참이며, 진리표를 비교하면 p→q≡~p∨q임을 알 수 있습니다. 정형식의 생성 규칙 명제논리의 논리식은 임의 문자열이 아니라 생성 규칙을 따라야 합니다. 기본명제는 논리식이고, p가 논리식이면 ~p도 논리식입니다. p와 q가 논리식이면...