인공지능 논리 입문

수리논리로 이해하는 AI논리

이은정 지음

한빛아카데미 2021년 09월 29일 출간 종이책 : 2021년 09월 10일 출간

작품소개

책소개

논리를 이해하면 인공지능이 보인다!

4차 산업혁명과 함께 펼쳐진 인공지능 시대!
각 전문 분야에서는 인공지능을 활용할 수 있는 융합인재를 필요로 합니다.
인공지능의 원리와 동작을 이해하는 가장 좋은 출발점은 논리와 추론 방식을 학습하는 것입니다.
이 책은 인공지능으로 향하는 징검다리로서 논리적으로 사고하고 표현하는 역량을 기르는 데 도움을 줍니다

목차

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 신경망과 딥러닝
개념확인문제

작가정보

저자(글) 이은정

저자 : 이은정
현재 경기대학교 AI컴퓨터공학부 교수로 재직 중이다. 서울대학교 계산통계학과에서 학사, KAIST 전산학과에서 석·박사 학위를 취득하였다. 한국전자통신연구원에서 6년간 근무했으며, 미국 탠덤컴퓨터 사 (Tandem computer, Inc.) 에서 방문연구원을 역임하였다. 저서로는 『창의기초설계』(생능출판사, 2013년)가 있다.