술어논리(Predicate Logic)

I. 논리에 의한 지식 표현, 술어 논리의 개요

가. 술어 논리의 정의

- 주어와 술어의 구조로부터 주어가 될수 있는 대상에 대해 한정 기호를 사용하는 논리로 내부 구조 분석에 의한 추론 규칙을 다룰 수 있는 지식 표현 방법

 

나. 술어 논리의 특징

명제분리표현	- 술어 논리에서는 하나의 명제를 술어와 객체로 분리하여 표현
한정기호사용	- 전칭기호와 존재기호를 이용한 지식 표현

---

II. 술어 논리의 유형 및 주요요소

가. 술어 논리의 유형

유 형	설 명
일차 술어논리	- (first-order predicate logic, FOL) - 변수에만 전칭 한정사와 존재 한정사를 쓸 수 있도록 한 술어논리
고차 술어논리	- (high-order predicate logic) 변수뿐만 아니라 함수, 술어기호 등에 대해서도 전칭 한 정사와 존재 한정사를 쓸 수 있도록 한 술어 논리

- 전칭 한정사의 사용 범위에 따라 일차 술어논리와 고차 술어논리로 구분

 

나. 술어 논리의 주요요소

구분	구성요소	설명
기본요소	술어	- 문장의 ‘주어 + 서술어’ 형태에서 서술어에 해당 - 대상의 속성이나 대상 간의 관계를 기술하는 기호로 참 또는 거짓 값을 갖는 함수
	함수 (Function)	- 주어진 인자에 대하여 참, 거짓 값이 아닌 일반적인 값 반환 - 술어나 다른 함수의 인자로 사용
	항 (Term)	- 함수의 인자가 될 수 있는 것 - 항이 될 수 있는 것 : 개체상수, 변수, 함수
기호	논리연산기호
	한정기호		- for all,for every 의미 -
			- there exist,for some 의미

- 술어 논리의 구성요소와 기호를 이용하여 문장에 대한 지식 표현

 

III. 술어논리의 지식 표현

- 술어 논리는 Prolog 논리 프로그래밍 언어를 이용하여 오브젝트와 오브젝트 간의 관계에 관한 문제 해결