2022-09-20 AI입문_3

1. 지식표현과 추론

 

AI 초창기는 “탐색(추론)” 중심으로 범용 인공지능 연구를 진행했다.

 

이는 곧 한계를 맞이한다.

 

실제적인 문제를 해결하기 위해 “지식+추론” 패러다임과 “특화”로 방향을 전환했다.

 

---

지식

 

어떤 주제나 분야에 대해 경험이나 교육을 통해 얻어진 이론적인 또는 실제적인 이해.

 

지식은 크게 2가지로 구분할 수 있다.

 

• 형식지 : 형식을 갖춰 표현할 수 있는 지식
• 암묵지 : 형식을 갖춰 표현하기 어렵지만, 학습과 경험을 통해서 쌓은 지식

 

---

지식 표현

 

프로그램이 동작할 수 있게 지식을 정형화된 형태로 표현하는 방법

 

• 선언적 지식 표현 (decalarative)
  • 어떤 대상의 성질, 특성, 관계 등을 독립적으로 서술한 것
  • 논리 (logic)
  • 명제논리
  • 술어 논리
  • 대수적 기호 연산을 통한 추론
• 절차적 지식 표현 (procedural)
  • 관계, 행동, 처리 등을 순서적, 단계적으로 서술한 것
  • 규칙 (rule)
  • 매칭-점화 기반 추론 기능
  • 규칙 기반 전문가 시스템

 

---

추론 (inference)

 

지식, 데이터, 정보 등을 이용해서 새로운 사실을 유추하는 것.

 

추론 방식은 지식 표현 방법에 따라 달라진다.

 

---

2. 논리 기반 지식표현 및 추론

 

명제 논리와 술어 논리에 대하여 배웠다.

 

명제 논리와 술어 논리에 대한 자세한 내용은 굳이 긴 시간을 들여서 남길 이유를 모르겠어서 생략하겠다.

 

중요한 부부만 정리한다.

 

개요

기호를 사용하여 문장들을 표현& 기호의 조작을 통해 문장들의 참 또는 거짓을 판정하는 분야.

 

명제 논리(문장을 기호로 표현)와 술어 논리(문장의 내용을 술어와 객체로 나눠서 표현)로 구분.

 

긍정 논법, 부정 논법, 삼단 논법, 도출 등의 대수적 기법을 사용한 추론

 

장단점

 

 

술어 논리 기반의 PROLOG 언어가 주목을 받았지만 결국 실패

기타

 

PROLOG : 1차 술어 논리 기반의 추론용 프로그래밍 언어

 

---

3. 규칙 기반 지식 표현

 

IF ~ THEN 형식 (조건부 + 결론부).

 

추론의 종류로는 순방향 추론과 역방향 추론이 있다.

 

장단점

 

 

기타

 

규칙 기반 전문가 시스템 (expert system)

 

1970년대 초반, 최초로 제안

 

인공 지능 소프트웨어의 최초의 성공적인 형태

 

---