지식 표현 (Knowledge Representation)
•
지식은 인공지능에서 가장 핵심
•
지식표현 연구는 지식을 체계적으로 조직, 저장하고 이를 효율적으로 이용하도록 하는 방법의 연구
•
문제 영역이나 문제해결의 효율성을 위해 적절한 지식 표현 방법을 선택하는것이 매우 중요
지식 표현의 종류
•
논리 (Logic)
•
의미망 (Semantic Net)
•
프레임 (Frame)
•
규칙 (Rule)
•
객체지향 표현기법 (Obect-Oriented Representation)
논리 (Logic)
•
수학, 논리학에서 사용된 명제논리나 서술논리 사용
•
장점
◦
수학적인 근거를 바탕으로 논리개념을 자연스럽게 표현
◦
지식의 정형화 영역에 적합 (정리 증명 : theorem proving)
◦
지식의 첨가와 삭제가 용이하고 단순
•
단점
◦
절차적, 결정적 지식표현이 어렵다
◦
사실의 구성법칙이 부족하므로 실세계의 복잡한 구조를 표현하기 어렵다
•
항 (Term) 과 기초공식 (Atomic Formula)
◦
항
1.
상수, 변수는 항
2.
함수 f가 항 x를 인자로 가지면 f(x)는 항
3.
1, 2 에 의해 구성되는 것은 모두 항
◦
기초공식
▪
항을 인자로 가지는 서술어 (predicate) 는 모두 기초공식이다.
•
ex) Woman(MARY), Married(father(JOHN), mother(JOHN))
◦
정형공식 (Wff : well formed formular)
비교흡수 부정
◦
두 개의 기초절(부모절(parent clause) 이라함) 에서
•
이 두개의 부모절을 논리합을 취해서 새로운 비교흡수절(resolvent)을 생성(비교흡수)