인공지능 문제의 특징 / 문제 풀이 방법 (탐색, 문제 축소)

* 탐색형 추론문제
  => 비정형적 문제에 대해 시행착오적, 경험적 방법을 사용해서 해를 찾는다.

* 연역형 추론문제
  => 전제로부터 결론을 얻는 형식논리 추론방법

* 초기상태 ==(연산자)==> 목표상태
  연산자는 일종의 함수.


탐색에 의한 문제 풀이 방법
* 상태 : 문제 풀이 과정 중 어느 한 시점의 문제의 형태

* 상태공간 : 초기상태에서 목표상태까지 전환하기 위해, 연산자를 적용해서 얻을 수 있는 모든 경우의 수가 표현된 공간(집합)

문제 축소에 의한 문제 풀이 방법
* 문제 축소(분해) : 문제를 분석하여 좀 더 단순한 부분문제로 분해하고 이를 해결하여 전체 문제를 푸는 방법

* 예: 하노이의 탑
   Wikipedia : Tower of hanoi
   http://en.wikipedia.org/wiki/Tower_of_hanoi