레플리
글 수 108

Prolog로 간단한 추론 프로그램 만들기

조회 수 3169 추천 수 0 2018.02.08 03:14:44


< 가루의 Prolog 강좌 >

SWI-Prolog 설치 및 사용법

기본 동작 방식

아톰과 변수

사실이란?

- 규칙이란?

 

 

 

프롤로그(Prolog)는 1973년 프랑스 마르세유 대학교의 알랭 콜메르가 개발한 것으로 논리형 프로그래밍 언어라 할 수 있습니다. 우리가 보통 사용하는 C나 파이썬 등 절차형 언어와 많은 차이가 있습니다. 위의 글에서 프롤로그로 어떻게 추론을 하는 프로그램을 구현할 수 있는지 설명하고 있습니다.

 

 

 

1
2
father(john, mike).                                            
father(mike, jerry).
cs

 

위의 father, john, kate는 모두 아톰(atom)입니다. 상수와 비슷한 개념이라고 보시면 됩니다. 아톰을 사용하여 john은 mike의 father, mike는 jerry의 father라는 사실(fact)를 정의하였습니다. 특이한 점은 father와 같은 논리적 관계를 상수처럼 나타낼 수 있다는 것입니다.

 

 

 

1
2
3
4
grandfather(X, Z) :- father(X, Y), father(Y, Z).                
 
?- grandfather(john, jerry).
true.
cs

 

위의 코드에서 X, Y, Z는 변수입니다. 그리고 :- 로 정의된 것은 규칙(rule)으로 논리적인 연산을 할 수 있습니다. ?- 은 명령을 내릴 수 있는 상태입니다. john이 jerry의 grandfather인지 물어보면 true를 반환합니다.

 

 

 

1
2
3
4
5
male(X) :- father(X, _).                                        
 
?- male(X).
X = john.
X = mike.
cs

 

_ 는 어떤 값이라도 가능하다는 뜻입니다. 그러므로 X가 될 수 있는 모든 아톰을 반환합니다.

 

 

 

이처럼 프롤로그는 추론 과정을 매우 쉽게 구현할 수 있습니다. 요즘에는 많이 사용되지 않지만 과거에 전문가 시스템 같이 규칙기반의 프로그램을 만드는데 큰 역할을 했다고 합니다.

 

엮인글 :
List of Articles
제목 글쓴이 날짜 조회 수
오래된 AI 판별법 '튜링테스트'...여전히 유효한가? 깊은바다 2019-08-16 625
이것만 기억하세요 AI AI AI, 손정의 소프트뱅크 회장 청와대 접견 깊은바다 2019-08-09 1039
중국의 아파트에 설치된 안면인식 시스템 깊은바다 2019-07-26 173
의식에 관한 연구로 유명한 Hod Lipson의 인터뷰 깊은바다 2019-07-15 151
데미스 하사비스 - 전이학습이 일반 인공지능으로 가는 열쇠 깊은바다 2019-07-10 358
이유를 설명해주는 딥러닝, XAI (Explainable AI) 깊은바다 2019-07-04 820
공유 경제와 자동화의 그늘 [2] 깊은바다 2019-05-18 173
소프트뱅크는 이제 AI트래픽으로 성장한다 깊은바다 2019-05-16 179
AI가 어떻게 인간 존엄성을 회복시키는가 깊은바다 2019-04-18 172
데이터 사이언티스트가 되기 위해 진행한 다양한 노력들 깊은바다 2019-04-08 390
의식을 가진 로봇의 탄생? 깊은바다 2019-02-07 338
인공지능에 대한 단상 file [3] 깊은바다 2019-02-04 337
캐나다의 인공지능 현황 - Rise of AI 깊은바다 2018-12-28 330
기업에 인공지능을 적용하는 방법 깊은바다 2018-12-24 217
인공지능에서 자연어처리가 어려운 이유 file 깊은바다 2018-12-08 463