조상 계열 증명 절차를 이용한 비혼 논리 프로그램의 컴파일 방법 = Compilation of non-Horn Logic Programs using Ancestry Family of Proof Procedures
저자
발행기관
학술지명
권호사항
발행연도
1999
작성언어
Korean
KDC
004
자료형태
학술저널
발행기관 URL
수록면
917-930(14쪽)
제공처
비혼 논리 프로그램은 1계 술어 논리에서 정의되는 혼 혹은 비론 클로즈를 사용한다. 예를 들어 "블록 'a'의 색깔이 녹색이거나 푸른색이다."라는 비확정 사실을 비혼 클로즈인 "color(a, green) ∨ color(a, blue)"로 표현할 수 있다. 또한 비혼 논리 프로그램은 목표 클로즈 "false :- color(a, X)"에 대한 대답으로 "X=green ∨ X=blue"와 같은 비확정 대답을 얻을 수도 있다. 이와 같이 비혼 논리 프로그램이 혼 논리 프로그램보다 표현력이 크지만 대부분의 논리 언어가 잘 알려진 Prolog 언어처럼 혼 클로즈 만을 제공하기 때문에 비혼 논리 프로그램을 이용하기는 쉽지 않았다. 본 논문은 조상 계열 증명 절차인 ME, Positive-ME, InH-Prolog 그리고 SLWV를 이용하여 비혼 논리 프로그램을 같은 의미를 가지는 혼 논리 프로그램으로 변화하는 방법을 기술한다. 그리고 이들 증명 절차들의 분석을 통하여 증명 절차 In-H-Prolog가 비혼 논리 프로그램의 구현에 적합한 증명 절차임을 설명하고, 증명 절차 InH-Prolog가 깊이 우선 탐색을 할 때 생기는 문제점에 대한 해결 방법을 제시한다. 또 증명 절창 InH-Prolog를 이용하여 혼 논리 프로그램이 추상 기계인 WAM이 비혼 논리 프로그램의 수행에도 사용될 수 있음을 보이고, WAM을 이용한 비혼 논리 프로그램의 컴파일 방법을 제시한다.
더보기Non-Horn logic programs use Horn or non-Horn clauses defined in 1st order predicate logic. For example, an indefinite fact "The color of block 'a' is either green or blue." can be represented as a non-Horn clause "color(a, green) ∨ color(a, blue)". Furthermore, we can get an indefinite answer "X=green ∨ X=blue" from the goal clause "false :- color(a, X)". Even if non-Horn logic programs are more expressive than Horn logic programs, we could not use them because most logic languages provide only Horn clauses as the well-known Prolog language does. In this paper we describe that non-Horn logic programs can be transformed to equivalent Horn logic programs using ancestry family of proof procedures like ME, Positive-ME, InH-Prolog and SLWV. We also analyze the operations of proof procedures, explain the proof procedure InH-Prolog is suitable for the implementation of non-Horn logic programs and suggest a solution to the problem that arises when the proof procedure InH-Prolog uses the depth-first search. Finally we show that the abstract machine WAM that was designed for Horn logic programs can be used for non-Horn logic programs and suggest a compilation scheme for non-Horn logic programs using WAM.
더보기서지정보 내보내기(Export)
닫기소장기관 정보
닫기권호소장정보
닫기오류접수
닫기오류 접수 확인
닫기음성서비스 신청
닫기음성서비스 신청 확인
닫기이용약관
닫기학술연구정보서비스 이용약관 (2017년 1월 1일 ~ 현재 적용)
학술연구정보서비스(이하 RISS)는 정보주체의 자유와 권리 보호를 위해 「개인정보 보호법」 및 관계 법령이 정한 바를 준수하여, 적법하게 개인정보를 처리하고 안전하게 관리하고 있습니다. 이에 「개인정보 보호법」 제30조에 따라 정보주체에게 개인정보 처리에 관한 절차 및 기준을 안내하고, 이와 관련한 고충을 신속하고 원활하게 처리할 수 있도록 하기 위하여 다음과 같이 개인정보 처리방침을 수립·공개합니다.
주요 개인정보 처리 표시(라벨링)
목 차
3년
또는 회원탈퇴시까지5년
(「전자상거래 등에서의 소비자보호에 관한3년
(「전자상거래 등에서의 소비자보호에 관한2년
이상(개인정보보호위원회 : 개인정보의 안전성 확보조치 기준)개인정보파일의 명칭 | 운영근거 / 처리목적 | 개인정보파일에 기록되는 개인정보의 항목 | 보유기간 | |
---|---|---|---|---|
학술연구정보서비스 이용자 가입정보 파일 | 한국교육학술정보원법 | 필수 | ID, 비밀번호, 성명, 생년월일, 신분(직업구분), 이메일, 소속분야, 웹진메일 수신동의 여부 | 3년 또는 탈퇴시 |
선택 | 소속기관명, 소속도서관명, 학과/부서명, 학번/직원번호, 휴대전화, 주소 |
구분 | 담당자 | 연락처 |
---|---|---|
KERIS 개인정보 보호책임자 | 정보보호본부 김태우 | - 이메일 : lsy@keris.or.kr - 전화번호 : 053-714-0439 - 팩스번호 : 053-714-0195 |
KERIS 개인정보 보호담당자 | 개인정보보호부 이상엽 | |
RISS 개인정보 보호책임자 | 대학학술본부 장금연 | - 이메일 : giltizen@keris.or.kr - 전화번호 : 053-714-0149 - 팩스번호 : 053-714-0194 |
RISS 개인정보 보호담당자 | 학술진흥부 길원진 |
자동로그아웃 안내
닫기인증오류 안내
닫기귀하께서는 휴면계정 전환 후 1년동안 회원정보 수집 및 이용에 대한
재동의를 하지 않으신 관계로 개인정보가 삭제되었습니다.
(참조 : RISS 이용약관 및 개인정보처리방침)
신규회원으로 가입하여 이용 부탁 드리며, 추가 문의는 고객센터로 연락 바랍니다.
- 기존 아이디 재사용 불가
휴면계정 안내
RISS는 [표준개인정보 보호지침]에 따라 2년을 주기로 개인정보 수집·이용에 관하여 (재)동의를 받고 있으며, (재)동의를 하지 않을 경우, 휴면계정으로 전환됩니다.
(※ 휴면계정은 원문이용 및 복사/대출 서비스를 이용할 수 없습니다.)
휴면계정으로 전환된 후 1년간 회원정보 수집·이용에 대한 재동의를 하지 않을 경우, RISS에서 자동탈퇴 및 개인정보가 삭제처리 됩니다.
고객센터 1599-3122
ARS번호+1번(회원가입 및 정보수정)