지식표현 편집하기

인공지능적 지식표현의 핵심은 논리라고 할 수 있다. 논리는 명제 논리나 서술논리(술어논리)를 사용하여 사실이나 규칙을 표현하는 방식으로 정형 공식을 잘 알아야 이해하기 쉽다. 논리적 지식표현은 수학적 근거를 바탕으로 논리 개념을 표현할 수 있다는 점과, 다양한 지식의 정형화에 적합하며 그에 따라 지식의 첨가와 삭제가 용이하다는 큰 장점이 있다. 종결형으로 끝나는 한 문장에 표현하려는 지식을 담아야하기 때문에 절차적이고 제어적인 지식 표현이 어렵다. 단점은 실세계의 복잡한 구조를 표현하기에는 구성법칙이 부족하다는 점이 있다.<ref name=이앵두2>이앵두, 〈[https://cbw1030.tistory.com/118?category=1127335 인공지능 기초 - 6.지식표현 - 논리와 정형공식]〉, 《티스토리》, 2020-06-13</ref> 논리는 말로 표현된 문장들에 대한 타당한 추론을 위해, 기호를 사용하여 문장들을 표현하며, 기호의 조작을 통해 문장들의 참 또는 거짓을 판정하는 분야이다. 명제 논리(propositional logic)의 명제(proposition)는 참, 거짓을 분명하게 판정할 수 있는 문장이다. 예를 들면 '아리스토텔레스는 플라톤의 제자이다'라는 참과 '1+1 = 3' 이라는 거짓이 될 수 있다. 명제는 피(P), 큐(Q) 등과 같은 기호로 표현하며, 명제 기호의 진리값(truth value)을 사용하여 명제들에 의해 표현되는 문장들의 진리값을 결정한다. 문장 자체의 내용에 대해서는 무관심하며, 문장의 진리값에만 관심을 갖는 것이다. 기본 명제(primitive proposition)는 하나의 진술(statement)로 이루어진 최소 단위의 명제이며, 복합 명제(compound proposition)는 기본 명제들이 결합되어 만들어진 명제이다. 논리식(logical expression)은 명제를 기호로 표현한 형식이며, 명제기호, 참과 거짓을 나타내는 티(T), 에프(F), 명제 기호를 연결하는 논리기호들로 구성된다.<ref name=충북대1></ref> 술어논리(predicate logic)는 명제의 내용을 다루기 위해 변수, 함수 등을 도입하고 이들의 값에 따라 참, 거짓이 결정되도록 명제 논리를 확장한 논리를 말한다. 술어(predicate)는 문장의 '주어+서술어'형태에서 서술어에 해당하고, 대상의 속성이나 대상 간의 관계를 기술하는 기호이다. 참(T), 거짓(F) 값을 갖는 함수이다. 술어논리는 존재 한정사와 전칭 한정사를 사용하는데 변수의 범위를 고려한 지식을 표현하는 술어논리, 주어진 인자에 대해서 참, 거짓 값이 아닌 일반적인 값을 반환하는 함수(function), 함수의 인자가 될 수 있는 항(term)을 술어논리의 구문으로 갖는다. 술어 논리의 종류는 일차 술어논리(first-order predicate logic, FOL)와 고차 술어논리(high-order predicate logic)가 있다. 일차 술어논리는 변수에만 전칭 한정사와 존재 한정사를 쓸 수 있도록 한 술어논리이고, 고차 술어논리는 변수뿐만 아니라 함수, 술어기호 등에 대해서 전칭 한정사와 존재 한정사를 쓸 수 있도록 한 술어논리이다. 술어논리를 이용한 지식표현은 '읽을 수 있으면 문맹이 아니다', '원숭이는 문맹이다', '어떤 원숭이는 지능적이다', '지능적이어도 문맹일 수 있다'로 증명되는 것이다.<ref name=충북대2>충북대학교 소프트웨어학과 이건명 , 〈[http://contents.kocw.net/KOCW/document/2016/chungbuk/leegeonmyeong/5.pdf 지식표현과 추론 PartII ]〉, 《대학공개강의서비스 케이오씨더블유(KOCW)》</ref>