명제란?
- 참, 거짓을 분명하게 판정할 수 있는 문장
논리식이란?
- 명제를 기호로 표현한 형식
- 명제기호(아래표) 와 참과 거짓을 나타내는 T와 F
리터럴 : 명제 기호 P와 명제 기호의 ㄱP 부정
절 : 리터럴들이 논리합으로만 연결되거나 논리곱으로 연결된 논리식
논리곱 정규형(Conjunctive normal form, CNF) : 논리합 절들이 논리곱으로 연결되어 있는 논리식
논리합 정규형(Disjunctive normal form, DNF) : 논리곱 절들이 논리합으로 연결되어 있는 논리식
'인공지능' 카테고리의 다른 글
| [인공지능] 지식표현과 추론(프레임) (0) | 2020.04.05 |
|---|---|
| [인공지능] 탐색과 최적화(깊이 우선 탐색, 너비 우선 탐색, 반복적 깊이 심화 탐색, 양방향 탐색, 몬테카를로, A*알고리즘, 휴리스틱, 게임 탐색) (0) | 2020.03.25 |
| [인공지능] 인공지능의 연구 분야(요소 기술, 주요 응용) / 인공지능의 최근 동향 / 인공지능의 영향 (0) | 2020.03.18 |
| [인공지능] 인공지능이란 무엇일까? / 인공지능의 역사 (0) | 2020.03.17 |
