http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
정희진(Hoe-Jin Jeong),이상호(Sang Ho Lee) 한국정보과학회 1994 한국정보과학회 학술발표논문집 Vol.21 No.2A
논리 데이타베이스의 표현력 확장을 위한 연구의 일환으로 연구, 발표된 개선된 확장 내포 데이타베이스 (extended intensional databases)는 몸체에 존재한정자 및 부리터럴(negative literal)을 허용함으로써 다양한 표현이 가능하다. 한편, 존재한정자가 규칙에 쓰일 경우 보통 사용되는 도출방법의 경우, 스콜름 함수를 사용하여 존재한정자를 변환하게 되어 추론 후 도출식에 항상 스콜름 함수가 존재하게 되고 이로 인해 도출식의 처리가 어려워지는데, 이러한 점을 해결하고 개선된 확장 내포 데이타베이스에 적용가능한 새로운 비도출적 추론방법이 제안되었다. 본 논문에서는 개선된 확장 내포 데이타베이스의 처리를 효율적으로 하기 위하여 개선된 확장 내포 내포데이타베이스의 추론에 적합한 내부 데이타 구조를 보이고, 이 데이타 구조를 바탕으로 한 비도출적 추론 방법을 적용한 관련 알고리즘을 보인다. 또한, 제안된 내부 데이타 구조와 각 단계에 따른 알고리즘에 비도출적 추론방법을 적용한 예도 보인다.