Konolige의 믿음의 추론 모형은 기존이 모형이 갖는 단점들을 해결하였으나 상수들간의 같음 관계에서 발생하는 같음 이상이 발생한다. 또한 단지 믿음에 대해서만 증명 방법을 제시하고 있는...
http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=A82304914
1987
Korean
004
학술저널
220-223(4쪽)
0
상세조회0
다운로드국문 초록 (Abstract)
Konolige의 믿음의 추론 모형은 기존이 모형이 갖는 단점들을 해결하였으나 상수들간의 같음 관계에서 발생하는 같음 이상이 발생한다. 또한 단지 믿음에 대해서만 증명 방법을 제시하고 있는...
Konolige의 믿음의 추론 모형은 기존이 모형이 갖는 단점들을 해결하였으나 상수들간의 같음 관계에서 발생하는 같음 이상이 발생한다. 또한 단지 믿음에 대해서만 증명 방법을 제시하고 있는데 본 논문에서는 믿음의 추론 모형에 같음 관계를 첨가하여 확장하였으며 이를 지식을 포함하는 시스템으로 발전시켰다. 또한 지식과 믿음에 대한 추론 기법을 믿음에서부터 지식에 대한 자기 성찰에까지 통일된 형식으로 일반화하고 이의 정당성과 완전성을 증명하였다.
목차 (Table of Contents)
PIVOT방식의 기계번역에서 한국어 격구조 설정과 중간언어로부터 조사 생성
토포스 구조를 통한 형이론에 입각한 유형 언어의 문장 완전성 척도화
의학 전문가 시스템에서의 표면지식과 심층지식에 의한 지식베이스의 구성