Қарызды белгілеу тілі - Provenance Markup Language

The Қарызды белгілеу тілі (қысқартылған PML; бастапқыда аталған Дәлелді белгілеу тілі) Интернетте жарияланған ақпараттың ақпарат көздерінен қалай мәлімделгені және / немесе веб-ақпараттан алынған ақпарат туралы білімді ұсынуға және бөлуге арналған тілдік болып табылады. ақылды агенттер. Тіл бастапқыда қолдау мақсатында дамыған DARPA агентті белгілеу тілі қалай екенін түсіндіру мақсатында автоматтандырылған теорема-провайдерлер (ATP) жиынтықтан қорытынды шығарады аксиомалар. ақпарат, қорытынды қадамдар, қорытынды ережелері, және агенттер - тілдің негізгі үш құрылыс материалы. Шығару қадамы тұрғысынан ақпарат бұрынғы (алғышарт деп те аталады) және қорытынды рөлін атқара алады. Ақпарат аксиома рөлін де атқара алады, бұл негізінен ешқандай бұрынғылар жоқ тұжырым. PML агенттің басқа философиялық анықтамасынан гөрі агенттің кең философиялық анықтамасын қолданады.

PML-ді кейінгі жобаларда қолдану тілді жаңа бағыттарда дамытып, оның ATP шеңберінен тыс жерлерде прованстық білім беру мүмкіндігін кеңейтті. автоматтандырылған пайымдау. Талаптардың бастапқы жиынтығы төмендегілерді қамтуға байланысты босаңсыды: бастапқыда ретінде ұсынылған ақпарат логикалық сөйлемдер ішінде Білім алмасу форматы , соның ішінде кез-келген тілде жазылған ақпарат болуға рұқсат етілді ағылшын тілі; және қорытынды ережелері бастапқыда тұжырымдамалар мен қорытынды кезеңдерінің тұжырымдамалары бойынша заңдылықтар ретінде анықталған, егер олар анықталса және аталған болса, анықталмауға рұқсат етілді. Бұл релаксациялар ақпаратты шығару компоненттерін қолдану арқылы мәтіннен білімнің қалай алынатынын түсіндіру үшін өте маңызды болды. Сондай-ақ, тұжырым жасау үшін автоматтандырылған теоремалық провайдерлердің қажеттілігінің мотивациясын одан әрі түсіну үшін жақсартулар қажет болды: ақпараттың рөлін қалай атқаратынын түсіндіру үшін жаңа мүмкіндіктер қосылды аксиомалар сияқты атрибуттар болды бекітулер ақпарат көздерінен; және үшінші тарап агентіне берілген аксиомалар жиынтығынан теореманы (яғни жауапты) дәлелдеу үшін автоматтандырылған теорема проверері не үшін қолданылғанын түсіндіру үшін сұрақтар мен жауаптар ұғымы тілге енгізілді.

Даму тарихы

PML (PML1) бірінші нұсқасы әзірленді Стэнфорд университеті Келіңіздер Білім жүйелері зертханасы 2003 жылы және бастапқыда авторлығымен бірлесіп жазылған Пауло Пинхейро, Дебора МакГиннес, және Ричард Фикес.[1] PML (PML2) екінші нұсқасы техникалық қызмет көрсетуді төмендету және қайта пайдалану құнын төмендету үшін 2007 жылы модульденген PML1 модулін үш модульге айналдырды: дәлелдеу, сенімділік қатынастары.[2] Негізделген PML (PML3) жаңа нұсқасы Дүниежүзілік желі консорциумы PROV әзірленуде.[3]

Әдебиеттер тізімі

  1. ^ Пауло Пинхейро да Силва, Дебора Л. МакГиннес, Ричард Фикес. Семантикалық веб-қызметтерге арналған белгілеу тілі. Ақпараттық жүйелер 31(4-5): 381–395, 2006
  2. ^ Дебора Л.МкГиннес, Ли Дин, Пауло Пинхейро да Силва, Синтия Чанг. PML2: модульдік түсініктеме. Жылы AAAI 2007 түсіндірмелі есептеу бойынша семинардың материалдары, Ванкувер, Британдық Колумбия, Канада, 22-23 шілде, 2007 ж
  3. ^ http://inference-web.org/wiki/PML_3.0

Сыртқы сілтемелер