[POD] 인공지능을 위한 논리학

서 문

제 1장 논증의 두 유형

1. 연역논증(deduction)

2. 귀납논증(induction)


제 2장 명제 논리 (Propositional Logic)

1. 명제란 무엇인가?

2. 구문론(syntax)

3. 의미론(Semantics)

4. 역, 이, 대우

5. 논증의 타당성과 건전성


제 3장 술어 논리 (Predicate Logic / First-order logic)

1. 문법(Formation Rules)

2. 의미론(Sementics)


제 4장 수학적 증명법

1. 직접 증명법(direct proof)

2. 간접 증명법(indirect proof)

3. 수학적 귀납법(mathematical induction)

4. 잘못된 증명 방법들(Some Invalid Proof Techniques)


제 5장 인공지능 영역에서 사용되는 논리적 아이디어들

1. 일반화(generalization)

2. 오컴의 면도날(Occam's razor)


색 인

참고 문헌

저자 소개