http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
윤지희(Jeehee YOON),高木利久(Toshihisa TAKAGI),牛島和夫(Kszuo USHIJIMA) 한국정보과학회 1988 한국정보과학회 학술발표논문집 Vol.15 No.1
본 논문에서는 연역(deductive) 데이타 베이스 시스템의 추론 방식으로서 부분 컴파일 추론 방식(Partial Compilation Inference Method)을 제안하고 이 방식에 의한 추론 시스템의 개발에 대하여 논한다. 부분 컴파일 추론 방식은 기존의 인터프리터 추론 방식(Interpretive Inference Method)과 컴파일 추론 방식(Compilation Inference Method)의 융합형으로서, fact가 내부(Internal) 데이타 베이스와 외부(External) 데이타 베이스에 공존할 경우에도 negative literal을 바르게 평가할 수 있다는 특색을 갖는다. 단, 본 논문의 추론 시스템은 cycle-free, function-free의 Horn clause 형식을 갖는 질문(Query)과 연역 rule만을 처리 대상으로 한다.