1차 술어 논리_(1)

• 명제 논리의 표현력 확대를 위해 개발
• 인공 지능 분야에서 표현 언어로 활용

---

술어 논리 기호(Symbol)

• 술어 논리로 표현하고 하는 객체, 객체의 속성, 객체 사이의 관계를 나타냄

상수 기호	특정 객체나 속성을 나타냄, 소문자로 시작 (진리기호 포함) :true, false ex) tree, tall, red, blue
변수 기호	임의의 객체나 속성을 지칭하는데 사용, 대문자로 시작 ex) Color, Flower, BILL
함수 기호	정의역으로 부터 치역에 사상하는 함수, 소문자로 시작 ex) father_of(able), moder_of(X)
술어 기호	객체 사이에 존재하는 관계, 객체의 속성을 나타냄, 소문자로 시작

 

---

함수식

• 정의역내의 하나 이상의 객체로부터 치역내의 하나의 객체로 사상
• ex) father(david), price(bananas)

 

원자적 문장

• 정의역의 원소로부터 참 또는 거짓 값으로 사상되는 관계
• ex)likes(george, kate). 
• 진리 값 true, false도 원자적 문장이다. 

 

변수에 대한 한정사

∀	전체 한정사, 모든의 의미
∃	존재 한정사, 어떤의 의미

ex) ∃Y friends(Y, peter). 

peter와 친구인 어떤 Y가 존재한다.

ex) ∀X likes(X, ice_cream)/

모든 X는 ice_cream을 좋아한다.

 

술어 논리에서의 문장

• 모든 원자적 무장은 문장이다.
• 논리 연산자와 원자적 문장을 조합하면 새로운 문장을 만들 수 있다.