명제 논리의 표현력 확대를 위해 개발 인공 지능 분야에서 표현 언어로 활용 술어 논리 기호(Symbol) 술어 논리로 표현하고 하는 객체, 객체의 속성, 객체 사이의 관계를 나타냄 상수 기호 특정 객체나 속성을 나타냄, 소문자로 시작 (진리기호 포함) :true, false ex) tree, tall, red, blue 변수 기호 임의의 객체나 속성을 지칭하는데 사용, 대문자로 시작 ex) Color, Flower, BILL 함수 기호 정의역으로 부터 치역에 사상하는 함수, 소문자로 시작 ex) father_of(able), moder_of(X) 술어 기호 객체 사이에 존재하는 관계, 객체의 속성을 나타냄, 소문자로 시작 함수식 정의역내의 하나 이상의 객체로부터 치역내의 하나의 객체로 사상 ex) fat..