프로방스 마크업 언어
Provenance Markup Language |
Provenance Markup Language(약칭 PML, 원래 Proof Markup Language)는 웹에 게시된 정보가 정보 출처로부터 어떻게 주장되고/또는 인텔리전트 에이전트에 의해 웹 정보로부터 어떻게 도출되었는지에 대한 지식을 표현하고 공유하기 위한 인터링구아다.이 언어는 처음에 자동화된 정리 프로버(ATP)가 공리 집합에서 결론을 도출하는 방법을 설명하는 것을 목표로 DARPA 에이전트 마크업 언어를 지원하여 개발되었다.정보, 추론 단계, 추론 규칙 및 에이전트는 언어의 세 가지 주요 구성 요소다.추론 단계의 맥락에서 정보는 선행(전제라고도 함)과 결론의 역할을 할 수 있다.정보는 또한 기본적으로 선행자가 없는 결론인 공리의 역할을 할 수 있다.PML은 더 구체적인 에이전트 정의와는 반대로 에이전트의 광범위한 철학적 정의를 사용한다.
후속 프로젝트에서 PML의 사용은 ATP와 자동화된 추론의 영역을 넘어 증명 지식을 표현할 수 있는 능력을 확장하면서 언어를 새로운 방향으로 발전시켰다.원래 요건 세트는 다음과 같은 것을 포함하도록 완화되었다: 원래 지식 교환 형식에서 논리 문장으로 표현된 정보는 영어를 포함한 모든 언어로 작성된 정보로 허용되었다. 그리고 추론 규칙들은 원래 선행자에 대한 패턴과 추론의 결론으로 정의되었다.teps가 식별되고 이름이 지정되는 한 과소 지정될 수 있도록 허용되었다.이러한 이완은 정보 추출 구성요소의 사용을 통해 텍스트에서 지식을 추출하는 방법을 설명하는데 필수적이었다.결론을 도출하기 위한 자동화된 정리 추진자의 필요성 이면의 동기를 더욱 이해하기 위한 개선도 요구되었다: 공리의 역할을 수행하는 정보가 정보 출처로부터의 주장으로서 어떻게 속성이 되는지를 주석하기 위한 새로운 능력이 추가되었다. 그리고 질문과 답변의 개념은 언어에 소개되었다.주어진 공리 집합에서 정리(즉, 대답)를 증명하기 위해 자동화된 정리 프로베롤이 사용된 이유를 제3자 대리인에게 분명히 알려준다.
개발이력
PML(PML1)의 첫 번째 버전은 2003년 스탠퍼드 대학교 지식 시스템 연구소에서 개발되었으며, 원래 파울로 핀헤이로, 데보라 맥가인니스, 리처드 피케스가 공동 저술하였다.[1]2007년에 개발된 PML2(PML2)의 두 번째 버전은 유지보수와 재사용 비용을 줄이기 위해 3개의 모듈로 개발되었다: 증명, 정당성, 신뢰 관계.[2]월드 와이드 웹 컨소시엄의 프로브 기반 PML3(PML3)의 새로운 버전이 개발 중이다.[3]
참조
- ^ 파울루 핀헤이로 다 실바, 데보라 L. 맥가인니스, 리처드 피크스.시맨틱 웹 서비스를 위한 인증 마크업 언어.정보 시스템 31(4-5): 381–395, 2006
- ^ 데보라 L. 맥가인니스, 리딩, 파울로 핀헤이로 다 실바, 신시아 장.PML2: 모듈식 설명 인터링구아.2007년 7월 22-23일, 캐나다 밴쿠버, 브리티시 콜롬비아, AAAI 2007 설명 인식 컴퓨팅 워크숍 진행 중
- ^ http://inference-web.org/wiki/PML_3.0
