규칙 교환 형식

이 기사는 주요 출처에 대한 언급에 너무 많이 의존하고 있다. 2차 또는 3차 소스를 추가하여 개선하십시오. (2014년 2월) (이 템플릿 메시지를 제거하는 방법 및 시기 알아보기)

RIF(Rule Interchange Format)는 W3C 권장사항이다. LIF는 (기본적으로) SPARQL, RDF, OWL과 함께 의미 웹을 위한 인프라의 일부다. 원래 많은 사람들이 의미 웹을 위한 "규칙 계층"으로 구상했지만, 실제로는 RIF의 설계는 "규칙 언어"가 많이 존재한다는 관찰에 근거하고 있으며, 필요한 것은 그들 간에 규칙을 교환하는 것이다.^[1]

LIF는 기본 논리 방언(BLD)과 생산 규칙 방언(PRD)으로 확장되는 핵심 방언인 세 가지 방언을 포함한다.^[2]

역사

RIF 실무단은 2005년 말에 설립되었다. 그것의 목표들 중 하나는 상업적 규칙 시장의 구성원들을 끌어들이는 것이었다. 워킹그룹은 50여 명의 회원과 업계에서 뽑은 의자 2개로 시작했는데, ILOG의 크리스티안 드 사인 마리, IBM의 크리스 웰티였다. 기존 규칙 시스템 간의 교환 형식을 개발하기 위한 이 헌장은 2005년 봄 하나의 규칙 언어가 모든 이해 당사자의 요구를 충족시키지 못할 것이 분명한 워크숍의 영향을 받았다(웰티 박사는 워크숍 결과를 내시 균형이라고^[3] 기술했다).

LIF는 2010년 6월 22일 W3C 권고안이 되었다.^[4]

규칙 및 규칙 시스템

규칙은 아마도 컴퓨터 과학에서 가장 간단한 개념 중 하나일 것이다: IF - DREEN 구성이다. 일부 데이터 집합에서 확인할 수 있는 조건(IF 부분)이 유지되면 결론(DEN 부분)이 처리된다. 논리학의 뿌리에서 어느 정도 파생된 규칙 시스템은 일부 데이터 객체나 객체를 보유하거나 보유하지 않는 술어의 개념을 사용한다. 예를 들어, 두 사람이 결혼했다는 사실은 다음과 같이 술어로 표현될 수 있다.

결혼(리사,존) 

WARNED는 리사와 존 사이에 있다고 할 수 있는 술어다. 변수 개념을 추가하면 다음과 같은 규칙이 될 수 있다.

만약 결혼했다면(?x, ?y) 사랑(?x, ?y) 

우리는 WRINGED 술어가 보유하고 있는 ?x와 ?y의 모든 쌍(예: 리사와 존)에 대해, 이 규칙을 이해할 수 있는 어떤 컴퓨터 시스템은 LOVES 술어가 그 쌍도 가지고 있다고 결론지을 것이라고 예상할 수 있을 것이다.

규칙은 지식을 인코딩하는 간단한 방법이며, 1차 순서 논리를 획기적으로 단순화한 것으로서, 조건을 처리하고 올바른 결론을 도출할 수 있는 추론 엔진을 비교적 쉽게 구현할 수 있다. 규칙 시스템은 규칙의 특정 구문 및 의미론의 구현으로, 위에서 설명한 단순한 개념을 실존적 정량화, 분리, 논리적 결합, 부정, 기능, 비단조성 및 많은 다른 특징으로 확장할 수 있다. 규칙 시스템은 1970년대 중반부터 시행되고 연구되어 왔으며 1980년대에는 소위 "전문가 시스템"의 전성기에 상당한 인기를 얻었다.

표준 LIF 방언

표준 LIF 방언은 Core, BLD, PRD이다. 이러한 방언은 함수가 내장된 광범위한 데이터 유형 목록과 해당 데이터 유형에 술어가 있는 데이터 유형에 의존한다.

다양한 LIF 방언의 관계는 다음 Venn 도표에 나타나 있다.^[5]

DTB

DTB(Datypes and Built-Ins)는 LIF 방언에서 지원할 것으로 예상되는 데이터 유형, 내장 함수 및 내장 술어의 목록을 지정한다. 일부 데이터 유형은 XML 스키마 데이터 유형,^[6] XPath 함수^[7] 및 rdf에서 조정된다.플레인리터럴 함수.^[8]

코어

핵심 방언은 대부분의 규칙 방언의 공통적인 부분집합으로 구성되어 있다. LIF-Core는 LIF-BLD와 LIF-PRD의 하위 집합이다.

FLD

FLD(Framework for Logic Buttons, FLD)는 RIF-BLD와 LIF-Core를 포함한 논리 LIF 방언의 구문 및 의미론을 지정하기 위한 메커니즘을 기술하지만, 논리 기반 RIF 방언이 아닌 LIF-PRD는 기술하지 않는다.

BLD

기본 논리 방언(BLD)은 논리 함수, 당시 부분 및 명명된 변수의 평등과 같이 직접 사용할 수 없는 특징을 핵심 방언에 추가한다. LIF BLD는 양성 데이터로그, 즉 기능이나 부정이 없는 논리 프로그램에 해당한다.

LIF-BLD는 모델-이론적 의미론을 가지고 있다.

LIF BLD의 프레임 구문은 F-로직 기반이지만, LIF BLD는 F-로직의 비-단조적 추론 특징을 가지고 있지 않다.^[9]

PRD

생산 규칙 사투리(PRD)는 생산 규칙을 모형화하는 데 사용될 수 있다. 특히 PRD에는 있지만 BLD에는 없는 특징에는 사실의 부정과 철회(즉, PRD는 단조롭지 않다)가 있다. PRD 규칙은 순서에 따라 다르므로 여러 규칙을 실행할 수 있는 경우 충돌 해결 전략이 필요하다. PRD 규격은 전진 체인 추론에 기초하여 그러한 분해능 전략을 정의한다.

RIF-PRD에는 운영 의미론적 의미가 있는 반면 조건 공식에는 모형-이론적 의미론도 있다.

예제(의 1.2 예)

접두사(예: <http://example.com/2008/prd1#>) (* ex:rule_1 *) 모든 고객용?YTD(If And(?customer#ex:고객?고객[ex:purchasesYTD-]?구매YTD] 외부(pred:numeric-greater-tan(?purchases)YTD 5000) ) 그러면 Do(?customer[ex:status->"Gold"] ) 

비표준 LIF 방언

몇 가지 다른 LIF 방언들이 존재한다. 이들 중 어느 것도 W3C에 의해 공식적으로 승인되지 않았으며, LIF 규격의 일부가 아니다.

캐스PD

핵심 응답 집합 프로그래밍 방언(^[11]CASPD)은 응답 집합 프로그래밍, 즉 응답 집합 의미론(안정적 모델 의미론)에 기반한 선언적 논리 프로그래밍을 기반으로 한다.

예:

문서(Prefix(예: <http://example.com/concepts#>) 그룹(Forall ?S)( ex:prefix()?S ex:Math) :- 그리고 ( ?S#ex:Student (Naf Ne ex:afraid()?S ex:Math) ) ) Forall ?S (Neg ex:afraid()?S ex:Math) :- 그리고 (?S#ex:학생?S[ex:majors -> ex:Math] )) 

URD

불확실성 규칙 방언(URD)^[12]은 불확실한 지식의 직접 표현을 지원한다.

예:

문서( 가져오기(<http://example.org/fuzzy/membershipfunction >) 그룹 (Forall ?x ?y(?x ?y) : - 저렴한 Flight(?x ?y) ) / 0.4 Forall ?x(affordableFlight(?x ?y) / 왼쪽_shoulder0k4k1k3k(?y) ) )  

실크

LIF-SILK는 기본 논리를 모델링하는 데 사용할 수 있다. 그것은 근거가 충분한 의미론들을 가진 선언적 논리 프로그래밍에 기초한다. LIF-SILK는 또한 실크 같은 좀 더 정교한 선언적 논리 프로그래밍 언어에 존재하는 많은 다른 특징들을 포함하고 있다.^[14]

예

문서 { 접두사(foaf http://xmlns.com/foaf/0.1/) 접두사(pubfix http://example.org/pub#) 접두사(silk http:/TBD/silk#) 그룹 {* r1 *) forall ?a1 ?a2 ?paper(?a1[foaf:>?a2] :- ?paper # pub:간행물[public:a->?a1, pub:a2} (* r2 *) 포올 ?a1 ?a2 (neg ?a1[foaf:knows->?a2] :- ?a1[Has NeverMet->?a2] 실크:오버라이데스(r2,r1) }}} 

참고 항목

• 온톨로지 정렬
• R2ML
• 생산 규칙 표현 - 런타임 교환이 아닌 모델링을 대상으로 하지만 생산 규칙 방언이라고 하는 LIF의 방언과 비교된다.

참조

외부 링크

• RIF 작업 그룹
• RIF FAQ