인공지능 논리 입문
책 소개
논리를 이해하면 인공지능이 보인다!
4차 산업혁명과 함께 펼쳐진 인공지능 시대!
각 전문 분야에서는 인공지능을 활용할 수 있는 융합인재를 필요로 합니다.
인공지능의 원리와 동작을 이해하는 가장 좋은 출발점은 논리와 추론 방식을 학습하는 것입니다.
이 책은 인공지능으로 향하는 징검다리로서 논리적으로 사고하고 표현하는 역량을 기르는 데 도움을 줍니다.
작가 소개
이은정
현재 경기대학교 AI컴퓨터공학부 교수로 재직 중이다. 서울대학교 계산통계학과에서 학사, KAIST 전산학과에서 석·박사 학위를 취득하였다. 한국전자통신연구원에서 6년간 근무했으며, 미국 탠덤컴퓨터 사 (Tandem computer, Inc.) 에서 방문연구원을 역임하였다. 저서로는 『창의기초설계』(생능출판사, 2013년)가 있다.
목 차
PART 0 들어가기 전에
CHAPTER 01 논리와 인공지능
1.1 논리란 무엇인가?
1.2 인공지능이란 무엇인가?
1.3 논리와 인공지능의 관계
PART 1 명제논리
CHAPTER 02 명제
개념확인문제
연습문제
CHAPTER 03 기본 논리연산자
3.1 AND 연산자(∧)
3.2 OR 연산자(∨)
3.3 NOT 연산자(~)
3.4 문장을 논리식으로 표현하기
3.5 논리식의 계산 순서
3.6 진리표를 이용한 논리식의 계산
개념확인문제
연습문제
CHAPTER 04 조건연산자를 포함한 명제논리식
4.1 조건연산자(→)
4.2 조건을 포함한 명제논리식의 계산 순서
4.3 only if(~해야 ~한다) 조건문과 if and only if 연산자
4.4 조건문과 관련된 논리식의 관계
4.5 필요조건과 충분조건
개념확인문제
연습문제
CHAPTER 05 논리식의 동치와 동치규칙
5.1 동치와 모순
5.2 항진명제와 모순명제
5.3 동치규칙
5.4 동치규칙을 이용한 동치증명
개념확인문제
연습문제
논리퀴즈
PART 2 명제논리의 추론과 증명
CHAPTER 06 주장
6.1 주장이란
6.2 약식 진리표를 이용한 주장의 증명
6.3 주장의 반례를 통한 타당성 검증
개념확인문제
연습문제
CHAPTER 07 추론규칙과 주장의 타당성 증명
7.1 추론과 추론규칙
7.2 기본 추론규칙
7.3 기본 추론규칙을 활용한 패턴 찾기
7.4 추가 추론규칙과 주장의 타당성 증명
개념확인문제
연습문제
CHAPTER 08 자연연역법에 의한 증명 기법
8.1 직접증명
8.2 조건증명
8.3 간접증명
개념확인문제
연습문제
논리퀴즈
PART 3 술어논리
CHAPTER 09 정언명제
9.1 A형식 : 모든 S는 P이다
9.2 E형식 : 모든 S는 P가 아니다
9.3 I형식 : 어떤 S는 P이다
9.4 O형식 : 어떤 S는 P가 아니다
개념확인문제
연습문제
CHAPTER 10 단일변수 술어논리
10.1 술어논리의 구성요소
10.2 한정자 3
10.3 단순 술어논리식으로 변환
10.4 단순 술어논리식의 연결
10.5 변수의 범위와 형식에 맞는 술어논리식
개념확인문제
연습문제
CHAPTER 11 단일변수 술어논리식의 다양한 형태
11.1 단일변수 다중 술어논리식의 기본 형식
11.2 존재 한정자
11.3 단일변수 다중 술어논리식의 활용
개념확인문제
연습문제
CHAPTER 12 다중변수 술어논리식
12.1 다중변수 술어논리식의 형식
12.2 다중변수 술어논리식의 해석
12.3 다중변수 술어논리식으로 변환
개념확인문제
연습문제
PART 3 인공지능
CHAPTER 13 인공지능이란
13.1 인공지능을 구성하는 주요 기술
13.2 인공지능과 소프트웨어 시스템
13.3 인공지능의 간단한 역사
13.4 인공지능의 현재와 미래
개념확인문제
CHAPTER 14 인공지능에서 논리의 역할
14.1 인공지능과 지식
14.2 지식표현 방법
14.3 지식표현과 인공지능 요소의 관계
14.4 지식표현의 불완전성과 불확실성
14.5 비단조 추론 방법
14.6 확률에 기초한 추론
개념확인문제
CHAPTER 15 머신러닝과 딥러닝
15.1 컴퓨터는 어떻게 학습하는가?
15.2 머신러닝
15.3 신경망과 딥러닝
개념확인문제
역자 소개
- 단순 변심인 경우 : 상품 수령 후 7일 이내 신청
- 상품 불량/오배송인 경우 : 상품 수령 후 3개월 이내, 혹은 그 사실을 알게 된 이후 30일 이내 반품 신청 가능
| 반품사유 | 반품 배송비 부담자 |
|---|---|
| 단순변심 | 고객 부담이며, 최초 배송비를 포함해 왕복 배송비가 발생합니다. 또한, 도서/산간지역이거나 설치 상품을 반품하는 경우에는 배송비가 추가될 수 있습니다. |
| 고객 부담이 아닙니다. |
| 진행 상태 | 결제완료 | 상품준비중 | 배송지시/배송중/배송완료 |
|---|---|---|---|
| 어떤 상태 | 주문 내역 확인 전 | 상품 발송 준비 중 | 상품이 택배사로 이미 발송 됨 |
| 환불 | 즉시환불 | 구매취소 의사전달 → 발송중지 → 환불 | 반품회수 → 반품상품 확인 → 환불 |
- 결제완료 또는 배송상품은 1:1 문의에 취소신청해 주셔야 합니다.
- 특정 상품의 경우 취소 수수료가 부과될 수 있습니다.
| 결제수단 | 환불시점 | 환불방법 |
|---|---|---|
| 신용카드 | 취소완료 후, 3~5일 내 카드사 승인취소(영업일 기준) | 신용카드 승인취소 |
| 계좌이체 |
실시간 계좌이체 또는 무통장입금 취소완료 후, 입력하신 환불계좌로 1~2일 내 환불금액 입금(영업일 기준) |
계좌입금 |
| 휴대폰 결제 |
당일 구매내역 취소시 취소 완료 후, 6시간 이내 승인취소 전월 구매내역 취소시 취소 완료 후, 1~2일 내 환불계좌로 입금(영업일 기준) |
당일취소 : 휴대폰 결제 승인취소 익월취소 : 계좌입금 |
| 포인트 | 취소 완료 후, 당일 포인트 적립 | 환불 포인트 적립 |
- 단순변심으로 인한 반품 시, 배송 완료 후 7일이 지나면 취소/반품 신청이 접수되지 않습니다.
- 주문/제작 상품의 경우, 상품의 제작이 이미 진행된 경우에는 취소가 불가합니다.
- 구성품을 분실하였거나 취급 부주의로 인한 파손/고장/오염된 경우에는 취소/반품이 제한됩니다.
- 제조사의 사정 (신모델 출시 등) 및 부품 가격변동 등에 의해 가격이 변동될 수 있으며, 이로 인한 반품 및 가격보상은 불가합니다.
- 뷰티 상품 이용 시 트러블(알러지, 붉은 반점, 가려움, 따가움)이 발생하는 경우 진료 확인서 및 소견서 등을 증빙하면 환불이 가능하지만 이 경우, 제반 비용은 고객님께서 부담하셔야 합니다.
- 각 상품별로 아래와 같은 사유로 취소/반품이 제한 될 수 있습니다.
| 상품군 | 취소/반품 불가사유 |
|---|---|
| 의류/잡화/수입명품 | 상품의 택(TAG) 제거/라벨 및 상품 훼손으로 상품의 가치가 현저히 감소된 경우 |
| 계절상품/식품/화장품 | 고객님의 사용, 시간경과, 일부 소비에 의하여 상품의 가치가 현저히 감소한 경우 |
| 가전/설치상품 | 전자제품 특성 상, 정품 스티커가 제거되었거나 설치 또는 사용 이후에 단순변심인 경우, 액정화면이 부착된 상품의 전원을 켠 경우 (상품불량으로 인한 교환/반품은 AS센터의 불량 판정을 받아야 합니다.) |
| 자동차용품 | 상품을 개봉하여 장착한 이후 단순변심의 경우 |
| CD/DVD/GAME/BOOK등 | 복제가 가능한 상품의 포장 등을 훼손한 경우 |
| 상품의 시리얼 넘버 유출로 내장된 소프트웨어의 가치가 감소한 경우 | |
| 노트북, 테스크탑 PC 등 | 홀로그램 등을 분리, 분실, 훼손하여 상품의 가치가 현저히 감소하여 재판매가 불가할 경우 |